chore: remove excess generality in ADVZ (#401)

* update comments as per #389 (comment) * add commit_only_timer test * tidy: idiomatic construction of polys * remove P: PolynomialCommitmentScheme from GenericAdvz * remove V: MerkleTreeScheme from GenericAdvz * remove type alias Advz, rename GenericAdvz -> Advz * remove some unneeded trait bounds * enforce only H: HasherDigest bound * remove old comments, tidy derivations * fmt * type aliases for kzg * type aliases for MerkleTreeScheme * more use of type aliases * fix rustdoc
EspressoSystems · Nov 10, 2023 · 716a125 · 716a125
1 parent 11c7829
commit 716a125
Show file tree

Hide file tree

Showing 4 changed files with 205 additions and 233 deletions.
diff --git a/primitives/src/pcs/univariate_kzg/mod.rs b/primitives/src/pcs/univariate_kzg/mod.rs
@@ -41,7 +41,7 @@ use srs::{UnivariateProverParam, UnivariateUniversalParams, UnivariateVerifierPa
 pub(crate) mod srs;
 
 /// KZG Polynomial Commitment Scheme on univariate polynomial.
-pub struct UnivariateKzgPCS<E: Pairing> {
+pub struct UnivariateKzgPCS<E> {
     #[doc(hidden)]
     phantom: PhantomData<E>,
 }