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

Minor

Browse Source
This commit is contained in:
wborgeaud 2022-07-22 19:25:06 +02:00
parent e93235d07e
commit 0afe98525b
2 changed files with 4 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
evm/src/cpu/kernel/asm/moddiv.asm
View File

@ -28,13 +28,9 @@
// Computes the inverse modulo N by providing it non-deterministically.
%macro inverse
// stack: x
PROVER_INPUT
PROVER_INPUT(ff::bn254_base::inverse)
// stack: x^-1, x
%bn_base
// stack: N, x^-1, x
DUP3
// stack: x, N, x^-1, x
DUP3
%stack (inv, x) -> (inv, x, @BN_BASE, inv, x)
// stack: x^-1, x, N, x^-1, x
MULMOD
// stack: x^-1 * x, x^-1, x

2
evm/src/cpu/kernel/evm_asm.pest
View File

@ -29,6 +29,8 @@ local_label = { identifier ~ ":" }
bytes_item = { ^"BYTES " ~ literal ~ ("," ~ literal)* }
push_instruction = { ^"PUSH " ~ push_target }
push_target = { literal | identifier | variable | constant }
prover_input_instruction = { ^"PROVER_INPUT " ~ "(" ~ prover_input_fn ~ ")" } // TODO: Can also support extra arguments.
prover_input_fn = { identifier ~ ("::" ~ identifier)*}
nullary_instruction = { identifier }
file = { SOI ~ item* ~ silent_eoi }