Struct prio::flp::types::Count

pub struct Count<F> { /* private fields */ }

The counter data type. Each measurement is 0 or 1 and the aggregate result is the sum of the measurements (i.e., the total number of 1s).

Implementations

impl<F: FftFriendlyFieldElement> Count<F>

pub fn new() -> Self

Return a new Count type instance.

Trait Implementations

impl<F: Clone> Clone for Count<F>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F> Debug for Count<F>

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

Formats the value using the given formatter.

impl<F: FftFriendlyFieldElement> Default for Count<F>

fn default() -> Self

Returns the “default value” for a type.

impl<F: PartialEq> PartialEq for Count<F>

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

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

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<F: FftFriendlyFieldElement> Type for Count<F>

type Measurement = bool

The type of raw measurement to be encoded.

type AggregateResult = <F as FieldElementWithInteger>::Integer

The type of aggregate result for this type.

type Field = F

The finite field used for this type.

fn encode_measurement(&self, value: &bool) -> Result<Vec<F>, FlpError>

Encodes a measurement as a vector of Self::input_len field elements.

fn decode_result( &self, data: &[F], _num_measurements: usize ) -> Result<F::Integer, FlpError>

Decode an aggregate result.

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

Returns the sequence of gadgets associated with the validity circuit.

fn valid( &self, g: &mut Vec<Box<dyn Gadget<F>>>, input: &[F], joint_rand: &[F], _num_shares: usize ) -> Result<F, FlpError>

Evaluates the validity circuit on an input and returns the output.

fn truncate(&self, input: Vec<F>) -> Result<Vec<F>, FlpError>

Constructs an aggregatable output from an encoded input. Calling this method is only safe once input has been validated.

fn input_len(&self) -> usize

The length in field elements of the encoded input returned by Self::encode_measurement.

fn proof_len(&self) -> usize

The length in field elements of the proof generated for this type.

fn verifier_len(&self) -> usize

The length in field elements of the verifier message constructed by Self::query.

fn output_len(&self) -> usize

The length of the truncated output (i.e., the output of Type::truncate).

fn joint_rand_len(&self) -> usize

The length of the joint random input.

fn prove_rand_len(&self) -> usize

The length in field elements 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 in field elements 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 prove( &self, input: &[Self::Field], prove_rand: &[Self::Field], joint_rand: &[Self::Field] ) -> Result<Vec<Self::Field>, FlpError>

Generate a proof of an input’s validity. The return value is a sequence of Self::proof_len field elements.

fn query( &self, input: &[Self::Field], proof: &[Self::Field], query_rand: &[Self::Field], joint_rand: &[Self::Field], num_shares: usize ) -> Result<Vec<Self::Field>, FlpError>

Query an input and proof and return the verifier message. The return value has length Self::verifier_len.

fn decide(&self, verifier: &[Self::Field]) -> Result<bool, FlpError>

Returns true if the verifier message indicates that the input from which it was generated is valid.

fn valid_call_check( &self, input: &[Self::Field], joint_rand: &[Self::Field] ) -> Result<(), FlpError>

Check whether input and joint_rand have the length expected by self, return FlpError::Valid otherwise.

fn truncate_call_check(&self, input: &[Self::Field]) -> Result<(), FlpError>

Check if the length of input matches self’s input_len(), return FlpError::Truncate otherwise.

impl<F: Eq> Eq for Count<F>

impl<F> StructuralPartialEq for Count<F>