Crate spongefish_circuit 

Re-exports

pub use allocator::FieldVar;

pub use allocator::VarAllocator;

pub use expr::Ring;

pub use expr::Sum;

pub use expr::Weighted;

pub use permutation::LinearEquation;

pub use permutation::PermutationInstance;

pub use permutation::PermutationRelation;

pub use permutation::PermutationWitness;

pub use permutation::PermutationWitnessBuilder;

pub use permutation::QueryAnswerPair;

Modules

allocator

Wire variables and the allocator that mints them.

baby_bear

spongefish::Unit support for p3_baby_bear::BabyBear.

encoding

The byte encoding of an instance and of a witness: the statement as a string, for a proof system in any language to read.

expr

Linear expressions over wires: x * a + y * b + z.

permutation

Relations over evaluations of a permutation, and the witnesses proving them.

Structs

InvalidRelation

A relation that does not describe a valid instance.