From 134c66b37d14ea7c8b29714cd2688dfc6181ecd9 Mon Sep 17 00:00:00 2001 From: Daniel Lubarov Date: Fri, 15 Jul 2022 13:02:56 -0700 Subject: [PATCH] Missing TODO --- evm/src/cpu/bootstrap_kernel.rs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/evm/src/cpu/bootstrap_kernel.rs b/evm/src/cpu/bootstrap_kernel.rs index 3d5d4f1c..7b11bf60 100644 --- a/evm/src/cpu/bootstrap_kernel.rs +++ b/evm/src/cpu/bootstrap_kernel.rs @@ -92,6 +92,7 @@ pub(crate) fn eval_bootstrap_kernel>( // - If CLOCK is a multiple of KECCAK_RATE_LIMBS, activate the Keccak CTL, and ensure the output // is copied to the next row (besides the first limb which will immediately be overwritten). // - Otherwise, ensure that the Keccak input is copied to the next row (besides the next limb). + // - The next limb we add to the buffer is also written to memory. // If IS_BOOTSTRAP_KERNEL changed (from 1 to 0), check that // - the clock is a multiple of KECCAK_RATE_LIMBS (TODO) @@ -131,6 +132,7 @@ pub(crate) fn eval_bootstrap_kernel_circuit, const // - If CLOCK is a multiple of KECCAK_RATE_LIMBS, activate the Keccak CTL, and ensure the output // is copied to the next row (besides the first limb which will immediately be overwritten). // - Otherwise, ensure that the Keccak input is copied to the next row (besides the next limb). + // - The next limb we add to the buffer is also written to memory. // If IS_BOOTSTRAP_KERNEL changed (from 1 to 0), check that // - the clock is a multiple of KECCAK_RATE_LIMBS (TODO)