Crate ark_relations_zkhub

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.