arrabbiata::decider

Module proof

Source

Structsยง

Proof
FIXME: a proof for the Nova recursive SNARK