Главная
Study mode:
on
1
Intro
2
General Purpose Zero-Knowledge Proofs
3
Compilation Pipeline
4
Contributions
5
Talk Outline
6
Polynomial Commitment Scheme
7
Evaluation Protocol with Special Homomorphic Commitment
8
Groups of Unknown Order
9
Hardness Assumptions
10
What are GUOs good for?
11
Integer Encoding
12
Polynomial IOP Compiler
13
Compiled Polynomial IOP – Soundness
14
Supersonic / Other Constructions
15
Supersonic Performance
16
Conclusions
Description:
Explore a 25-minute conference talk presented at Eurocrypt 2020 on Transparent SNARKs from DARK Compilers. Delve into the paper by Benedikt Bünz, Ben Fisch, and Alan Szepieniec, which covers general-purpose zero-knowledge proofs, compilation pipelines, and polynomial commitment schemes. Learn about evaluation protocols with special homomorphic commitments, groups of unknown order, and their associated hardness assumptions. Discover the applications of GUOs, integer encoding techniques, and the intricacies of polynomial IOP compilers. Examine the compiled polynomial IOP soundness, Supersonic constructions, and their performance. Gain insights into this cutting-edge cryptographic research and its potential implications for transparent SNARKs.

Transparent SNARKs from DARK Compilers

TheIACR
Add to list