首席技術官@informalinc。協議設計、威脅建模、安全審計、形式化方法、BFT 共識。