Circuit Definition Library for =nil; Foundation's Cryptography Suite

=nil; Foundation's Circuit Definition library which provides interfaces for generating ZK circuits used in proof generation. It holds information about the circuit itself, its gates, constraints, and other fixed expressions, public and private assignments needed by the ZK-SNARK system.

Usage

This library uses Boost CMake build modules (https://github.com/NilFoundation/placeholder/tree/master/crypto3/cmake). To actually include this library in a project it is required to:

1. Add CMake Modules to target project repository.
2. Add all the internal dependencies using CMake Modules to target project repository.
3. Initialize parent project with CMake Modules (Look at crypto3 for the example)

Dependencies

Internal

• Algebra.
• Zk.
• Random.
• Hash.

External

• Boost (>= 1.73)