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

compiles

Browse Source
This commit is contained in:
Dmitry Vagner 2023-03-21 21:16:19 -07:00
parent 9ea0ebd78f
commit 392c29f412
1 changed files with 13 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
evm/src/generation/prover_input.rs
View File

@ -60,19 +60,25 @@ impl<F: Field> GenerationState<F> {
/// Special finite field operations.
fn run_sf(&self, input_fn: &ProverInputFn) -> U256 {
let field = EvmField::from_str(input_fn.0[1].as_str()).unwrap();
let op = FieldOp::from_str(input_fn.0[2].as_str()).unwrap();
let ptr = stack_peek(self, 11 - n).expect("Empty stack").as_usize();
let xs: [U256; 4] = match field {
let inputs: [U256; 4] = match field {
Bn254Base => {
let mut xs: [U256; 4] = [U256::zero(); 4];
let mut inputs: [U256; 4] = [U256::zero(); 4];
for i in 0..4 {
xs[i] = kernel_peek(self, BnPairing, ptr + i);
inputs[i] = stack_peek(self, i).expect("Empty stack");
}
xs
inputs
}
_ => todo!(),
};
field.op(op, xs)
match input_fn.0[2].as_str() {
"add_lo" => field.add_lo(inputs),
"add_hi" => field.add_hi(inputs),
"mul_lo" => field.mul_lo(inputs),
"mul_hi" => field.mul_hi(inputs),
"sub_lo" => field.sub_lo(inputs),
"sub_hi" => field.sub_hi(inputs),
_ => todo!(),
}
}
/// Finite field extension operations.