Module arrabiata::proof

source ·

Structs

  • Proof
    FIXME: a proof for the Nova recursive SNARK