Module relations 

This module defines the core relation traits for generic witness-instance satisfaction checks and satisfying pair generation.

These traits are intentionally generic so that different arithmetizations (R1CS, CCS) and different forms (plain, relaxed) can all implement them.

Traits

Relation

Relation checks whether a witness W and an instance U satisfy the specified relation.

RelationGadget

RelationGadget is the in-circuit counterpart of Relation.

WitnessInstanceSampler

WitnessInstanceSampler allows sampling a random witness-instance pair that satisfies the relation.