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