pub trait PCVerifierKey: CanonicalSerialize + CanonicalDeserialize + Clone + Debug + ToBytes + FromBytes {
fn max_degree(&self) -> usize;
fn supported_degree(&self) -> usize;
}
Expand description
Defines the minimal interface of verifier keys for any polynomial commitment scheme.
Required methods
fn max_degree(&self) -> usize
fn max_degree(&self) -> usize
Outputs the maximum degree supported by the universal parameters
Self
was derived from.
fn supported_degree(&self) -> usize
fn supported_degree(&self) -> usize
Outputs the maximum degree supported by the verifier key.