snark

A collection of Python models of cryptographic algorithms and protocols used in Binius

Use libsnark to create proof of hash pre image knowledge. This project builds a library and the executable with the functions for generator, prover and verifier. The keys and proofs are stored on files so that they can be shared between entities.