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

fix: constrain higher bits of reg_preimage

Browse Source
This commit is contained in:
Ayush Shukla 2023-08-27 22:32:44 +02:00
parent a0b2b48992
commit 301aedf072
No known key found for this signature in database
1 changed files with 20 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
evm/src/keccak/keccak_stark.rs
View File

@ -266,9 +266,14 @@ impl<F: RichField + Extendable<D>, const D: usize> Stark<F, D> for KeccakStark<F
// If this is not the final step, the local and next preimages must match.
for x in 0..5 {
for y in 0..5 {
let preimage = reg_preimage(x, y);
let diff = vars.local_values[preimage] - vars.next_values[preimage];
yield_constr.constraint_transition(not_final_step * diff);
let reg_preimage_lo = reg_preimage(x, y);
let reg_preimage_hi = reg_preimage_lo + 1;
let diff_lo =
vars.local_values[reg_preimage_lo] - vars.next_values[reg_preimage_lo];
let diff_hi =
vars.local_values[reg_preimage_hi] - vars.next_values[reg_preimage_hi];
yield_constr.constraint_transition(not_final_step * diff_lo);
yield_constr.constraint_transition(not_final_step * diff_hi);
}
}
@ -436,9 +441,18 @@ impl<F: RichField + Extendable<D>, const D: usize> Stark<F, D> for KeccakStark<F
// If this is not the final step, the local and next preimages must match.
for x in 0..5 {
for y in 0..5 {
let preimage = reg_preimage(x, y);
let diff =
builder.sub_extension(vars.local_values[preimage], vars.next_values[preimage]);
let reg_preimage_lo = reg_preimage(x, y);
let reg_preimage_hi = reg_preimage_lo + 1;
let diff = builder.sub_extension(
vars.local_values[reg_preimage_lo],
vars.next_values[reg_preimage_lo],
);
let constraint = builder.mul_extension(not_final_step, diff);
yield_constr.constraint_transition(builder, constraint);
let diff = builder.sub_extension(
vars.local_values[reg_preimage_hi],
vars.next_values[reg_preimage_hi],
);
let constraint = builder.mul_extension(not_final_step, diff);
yield_constr.constraint_transition(builder, constraint);
}