Difference between revisions of "Common Questions and Nuances"
Jump to navigation
Jump to search
| (5 intermediate revisions by the same user not shown) | |||
| Line 4: | Line 4: | ||
* [[What is the Linear in a Linear Interactive Proof?]] | * [[What is the Linear in a Linear Interactive Proof?]] | ||
* [[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?]] | ||
| + | * [[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?]] | ||
Latest revision as of 19:26, 4 May 2021
- 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?
