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

Add num_ctl_zs

Browse Source
This commit is contained in:
wborgeaud 2022-05-25 08:00:41 +02:00
parent c49de59cbc
commit e13bbf563e
2 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
evm/src/recursive_verifier.rs
View File

@ -278,8 +278,9 @@ pub fn add_virtual_stark_proof_with_pis<
stark: S,
config: &StarkConfig,
degree_bits: usize,
num_ctl_zs: usize,
) -> StarkProofWithPublicInputsTarget<D> {
let proof = add_virtual_stark_proof::<F, S, D>(builder, stark, config, degree_bits);
let proof = add_virtual_stark_proof::<F, S, D>(builder, stark, config, degree_bits, num_ctl_zs);
let public_inputs = builder.add_virtual_targets(S::PUBLIC_INPUTS);
StarkProofWithPublicInputsTarget {
proof,
@ -292,6 +293,7 @@ pub fn add_virtual_stark_proof<F: RichField + Extendable<D>, S: Stark<F, D>, con
stark: S,
config: &StarkConfig,
degree_bits: usize,
num_ctl_zs: usize,
) -> StarkProofTarget<D> {
let fri_params = config.fri_params(degree_bits);
let cap_height = fri_params.config.cap_height;
@ -319,6 +321,7 @@ pub fn add_virtual_stark_proof<F: RichField + Extendable<D>, S: Stark<F, D>, con
fn add_stark_opening_set<F: RichField + Extendable<D>, S: Stark<F, D>, const D: usize>(
builder: &mut CircuitBuilder<F, D>,
stark: S,
num_ctl_zs: usize,
config: &StarkConfig,
) -> StarkOpeningSetTarget<D> {
let num_challenges = config.num_challenges;

4
plonky2/src/fri/witness_util.rs
View File

@ -18,6 +18,10 @@ pub fn set_fri_proof_target<F, W, H, const D: usize>(
{
witness.set_target(fri_proof_target.pow_witness, fri_proof.pow_witness);
dbg!(
fri_proof_target.final_poly.0.len(),
fri_proof.final_poly.coeffs.len()
);
for (&t, &x) in fri_proof_target
.final_poly
.0