guillaumelauzier / zk-SNARK-libsnark

This example uses the libsnark library to define an R1CS (Rank-1 Constraint System) that represents a simple circuit, where the output is the product of two input values. It then generates a proof for this circuit using the ppzkSNARK proof system provided by libsnark, and verifies the proof using the same library.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

guillaumelauzier/zk-SNARK-libsnark Stargazers