Difference between revisions of "Common Questions and Nuances"
Jump to navigation
Jump to search
| Line 5: | Line 5: | ||
* [[What is a holographic proof?]] | * [[What is a holographic proof?]] | ||
* [[Why does using an asymmetric billinear group setting yield more efficiency than the symmetric case in Groth16 and Pinocchio?]] | * [[Why does using an asymmetric billinear group setting yield more efficiency than the symmetric case in Groth16 and Pinocchio?]] | ||
| + | * [[How do SNARKs compose?]] | ||
Revision as of 13:12, 14 October 2020
- What is the relationship between a zk-snark and a Linear Interactive Proof?
- What is the difference between the Common Reference String Model and the ROM Model
- Why does Fiat-Shamir and ROM model fail in practice?
- What is the Linear in a Linear Interactive Proof?
- What is a holographic proof?
- Why does using an asymmetric billinear group setting yield more efficiency than the symmetric case in Groth16 and Pinocchio?
- How do SNARKs compose?
