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

en route to ownership

Browse Source
This commit is contained in:
Dmitry Vagner 2023-01-21 16:38:43 +07:00
parent 17cfae6655
commit 7b52438173
1 changed files with 13 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -66,11 +66,18 @@ impl<F: Field> GenerationState<F> {
.parse::<usize>()
.unwrap();
let ptr = stack_peek(self, 11 - n).expect("Empty stack").as_usize();
let mut f: [U256; 12] = [U256::zero(); 12];
for i in 0..12 {
f[i] = kernel_general_peek(self, ptr + i);
}
field.inverse_fp12(n, f)
let f: [U256; 12] = match field {
Bn254Base => {
let mut f: [U256; 12] = [U256::zero(); 12];
for i in 0..12 {
f[i] = kernel_general_peek(self, ptr + i);
}
f
}
_ => todo!(),
};
field.field_extension_inverse(n, f)
}
/// MPT data.
@ -191,7 +198,7 @@ impl EvmField {
modexp(x, q, n)
}
fn inverse_fp12(&self, n: usize, f: [U256; 12]) -> U256 {
fn field_extension_inverse(&self, n: usize, f: [U256; 12]) -> U256 {
let f: Fp12 = unsafe { transmute(f) };
let f_inv: [U256; 12] = unsafe { transmute(inv_fp12(f)) };
f_inv[n]