Zero Knowledge Proofs are a powerful tool that helps enhance security & privacy. There are several #ZKPs that systems can use. Here, we’ll look at zkSNARKs (SNARKs), zkSTARKS (STARKS) & Bulletproofs. No clear winner in academia or practical applications exists among these three. 
2/ SNARKs are known for their high efficiency and scalability. They allow for very short proofs & can be used to verify large amounts of data in a single computation. They are useful for a wide range of applications, including privacy-preserving transactions and authentication.
3/ Bulletproofs are a more efficient variant of SNARKs that use logarithmic-sized proofs. They shrink the size of the cryptographic proof and support proof aggregation. They are useful for applications that need proof verification on resource-constrained devices.
4/ STARKs are a relatively newer type of ZK system. They don't require a trusted setup, making them very transparent & secure. They can be used to prove the correctness of complex computations. This makes them suited for many applications, such as blockchain transactions & DeFi.
5/ Each system differs. SNARKS have a low verification time and low proof size, but require a trusted setup. STARKS have a large proof size but a low prover time. Bulletproofs have a high verification and prover time but a relatively low proof size.
6/ ^Screenshots are from the "awesome zero knowledge proofs" GitHub repo: github.com/matter-labs/aw… and @leanthebean's slides from Devcon4: docs.google.com/presentation/d…
7/ ZKPs offer a variety of options for those looking to work together with a minimum of trust. While not every #ZKP is suited for every application, each system has advantages and disadvantages that make it suitable for something.
#ARPALearn
#ARPALearn
• • •
Missing some Tweet in this thread? You can try to
force a refresh
