Struct prio::pcp::types::MeanVarUnsignedVector

pub struct MeanVarUnsignedVector<F: FieldElement> { /* fields omitted */ }

This type is used to compute the mean and variance of a sequence of integers in range [0, 2^bits) for some length parameter bits.

Each integer is encoded using bits + 1 field elements. The encoding has two parts: x_vec, the representation of the integer as a boolean vector (i.e., a sequence of 0s and 1s); and xx, which is the integer raised to the power of two. The validity circuit checks that the integer represented by x_vec is the square root of xx. It is based on the SIMD circuit of [BBG+19, Theorem 5.3].

Implementations

impl<F: FieldElement> MeanVarUnsignedVector<F>

pub fn new(bits: usize, measurement: &[F::Integer]) -> Result<Self, TypeError>

Encodes measurement as an instance of the MeanVarUnsignedVector type. bits specifies the maximum length of each integer in bits.

Trait Implementations

impl<F: Clone + FieldElement> Clone for MeanVarUnsignedVector<F>

fn clone(&self) -> MeanVarUnsignedVector<F>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<F: Debug + FieldElement> Debug for MeanVarUnsignedVector<F>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<F: PartialEq + FieldElement> PartialEq<MeanVarUnsignedVector<F>> for MeanVarUnsignedVector<F>

fn eq(&self, other: &MeanVarUnsignedVector<F>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &MeanVarUnsignedVector<F>) -> bool

This method tests for !=.

impl<F: FieldElement> TryFrom<(usize, &'_ [F])> for MeanVarUnsignedVector<F>

type Error = TypeError

The type returned in the event of a conversion error.

fn try_from(val: (usize, &[F])) -> Result<Self, TypeError>

Performs the conversion.

impl<F: FieldElement> Value for MeanVarUnsignedVector<F>

type Field = F

The finite field used for this type.

type Param = usize

Parameters used to construct a value of this type from a vector of field elements.

fn valid(
    &self,
    g: &mut Vec<Box<dyn Gadget<F>>>,
    rand: &[F]
) -> Result<F, PcpError>

Evaluates the validity circuit on the given input (i.e., self) and returns the output. joint_rand is the joint randomness shared by the prover and verifier. g is the sequence of gadgets called by the circuit.

fn valid_gadget_calls(&self) -> Vec<usize>

The number of calls to the gadget made when evaluating the validity circuit.

fn joint_rand_len(&self) -> usize

The length of the random input used by both the prover and the verifier.

fn prove_rand_len(&self) -> usize

The length of the random input consumed by the prover to generate a proof. This is the same as the sum of the arity of each gadget in the validity circuit.

fn query_rand_len(&self) -> usize

The length of the random input consumed by the verifier to make queries against inputs and proofs. This is the same as the number of gadgets in the validity circuit.

fn gadget(&self) -> Vec<Box<dyn Gadget<F>>>

Returns the sequence of gadgets associated with the validity circuit.

fn as_slice(&self) -> &[F]

Returns a reference to the underlying data.

fn param(&self) -> Self::Param

Returns a copy of the associated type parameters for this value.

fn set_leader(&mut self, is_leader: bool)

When verifying a proof over secret shared data, this method may be used to distinguish the “leader” share from the others. This is useful, for example, when some of the gadget inputs are constants used for both proof generation and verification.

impl<F: Eq + FieldElement> Eq for MeanVarUnsignedVector<F>

impl<F: FieldElement> StructuralEq for MeanVarUnsignedVector<F>

impl<F: FieldElement> StructuralPartialEq for MeanVarUnsignedVector<F>