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
顯示更多
