Struct ark_poly_commit::multilinear_pc::data_structures::UniversalParams [−][src]
pub struct UniversalParams<E: PairingEngine> { pub num_vars: usize, pub powers_of_g: Vec<EvaluationHyperCubeOnG1<E>>, pub powers_of_h: Vec<EvaluationHyperCubeOnG2<E>>, pub g: E::G1Affine, pub h: E::G2Affine, pub g_mask: Vec<E::G1Affine>, }
Expand description
Public Parameter used by prover
Fields
num_vars: usizenumber of variables
powers_of_g: Vec<EvaluationHyperCubeOnG1<E>>pp_{num_vars}, pp_{num_vars - 1}, pp_{num_vars - 2}, …, defined by XZZPD19
powers_of_h: Vec<EvaluationHyperCubeOnG2<E>>pp_{num_vars}, pp_{num_vars - 1}, pp_{num_vars - 2}, …, defined by XZZPD19
g: E::G1Affinegenerator for G1
h: E::G2Affinegenerator for G2
g_mask: Vec<E::G1Affine>g^randomness
Trait Implementations
Reads Self from reader.
Reads Self from reader without compression.
Reads self from reader without compression, and without performing
validity checks. Should be used only when the input is trusted. Read more
Serializes self into writer.
It is left up to a particular type for how it strikes the
serialization efficiency vs compression tradeoff.
For standard types (e.g. bool, lengths, etc.) typically an uncompressed
form is used, whereas for algebraic types compressed forms are used. Read more
Serializes self into writer without compression.
Serializes self into writer without compression, and without
performing validity checks. Should be used only when there is no
danger of adversarial manipulation of the output. Read more
Auto Trait Implementations
impl<E> RefUnwindSafe for UniversalParams<E> where
<E as PairingEngine>::G1Affine: RefUnwindSafe,
<E as PairingEngine>::G2Affine: RefUnwindSafe, impl<E> Send for UniversalParams<E>impl<E> Sync for UniversalParams<E>impl<E> Unpin for UniversalParams<E> where
<E as PairingEngine>::G1Affine: Unpin,
<E as PairingEngine>::G2Affine: Unpin, impl<E> UnwindSafe for UniversalParams<E> where
<E as PairingEngine>::G1Affine: UnwindSafe,
<E as PairingEngine>::G2Affine: UnwindSafe, Blanket Implementations
Mutably borrows from an owned value. Read more
fn hash_uncompressed<H>(&self) -> GenericArray<u8, <H as Digest>::OutputSize> where
H: Digest, [src]type Output = T
type Output = TShould always be Self
pub fn vzip(self) -> V