sub0 Asia 2024 - Jeff Burdges (Web3 Foundation)
summary
Polkadot/Substrate adds targeted host calls for the slow crypto kernels so the same Rust prover and verifier code runs natively and in-chain with four host calls for BLS12-381 for multiscalar multiplication pairings multimill and final exponentiation and you can compile these extensions into a parachain repo. A ring VRF uses a Peterson VRF plus zero-knowledge continuations (a special Groth16 rerandomization) so after one heavy SNARK each signer costs only 8 G1 and 2 G2 multiplications. Uses include anonymous rate limiting, revokable ration cards, and SSA-style block ticketing.
AI-written summary · about
chapters (11)
- 0:00Zero knowledge on Polkadot
- 1:27Ethereum vs Substrate ZK
- 3:33Host calls for ZK in Substrate
- 4:59User-friendly ZK with Rust
- 5:40Ring signatures and VRFs
- 8:28Efficient ZK continuations
- 13:53Safe online identity design
- 17:47Ring VRF applications
- 20:57Sassafras with ring VRFs
- 23:25Sassafras future enhancements
- 23:50Q&A
related talks
39mPrivacy and Evolution of SNARKs
20mProvers Networks from First Principle
36mPanel Discussion
14mKeynote: Blockchain, Cryptography, and RISC-V: A New Frontier in Open Development
01h 23mProgram Presentations
03h 46mThursday, Nov 14th talks! | Part 1
24mZK: Accelerating DA Interop
40mEthereum at Hyperscale