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

Fix todo in kernel bootstrapping

Browse Source
This commit is contained in:
Robin Salen 2023-04-20 14:13:26 +02:00
parent ae21ef8fd1
commit 841c58294d
No known key found for this signature in database
GPG Key ID: F98FD38F65687358
1 changed files with 9 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
evm/src/cpu/bootstrap_kernel.rs
View File

@ -85,8 +85,11 @@ pub(crate) fn eval_bootstrap_kernel<F: Field, P: PackedField<Scalar = F>>(
} }
// If this is the final bootstrap row (i.e. delta_is_bootstrap = 1), check that // If this is the final bootstrap row (i.e. delta_is_bootstrap = 1), check that
// - all memory channels are disabled (TODO) // - all memory channels are disabled
// - the current kernel hash matches a precomputed one // - the current kernel hash matches a precomputed one
for channel in local_values.mem_channels.iter() {
yield_constr.constraint_transition(delta_is_bootstrap * channel.used);
}
for (&expected, actual) in KERNEL for (&expected, actual) in KERNEL
.code_hash .code_hash
.iter() .iter()
@ -141,8 +144,12 @@ pub(crate) fn eval_bootstrap_kernel_circuit<F: RichField + Extendable<D>, const
} }
// If this is the final bootstrap row (i.e. delta_is_bootstrap = 1), check that // If this is the final bootstrap row (i.e. delta_is_bootstrap = 1), check that
// - all memory channels are disabled (TODO) // - all memory channels are disabled
// - the current kernel hash matches a precomputed one // - the current kernel hash matches a precomputed one
for channel in local_values.mem_channels.iter() {
let constraint = builder.mul_extension(delta_is_bootstrap, channel.used);
yield_constr.constraint_transition(builder, constraint);
}
for (&expected, actual) in KERNEL for (&expected, actual) in KERNEL
.code_hash .code_hash
.iter() .iter()