Quang Dao
@QuangVDao
PhD student @SCSatCMU & research engineer @LayerZero_Labs. Working on Jolt & formal verification of zkVMs
๊ฐ์
September 2016
2.1K ํ๋ก์ ์ค 1.1K ํฌ
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
๋ ๋ณด๊ธฐ
