logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-05-21 09:19:28 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add initial constraint z polynomial (#1440)

Browse Source
This commit is contained in:
Linda Guiga 2024-01-02 09:11:38 +01:00 committed by GitHub
parent ef07eabf84
commit 6cf4df7da2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
evm/src/lookup.rs
View File

@ -210,6 +210,8 @@ pub(crate) fn eval_packed_lookups_generic<F, FE, P, S, const D: usize, const D2:
.fold(P::ZEROS, |acc, x| acc + *x) .fold(P::ZEROS, |acc, x| acc + *x)
* table_with_challenge * table_with_challenge
- lookup.frequencies_column.eval(local_values); - lookup.frequencies_column.eval(local_values);
// Check that in the first row, z = 0;
yield_constr.constraint_first_row(z);
yield_constr.constraint((next_z - z) * table_with_challenge - y); yield_constr.constraint((next_z - z) * table_with_challenge - y);
start += num_helper_columns; start += num_helper_columns;
} }
@ -299,6 +301,8 @@ pub(crate) fn eval_ext_lookups_circuit<
y = builder.mul_extension(y, table_with_challenge); y = builder.mul_extension(y, table_with_challenge);
y = builder.sub_extension(y, frequencies_column); y = builder.sub_extension(y, frequencies_column);
// Check that in the first row, z = 0;
yield_constr.constraint_first_row(builder, z);
let mut constraint = builder.sub_extension(next_z, z); let mut constraint = builder.sub_extension(next_z, z);
constraint = builder.mul_extension(constraint, table_with_challenge); constraint = builder.mul_extension(constraint, table_with_challenge);
constraint = builder.sub_extension(constraint, y); constraint = builder.sub_extension(constraint, y);