Implement Nova proof.

protocol · Sep 7, 2021 · 888727a · 888727a
1 parent d81410f
commit 888727a
Show file tree

Hide file tree

Showing 5 changed files with 913 additions and 2 deletions.
diff --git a/src/minroot.rs b/src/minroot.rs
@@ -595,8 +595,8 @@ where
 
 #[derive(Debug)]
 pub struct VanillaVDFProof<V: MinRootVDF<F> + Debug, F: FieldExt> {
-    result: State<F>,
-    t: u64,
+    pub result: State<F>,
+    pub t: u64,
     _v: PhantomData<V>,
 }
 

diff --git a/src/nova.rs → src/nova/#traits.rs# b/src/nova.rs → src/nova/#traits.rs#
@@ -16,6 +16,10 @@ pub struct PallasScalar(pallas::Scalar);
 #[derive(Clone, Copy, Debug, Default, Eq, PartialEq)]
 pub struct PallasCompressedPoint(<pallas::Point as GroupEncoding>::Repr);
 
+pub trait NovaGroup<F: FieldExt> {
+    type Group: Group;
+}
+
 impl Group for PallasPoint {
     type Scalar = PallasScalar;
     type CompressedGroupElement = PallasCompressedPoint;

diff --git a/src/nova/mod.rs b/src/nova/mod.rs
@@ -0,0 +1,3 @@
+#![allow(non_snake_case)]
+pub mod proof;
+pub mod traits;