Prover / verifier, interactive / non-interactive models, SNARK / zkSNARK, computation models / aritmetic constraints / DLS languages
Topic
1
tagged
Prover / verifier, interactive / non-interactive models, SNARK / zkSNARK, computation models / aritmetic constraints / DLS languages