Circuit components definition library for zkLLVM circuit compiler
-
Updated
Sep 7, 2024 - C++
Circuit components definition library for zkLLVM circuit compiler
Zero-Knowledge Proof Systems for =nil; Crypto3 C++ Cryptography Suite.
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.
Add a description, image, and links to the r1cs topic page so that developers can more easily learn about it.
To associate your repository with the r1cs topic, visit your repo's landing page and select "manage topics."