Common Questions and Nuances
Jump to navigation
Jump to search
- 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?