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

fixed constraints, in line with generator

Browse Source
This commit is contained in:
Nicholas Ward 2022-06-06 10:00:40 -07:00
parent 52afdae551
commit 78b2a5ebef
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -251,7 +251,7 @@ impl<F: RichField + Extendable<D>, const D: usize> Stark<F, D> for KeccakStark<F
for x in 0..5 {
for z in 0..64 {
let c_left = vars.local_values[reg_c((x + 4) % 5, z)];
let c_right = vars.local_values[reg_c((x + 1) % 5, (z + 1) % 64)];
let c_right = vars.local_values[reg_c((x + 1) % 5, (z + 64 - 1) % 64)];
let d = xor_gen(c_left, c_right);
for y in 0..5 {
@ -393,7 +393,7 @@ impl<F: RichField + Extendable<D>, const D: usize> Stark<F, D> for KeccakStark<F
for x in 0..5 {
for z in 0..64 {
let c_left = vars.local_values[reg_c((x + 4) % 5, z)];
let c_right = vars.local_values[reg_c((x + 1) % 5, (z + 1) % 64)];
let c_right = vars.local_values[reg_c((x + 1) % 5, (z + 64 - 1) % 64)];
let d = xor_gen_circuit(builder, c_left, c_right);
for y in 0..5 {
@ -510,7 +510,6 @@ mod tests {
use keccak_rust::{KeccakF, StateBitsWidth};
use plonky2::field::field_types::Field;
use plonky2::plonk::config::{GenericConfig, PoseidonGoldilocksConfig};
use rand::Rng;
use crate::keccak::keccak_stark::{KeccakStark, INPUT_LIMBS, NUM_ROUNDS};
use crate::keccak::registers::reg_a_prime_prime_prime;