sp1-hypercube 6.2.0

The SP1 Hypercube proof system
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
55
56
57
58
59
60
61
62

use std::collections::BTreeMap;

use serde::{Deserialize, Serialize};
use slop_alloc::{Backend, CpuBackend};
use slop_multilinear::{Mle, MleEval, Point};
use slop_sumcheck::PartialSumcheckProof;

/// The output of the log-up GKR circuit.
#[derive(Debug, Serialize, Deserialize, Clone)]
#[serde(bound(serialize = "Mle<EF, B>: Serialize", deserialize = "Mle<EF, B>: Deserialize<'de>"))]
pub struct LogUpGkrOutput<EF, B: Backend = CpuBackend> {
    /// Numerator
    pub numerator: Mle<EF, B>,
    /// Denominator
    pub denominator: Mle<EF, B>,
}

/// The proof for a single round of the log-up GKR circuit.
#[derive(Debug, Serialize, Deserialize, Clone)]
pub struct LogupGkrRoundProof<EF> {
    /// The numerator of the numerator with last coordinate being 0.
    pub numerator_0: EF,
    /// The numerator of the numerator with last coordinate being 1.
    pub numerator_1: EF,
    /// The denominator of the denominator with last coordinate being 0.
    pub denominator_0: EF,
    /// The denominator of the denominator with last coordinate being 1.
    pub denominator_1: EF,
    /// The sumcheck proof for the round.
    pub sumcheck_proof: PartialSumcheckProof<EF>,
}

/// The proof for the log-up GKR circuit.
#[derive(Debug, Serialize, Deserialize, Clone)]
pub struct LogupGkrProof<F, EF> {
    /// The output of the circuit.
    pub circuit_output: LogUpGkrOutput<EF>,
    /// The proof for each round.
    pub round_proofs: Vec<LogupGkrRoundProof<EF>>,
    /// The evaluations for each chip.
    pub logup_evaluations: LogUpEvaluations<EF>,
    /// The grinding witness.
    pub witness: F,
}

/// The evaluations for a chip
#[derive(Debug, Serialize, Deserialize, Clone)]
pub struct ChipEvaluation<EF> {
    /// The evaluations of the main trace.
    pub main_trace_evaluations: MleEval<EF>,
    /// The evaluations of the preprocessed trace.
    pub preprocessed_trace_evaluations: Option<MleEval<EF>>,
}

#[derive(Debug, Serialize, Deserialize, Clone)]
/// The data passed from the GKR prover to the zerocheck prover.
pub struct LogUpEvaluations<EF> {
    /// The point at which the evaluations are made.
    pub point: Point<EF>,
    /// The evaluations for each chip.
    pub chip_openings: BTreeMap<String, ChipEvaluation<EF>>,
}