talk-data.com talk-data.com

Description

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