註冊並分享邀請連結,可獲得影片播放與邀請獎勵。

Quang Dao
@QuangVDao
PhD student @SCSatCMU. Working toward zk too cheap to meter & formally verified by default
加入 September 2016
2.2K 正在關注    1.2K 粉絲
Cryptographic protocols should be formally verified How do we do it in Lean, the fastest-growing proof assistant? Introducing VCVio ( a base layer for crypto proofs in Lean Joint work with @dtumad, @alexanderlhicks, James Waters & Nick Hopper 🧵/n
顯示更多
0
2
159
39
轉發到社區