small tidy up

src/data_structures.rs

@@ -29,6 +29,9 @@ pub trait PCCommitterKey: Clone + core::fmt::Debug {
 /// Defines the minimal interface of verifier keys for any polynomial
 /// commitment scheme.
 pub trait PCVerifierKey: Clone + core::fmt::Debug {
+    /// The prepared version of the key
+    type PreparedKey;
+
     /// Outputs the maximum degree supported by the universal parameters
     /// `Self` was derived from.
     fn max_degree(&self) -> usize;
@@ -39,9 +42,9 @@ pub trait PCVerifierKey: Clone + core::fmt::Debug {
 
 /// Defines the minimal interface of prepared verifier keys for any polynomial
 /// commitment scheme.
-pub trait PCPreparedVerifierKey<UNPREPARED: PCVerifierKey> {
+pub trait PCPreparedVerifierKey<VK: PCVerifierKey> {
     /// prepare
-    fn prepare(vk: &UNPREPARED) -> Self;
+    fn prepare(vk: &VK) -> Self;
 }
 
 /// Defines the minimal interface of commitments for any polynomial
@@ -59,9 +62,9 @@ pub trait PCCommitment: Clone + ark_ff::ToBytes {
 
 /// Defines the minimal interface of prepared commitments for any polynomial
 /// commitment scheme.
-pub trait PCPreparedCommitment<UNPREPARED: PCCommitment>: Clone {
+pub trait PCPreparedCommitment<C: PCCommitment>: Clone {
     /// prepare
-    fn prepare(comm: &UNPREPARED) -> Self;
+    fn prepare(comm: &C) -> Self;
 }
 
 /// Defines the minimal interface of commitment randomness for any polynomial