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?
- What is the difference between a transparent SNARK and a STARK?
- What are the R1CS constraints of a cryptocurrency system like ZCash?
- How does generating the SRS with secure MPC work?
