From 21a1a98a7d235d914e2cd85b76d3847193cc2483 Mon Sep 17 00:00:00 2001 From: Dmitry Vagner Date: Wed, 19 Apr 2023 13:19:06 -0700 Subject: [PATCH] reorg --- evm/src/cpu/kernel/tests/bn254.rs | 39 ++++++++++++++++--------------- 1 file changed, 20 insertions(+), 19 deletions(-) diff --git a/evm/src/cpu/kernel/tests/bn254.rs b/evm/src/cpu/kernel/tests/bn254.rs index 48455b15..7acd20ee 100644 --- a/evm/src/cpu/kernel/tests/bn254.rs +++ b/evm/src/cpu/kernel/tests/bn254.rs @@ -102,13 +102,15 @@ fn test_mul_fp12() -> Result<()> { Ok(()) } -fn setup_frob_fp6_test(f: Fp6, n: usize) -> InterpreterMemoryInitialization { - InterpreterMemoryInitialization { - label: String::from("test_frob_fp254_6_") + &(n.to_string()), +fn run_frob_fp6_test(f: Fp6, n: usize) -> Vec { + let setup = InterpreterMemoryInitialization { + label: format!("test_frob_fp254_6_{}", n), stack: f.on_stack(), segment: BnPairing, memory: vec![], - } + }; + let interpreter = run_interpreter_with_memory(setup).unwrap(); + extract_stack(interpreter) } #[test] @@ -116,35 +118,34 @@ fn test_frob_fp6() -> Result<()> { let mut rng = rand::thread_rng(); let f: Fp6 = rng.gen::>(); for n in 1..4 { - let setup_frob = setup_frob_fp6_test(f, n); - let intrptr_frob: Interpreter = run_interpreter_with_memory(setup_frob).unwrap(); - let out_frob: Vec = extract_stack(intrptr_frob); - let exp_frob: Vec = f.frob(n).on_stack(); - assert_eq!(out_frob, exp_frob); + let output: Vec = run_frob_fp6_test(f, n); + let expected: Vec = f.frob(n).on_stack(); + assert_eq!(output, expected); } Ok(()) } -fn setup_frob_fp12_test(ptr: usize, f: Fp12, n: usize) -> InterpreterMemoryInitialization { - InterpreterMemoryInitialization { - label: String::from("test_frob_fp254_12_") + &(n.to_string()), +fn run_frob_fp12_test(f: Fp12, n: usize) -> Vec { + let ptr: usize = 200; + let setup = InterpreterMemoryInitialization { + label: format!("test_frob_fp254_12_{}", n), stack: vec![U256::from(ptr)], segment: BnPairing, memory: vec![(ptr, f.on_stack())], - } + }; + let interpreter = run_interpreter_with_memory(setup).unwrap(); + interpreter.extract_kernel_memory(BnPairing, ptr..ptr + 12) } #[test] fn test_frob_fp12() -> Result<()> { - let ptr: usize = 200; let mut rng = rand::thread_rng(); let f: Fp12 = rng.gen::>(); + for n in [1, 2, 3, 6] { - let setup_frob = setup_frob_fp12_test(ptr, f, n); - let intrptr_frob: Interpreter = run_interpreter_with_memory(setup_frob).unwrap(); - let out_frob: Vec = intrptr_frob.extract_kernel_memory(BnPairing, ptr..ptr + 12); - let exp_frob: Vec = f.frob(n).on_stack(); - assert_eq!(out_frob, exp_frob); + let output = run_frob_fp12_test(f, n); + let expected: Vec = f.frob(n).on_stack(); + assert_eq!(output, expected); } Ok(()) }