talk-data.com talk-data.com

Topic

interactive proofs

1

tagged

Activity Trend

1 peak/qtr
2020-Q1 2026-Q1

Activities

1 activities · Newest first

A gentle introduction to prover, verifier, interactive versus non-interactive models, SNARKs, zkSNARKs, computation models, arithmetic circuits, rank-1 constraints, DLS languages and accumulators.