On Efficient and Secure Compression Modes for Arithmetization-Oriented Hashing

ePrint Report: On Efficient and Secure Compression Modes for Arithmetization-Oriented Hashing

Elena Andreeva, Rishiraj Bhattacharyya, Arnab Roy, Stefano Trevisani

ZK-SNARKs are advanced cryptographic protocols used in private verifiable computation: modern
SNARKs allow to encode the invariants of an arithmetic circuit over some large prime field
in an appropriate NP language, from which a zero-knowlege short non-interactive argument of
knowledge is built.
Due to the high cost of proof generation, ZK-SNARKs for large constraint systems are inpractical.


ZK-SNARKs are used in …

advanced compression computation cryptographic eprint report hashing language large prime private protocols report