/// FIXME: a proof for the Nova recursive SNARK
// FIXME: type over curves
// FIXME: add a (de-)serializer to publish it somewhere
pub struct Proof {}