Applications of Zero Knowledge Proofs in the Banking Industry
summary
ING experiments with concrete zero-knowledge constructions: implemented bulletproofs as a proof of concept, previously tried the 2001 square-composition (Boudoir) and Iceberg/ICEcream set-membership ideas, and compares proof sizes, verification batching and timing. Claims: non-interactive Fiat–Shamir proofs, no trusted setup needed for chosen schemes, best fit for range proofs and set membership, useful for confidential transactions, exchange solvency proofs, KYC/AML checks, auctions and provenance. Remaining work: multiexponentiation and aggregation optimizations, regulatory acceptance and exploring post-quantum constructions.
AI-written summary · about
chapters (6)
related talks
44mZero-Knowledge Proofs: Simultaneously ensuring integrity and privacy
51mWhy you shouldn't trust me
01h 03mProofs, Knowledge, and Computation
51mDistributed Zero-Knowledge Proofs and Applications to Secure Computation
01h 26mPanel Discussion: The Challenges and Best Practices of Deploying Zero-Knowledge Proofs
30mPractical Zero Knowledge Proofs
44mStandardizing Zero Knowledge Proofs - Keynote
54mVerification Dilemmas, Law, and the Promise of Zero-Knowledge Proofs