Z

ZKP

Implementing Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge (zk-SNARKs) using Blockchain for Enhanced Privacy and Efficiency in Country Entrance Procedures

Rust implementations of three Zero Knowledge Argument Systems proposed by Jens Groth, namely Groth09, Groth10 and Groth16.

This is a implementation of the GKR protocol based on Sumcheck for a given SAT circuit in CNF format, following the defintions from Justin Thaler's book ProofsArgsAndZK.

IP protocol for matrix multiplication (MATMULT) from Justin Thaler's book ProofsArgsAndZK