Ivan Anishchuk

1 場

後量子隱匿地址實驗：部分形式化驗證與鏈上成本限制預覽圖

後量子隱匿地址實驗：部分形式化驗證與鏈上成本限制

Etheorem: Lean 4 Consensus-Spec Proofs

這場分享聚焦後量子隱匿地址，而非共識規格證明。

DEVCON 8