首席技术官@informalinc。协议设计、威胁建模、安全审计、形式化方法、BFT 共识。