The Future Is Trustless: How ZkVMS And ZkTLS Transform Bug
summary
Proof-of-concept system demonstrates cryptographic proofs for vulnerabilities: Rust programs run inside a zkVMS to generate SNARK proofs of a secret preimage, the proofs verify inside a Solidity smart contract (verified on-chain in the demo), and an MPC-backed zkTLS notarizes HTTP request/response without revealing payloads. The pipeline performs automated proof generation, on-chain verification and an atomic on-chain escrow that releases payment when verification succeeds, eliminating manual triage and enabling trustless sale of exploits — demos run end-to-end.
AI-written summary · about
chapters (20)
- 0:00Introduction to talk
- 1:31Problems with bug bounties
- 3:16Removing trust in bug reporting
- 5:01Zero knowledge proofs explained
- 7:51How zk-proofs work technically
- 10:20Demo: Generating zero knowledge proof
- 15:00Trustless bug bounties concept
- 16:28Smart contracts introduction
- 17:34Demo: Smart contract verification
- 21:19ZK Virtual Machine explained
- 22:48Demo: Rust code in ZKVM
- 26:15ZKVM improvements
- 26:40ZkTLS concept introduction
- 27:01How zkTLS works
- 29:21Promt injection challenge
- 31:15Demo: zkTLS for proof
- 35:07Combining ZKVM and zkTLS
- 36:53Final architecture demo
- 39:42Trustless bug bounty system
- 40:03Future steps and Q&A
related talks
51mWhy you shouldn't trust me
30mPractical Zero Knowledge Proofs
34mSNARKs and their Practical Applications
44mZero-Knowledge Proofs: Simultaneously ensuring integrity and privacy
56mCollaborative zk-SNARKs: Proving as One over Distributed Secrets
33mAn Introduction to Zero Knowledge Proofs
01h 26mPanel Discussion: The Challenges and Best Practices of Deploying Zero-Knowledge Proofs
22mHow Zero Knowledge Proofs Change the Narrative Around Privacy