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

change set_stark_proof_target's witness to WitnessWrite (#1592)

Browse Source
This commit is contained in:
nuno 2024-06-01 15:15:26 +02:00 committed by GitHub
parent 15836d9d8c
commit cfccc1b8b6
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
starky/src/recursive_verifier.rs
View File

@ -14,7 +14,7 @@ use plonky2::hash::hash_types::RichField;
use plonky2::iop::challenger::RecursiveChallenger;
use plonky2::iop::ext_target::ExtensionTarget;
use plonky2::iop::target::Target;
use plonky2::iop::witness::Witness;
use plonky2::iop::witness::WitnessWrite;
use plonky2::plonk::circuit_builder::CircuitBuilder;
use plonky2::plonk::config::{AlgebraicHasher, GenericConfig};
use plonky2::util::reducing::ReducingFactorTarget;
@ -328,7 +328,7 @@ pub fn set_stark_proof_with_pis_target<F, C: GenericConfig<D, F = F>, W, const D
) where
F: RichField + Extendable<D>,
C::Hasher: AlgebraicHasher<F>,
W: Witness<F>,
W: WitnessWrite<F>,
{
let StarkProofWithPublicInputs {
proof,
@ -357,7 +357,7 @@ pub fn set_stark_proof_target<F, C: GenericConfig<D, F = F>, W, const D: usize>(
) where
F: RichField + Extendable<D>,
C::Hasher: AlgebraicHasher<F>,
W: Witness<F>,
W: WitnessWrite<F>,
{
witness.set_cap_target(&proof_target.trace_cap, &proof.trace_cap);
if let (Some(quotient_polys_cap_target), Some(quotient_polys_cap)) =