Actrually we can do just PublicKey here

w3f · Aug 31, 2023 · a2ded0c · a2ded0c
1 parent 48b8507
commit a2ded0c
Show file tree

Hide file tree

Showing 2 changed files with 21 additions and 0 deletions.
diff --git a/dleq_vrf/src/thin.rs b/dleq_vrf/src/thin.rs
@@ -23,6 +23,12 @@ pub struct ThinVrf<C: AffineRepr> {
     pub keying_base: C,
 }
 
+impl<C: AffineRepr> Default for ThinVrf<C> {
+    fn default() -> Self {
+        ThinVrf { keying_base: C::generator(), }
+    }
+}
+
 
 impl<C: AffineRepr> Flavor for ThinVrf<C> {
     type ScalarField = <C as AffineRepr>::ScalarField;

diff --git a/dleq_vrf/src/traits.rs b/dleq_vrf/src/traits.rs
@@ -140,6 +140,21 @@ impl<K: AffineRepr> EcVrfVerifier for (&crate::ThinVrf<K>,&crate::PublicKey<K>)
     }
 }
 
+impl<K: AffineRepr> EcVrfVerifier for crate::PublicKey<K> {
+    type H = K;
+    type VrfProof = crate::Signature<crate::ThinVrf<K>>;
+    type Error = error::SignatureError;
+    fn vrf_verify_detached<'a>(
+        &self,
+        t: impl IntoTranscript,
+        ios: &'a [EcVrfInOut<Self>],
+        signature: &EcVrfProof<Self>,
+    ) -> Result<&'a [EcVrfInOut<Self>],error::SignatureError>
+    {
+        crate::ThinVrf::default().verify_thin_vrf(t,ios,self,signature)
+    }
+}
+
 
 pub type EcVrfInput<V> = VrfInput<<V as EcVrfVerifier>::H>;
 pub type EcVrfPreOut<V> = VrfPreOut<<V as EcVrfVerifier>::H>;