logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-04-02 01:33:26 +00:00
Code Issues Packages Projects Releases Wiki Activity

Back to slice

Browse Source
This commit is contained in:
wborgeaud 2022-03-20 10:13:01 +01:00
parent 296b21aed9
commit dbaa31d818
4 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
plonky2/src/gates/gate_testing.rs
View File

@ -152,7 +152,7 @@ where
let evals = gate.eval_unfiltered(vars);
let vars_t = EvaluationTargets {
local_constants: constants_t,
local_constants: &constants_t,
local_wires: &wires_t,
public_inputs_hash: &public_inputs_hash_t,
};

4
plonky2/src/plonk/recursive_verifier.rs
View File

@ -53,7 +53,7 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
{
let one = self.one_extension();
let local_constants = proof.openings.constants.clone();
let local_constants = &proof.openings.constants;
let local_wires = &proof.openings.wires;
let vars = EvaluationTargets {
local_constants,
@ -404,7 +404,7 @@ mod tests {
timing.print();
}
// data.verify(proof.clone())?;
data.verify(proof.clone())?;
Ok((proof, data.verifier_only, data.common))
}

2
plonky2/src/plonk/vanishing_poly.rs
View File

@ -322,7 +322,7 @@ pub(crate) fn eval_vanishing_poly_recursively<
let constraint_terms = with_context!(
builder,
"evaluate gate constraints",
evaluate_gate_constraints_recursively(builder, common_data, vars.clone())
evaluate_gate_constraints_recursively(builder, common_data, vars,)
);
// The L_1(x) (Z(x) - 1) vanishing terms.

4
plonky2/src/plonk/vars.rs
View File

@ -219,13 +219,13 @@ impl<'a, P: PackedField> ExactSizeIterator for EvaluationVarsBaseBatchIterPacked
impl<'a, const D: usize> EvaluationTargets<'a, D> {
pub fn remove_prefix(&mut self, selector_index: usize) {
self.local_constants.remove(selector_index);
todo!()
}
}
#[derive(Clone)]
pub struct EvaluationTargets<'a, const D: usize> {
pub local_constants: Vec<ExtensionTarget<D>>,
pub local_constants: &'a [ExtensionTarget<D>],
pub local_wires: &'a [ExtensionTarget<D>],
pub public_inputs_hash: &'a HashOutTarget,
}