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

it works

Browse Source
This commit is contained in:
Dmitry Vagner 2023-04-20 20:02:15 -07:00
parent c01b2bf2c2
commit f1bbf66cda
3 changed files with 2 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
evm/src/cpu/kernel/asm/curve/bn254/curve_arithmetic/pairing.asm
View File

@ -47,7 +47,6 @@ bn254_input_check:
%add_const(2) %add_const(2)
%load_fp254_4 %load_fp254_4
// stack: Q_j, j, k, inp // stack: Q_j, j, k, inp
%pop4
%bn_check_twisted %bn_check_twisted
// stack: valid?, j, k, inp // stack: valid?, j, k, inp
%assert_nonzero %assert_nonzero

5
evm/src/cpu/kernel/asm/curve/bn254/curve_arithmetic/twisted_curve.asm
View File

@ -57,12 +57,11 @@
%macro bn_check_twisted_curve %macro bn_check_twisted_curve
// stack: range, X, Y // stack: range, X, Y
%stack (range, X: 2, Y: 2) -> (Y, Y, range, X) %stack (range, X: 2, Y: 2) -> (Y, Y, range, X, Y)
// stack: Y, Y, range, X, Y // stack: Y, Y, range, X, Y
%mul_fp254_2 %mul_fp254_2
// stack: Y^2, range, X, Y // stack: Y^2, range, X, Y
PUSH @BN_TWISTED_IM %stack () -> (@BN_TWISTED_RE, @BN_TWISTED_IM)
PUSH @BN_TWISTED_RE
// stack: A, Y^2, range, X, Y // stack: A, Y^2, range, X, Y
%stack (A: 2, Y2: 2, range, X: 2) -> (X, X, X, A, Y2, range, X) %stack (A: 2, Y2: 2, range, X: 2) -> (X, X, X, A, Y2, range, X)
// stack: X, X, X, A, Y^2, range, X, Y // stack: X, X, X, A, Y^2, range, X, Y

1
evm/src/cpu/kernel/tests/bn254.rs
View File

@ -282,7 +282,6 @@ fn test_miller() -> Result<()> {
#[test] #[test]
fn test_bn_pairing() -> Result<()> { fn test_bn_pairing() -> Result<()> {
let acc: usize = 200;
let out: usize = 212; let out: usize = 212;
let ptr: usize = 224; let ptr: usize = 224;