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

test inv from memory

Browse Source
This commit is contained in:
Dmitry Vagner 2023-01-20 14:58:34 +07:00
parent abab6bf1e1
commit c74a0c2500
2 changed files with 23 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
evm/src/cpu/kernel/asm/curve/bn254/field_arithmetic/inverse.asm
View File

@ -22,12 +22,6 @@
%endmacro
global test_inv_fp12:
// stack: ptr, f, ptr, inv, retdest
%store_fp12
// stack: ptr, inv, retdest
%jump(inv_fp12)
global inv_fp12:
// stack: ptr, inv, retdest
DUP1 %load_fp12

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

@ -3,7 +3,7 @@ use std::ops::Range;
use anyhow::Result;
use ethereum_types::U256;
use crate::bn254_arithmetic::{fp12_to_vec, frob_fp12, gen_fp12, gen_fp12_sparse, Fp12};
use crate::bn254_arithmetic::{fp12_to_vec, frob_fp12, gen_fp12, gen_fp12_sparse, inv_fp12, Fp12};
use crate::cpu::kernel::aggregator::KERNEL;
use crate::cpu::kernel::interpreter::Interpreter;
use crate::memory::segments::Segment;
@ -130,22 +130,32 @@ fn test_frob_fp12() -> Result<()> {
Ok(())
}
// #[test]
// fn test_inv_fp12() -> Result<()> {
// let ptr = U256::from(200);
// let inv = U256::from(300);
fn setup_inv_test(f: Fp12) -> InterpreterSetup {
let ptr: usize = 100;
let inv: usize = 112;
let stack = vec![U256::from(ptr), U256::from(inv), U256::from(0xdeadbeefu32)];
let memory = vec![(ptr, fp12_to_vec(f))];
// let f: Fp12 = gen_fp12();
// let mut stack = vec![ptr];
// stack.extend(fp12_to_vec(f));
// stack.extend(vec![ptr, inv, U256::from_str("0xdeadbeef").unwrap()]);
InterpreterSetup {
offset: "inv_fp12".to_string(),
stack: stack,
memory: memory,
output: inv..inv+12,
}
}
// let output: Vec<U256> = get_interpreter_output("test_inv_fp12", stack);
#[test]
fn test_inv_fp12() -> Result<()> {
let f: Fp12 = gen_fp12();
// assert_eq!(output, vec![]);
let setup = setup_inv_test(f);
let output: Vec<U256> = get_interpreter_output(setup).unwrap();
let expected: Vec<U256> = fp12_to_vec(inv_fp12(f));
// Ok(())
// }
assert_eq!(output, expected);
Ok(())
}
// #[test]
// fn test_power() -> Result<()> {