Crate ark_relations

Core interface for working with various relations that are useful in zkSNARKs. At the moment, we only implement APIs for working with Rank-1 Constraint Systems (R1CS).

Modules

r1cs

Core interface for working with Rank-1 Constraint Systems (R1CS).

Macros

lc

Generate a LinearCombination from arithmetic expressions involving Variables.

ns

Generate a Namespace with name name from ConstraintSystem cs. name must be a &'static str.