Difference between revisions of "Common Questions and Nuances"
Jump to navigation
Jump to search
| Line 6: | Line 6: | ||
* [[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?]] | * [[How do SNARKs compose?]] | ||
| + | * [[What are Non-Falsifiable Assumptions?]] | ||
Revision as of 13:32, 19 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?
- What are Non-Falsifiable Assumptions?
