From 2ea3e5e3ca325938ef92b646fb380482dbaa4098 Mon Sep 17 00:00:00 2001 From: Dmitry Vagner Date: Sat, 25 Feb 2023 10:35:33 -0800 Subject: [PATCH] minor changes --- .../cpu/kernel/asm/curve/bn254/curve_arithmetic/curve_add.asm | 2 +- evm/src/witness/util.rs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/evm/src/cpu/kernel/asm/curve/bn254/curve_arithmetic/curve_add.asm b/evm/src/cpu/kernel/asm/curve/bn254/curve_arithmetic/curve_add.asm index f562f7ad..aacb7d3a 100644 --- a/evm/src/cpu/kernel/asm/curve/bn254/curve_arithmetic/curve_add.asm +++ b/evm/src/cpu/kernel/asm/curve/bn254/curve_arithmetic/curve_add.asm @@ -200,7 +200,7 @@ global bn_double: %jump(bn_add_equal_points) // Check if (x,y) is a valid curve point. -// Returns range & curve || is_identity +// Returns (range & curve) || is_identity // where // range = (x < N) & (y < N) // curve = y^2 == (x^3 + 3) diff --git a/evm/src/witness/util.rs b/evm/src/witness/util.rs index 5c36b529..a5ebf2ac 100644 --- a/evm/src/witness/util.rs +++ b/evm/src/witness/util.rs @@ -39,7 +39,7 @@ pub(crate) fn stack_peek(state: &GenerationState, i: usize) -> Opti ))) } -/// Peek at the SEGMENT_KERNEL_BN_PAIRING item at address `i` +/// Peek at kernel at specified segment and address pub(crate) fn kernel_peek( state: &GenerationState, segment: Segment,