A gentle introduction to prover, verifier, interactive versus non-interactive models, SNARKs, zkSNARKs, computation models, arithmetic circuits, rank-1 constraints, DLS languages and accumulators.
talk-data.com
Topic
interactive proofs
1
tagged
Activity Trend
1
peak/qtr
2020-Q1
2026-Q1