Module arrabbiata::proof

source ·

Structs

  • FIXME: a proof for the Nova recursive SNARK