Bulletproofs: Short proofs for confidential transactions or more

Agenda: 19:30-20:00 - Gathering 20:00-21:00 - Bulletproofs: Short proofs for confidential transactions or more (Benedikt Bünz) Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup. A bulletproof can be used to convince a verifier that an encrypted plaintext is well formed. For example, prove that an encrypted number is in a given range, without revealing anything else about the number. Compared to SNARKs, Bulletproofs require no trusted setup. However, verif…