ark-relations 0.6.0

A library for generalized rank-one constraint systems
Documentation

Core interface for working with various relations that are useful in zkSNARKs. At the moment, we only implement APIs for working with Generalized Rank-1 Constraint Systems (R1CS) (See https://eprint.iacr.org/2024/1245.pdf).

Compatibility with R1CS

In previous versions, this crate only supported R1CS. For ease of migration, a GR1CS instance is equipped with an R1CS predicate by default. Also, there is a separate enforce_r1cs_constraint function that has the same API as the enforce_constraint function in previous versions. Hence, by replacing the latter with the former and updating use statements, you can migrate your code to the new version.