Overview
Explore a groundbreaking non-interactive zero-knowledge proof protocol in this 22-minute conference talk presented at the 2018 IEEE Symposium on Security & Privacy. Dive into Bulletproofs, a novel approach that offers very short proofs without requiring a trusted setup. Learn how this protocol achieves logarithmic proof size in relation to witness size, making it particularly effective for range proofs on committed values. Discover the significant improvements Bulletproofs bring to confidential transactions in cryptocurrencies like Bitcoin, reducing proof sizes from linear to logarithmic. Examine the protocol's support for proof aggregation, allowing multiple parties to generate a single proof without revealing inputs to each other. Investigate the practical efficiency of Bulletproofs in verification time, comparing favorably to ECDSA signature verification. Understand how Bulletproofs extend beyond range proofs to provide short zero-knowledge proofs for general arithmetic circuits while relying solely on the discrete logarithm assumption. Explore various applications benefiting from Bulletproofs, particularly in the realm of cryptocurrencies and blockchain technology.
Syllabus
Bulletproofs: Short Proofs for Confidential Transactions and More
Taught by
IEEE Symposium on Security and Privacy