Build Your First zkPDF Proof

on YouTube ↗18m

" summary

zkPDF takes signed PDFs, extracts signatures and text, and produces Groth16 or PlonK proofs via the SP1 ProNet so a verifier contract on Ethereum or Arbitrum accepts a public input like a GST number or an “over 18” claim without revealing the file. Demo shows two methods—extract + verify and substring with offset—server-side proof generation (benchmarks: 31–52 seconds), Rust libs, verifier contracts, and document commitments to prevent replay.

AI-written summary · about

" chapters (29)

1. 0:00Introduction: why zkPDF matters
2. 0:34Web2 signed data and government PDFs
3. 1:05Use cases: KYC, finance, and age proofs
4. 1:29Proving statements from trusted documents
5. 1:50Importance of document signers and authorities
6. 2:16Indian government PDF signature example
7. 2:41How the zkPDF stack works (SP1 prover, verifier contract)
8. 3:37Proof generation on server-side
9. 3:59Computational limits and client-side roadmap
10. 4:19Compatibility check: verifying signatures in PDFs
11. 5:19Demonstration: extract and verify method
12. 6:00Substring with offset verification
13. 6:30Repo structure and setup overview
14. 6:55Environment variables and SP1 access
15. 7:16Inputs, outputs, and commitments
16. 8:03Proof generation options (local vs. ProNet API)
17. 8:25Live demo: proof request and generation
18. 9:22Proof verification onchain/offchain
19. 10:14API reference: verify and extract methods
20. 11:07Extracting text and committing proofs onchain
21. 11:37Smart contract verification flow
22. 11:58Document commitments and replay protection
23. 13:17Signature algorithms and support (RSA-SHA)
24. 14:25PDF compatibility and limitations
25. 14:44Client-side feasibility
26. 15:22Integration guide for zkPDF APIs
27. 15:48Accessing SP1 ProNet and dashboards
28. 17:45Benchmarks: proof time and gas cost
29. 18:10Closing remarks and resources

" related talks

• 20mShow Me the Proof! ZK Identity with Self ProtocolEric Nakagawa · Pragma Taipei 2025
• 25mSuccinct Proofs in EthereumBarry Whitehat · 2nd ZKProof Workshop 2019
• 23mWeb Proofs on Ethereum with vlayerArtur Chmaro · ETHGlobal Buenos Aires 2025
• 51mWhy you shouldn't trust meKeerthana Ganesh, Shubham Patil · NDC Oslo 2022
• 41mThe Future Is Trustless: How ZkVMS And ZkTLS Transform BugAnto Joseph · Nullcon Goa 2025
• 44mZero-Knowledge Proofs: Simultaneously ensuring integrity and privacyTjerand Silde · NDC Security 2026
• 26mZKP for Audits of Unsolicited Consumer CommunicationHitarshi Buch, Joshua Satten · 2nd ZKProof Workshop 2019
• 03m1st Standards Workshop1st ZKProof Standards Workshop 2018