power_house 0.2.2

Deterministic sum-check proofs, commitment-bound sparse verification, and quorum ledger tooling.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54

//! Streaming polynomial utilities for on-demand sum-check evaluation.
use std::fmt;
use std::sync::Arc;

#[derive(Clone)]
/// Streaming representation of a multilinear polynomial over a Boolean hypercube.
pub struct StreamingPolynomial {
    num_vars: usize,
    modulus: u64,
    evaluator: Arc<dyn Fn(usize) -> u64 + Send + Sync>,
}

impl fmt::Debug for StreamingPolynomial {
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        f.debug_struct("StreamingPolynomial")
            .field("num_vars", &self.num_vars)
            .field("modulus", &self.modulus)
            .finish()
    }
}

impl StreamingPolynomial {
    /// Creates a streaming polynomial from an evaluator closure.
    pub fn new<F>(num_vars: usize, modulus: u64, evaluator: F) -> Self
    where
        F: Fn(usize) -> u64 + Send + Sync + 'static,
    {
        Self {
            num_vars,
            modulus,
            evaluator: Arc::new(evaluator),
        }
    }

    /// Returns the number of variables.
    pub fn num_vars(&self) -> usize {
        self.num_vars
    }

    /// Returns the field modulus.
    pub fn modulus(&self) -> u64 {
        self.modulus
    }

    /// Evaluates the polynomial at the Boolean assignment encoded by `idx`.
    pub fn evaluate(&self, idx: usize) -> u64 {
        (self.evaluator)(idx)
    }

    /// Returns a clone of the underlying evaluator.
    pub fn evaluator(&self) -> Arc<dyn Fn(usize) -> u64 + Send + Sync> {
        Arc::clone(&self.evaluator)
    }
}