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

add inverse doc

Browse Source
This commit is contained in:
Dmitry Vagner 2023-02-25 18:07:10 -08:00
parent 13a8d670d0
commit 1d94756e1a
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -6,7 +6,10 @@
MULFP254 MULFP254
%endmacro %endmacro
// Non-deterministically provide the inverse modulo N. // Non-deterministically provide the inverse x^-1 of x modulo N.
// If x === 0 mod N, this function panics.
// Although the official prover provides the unique inverse <N
// this macro only checks that x * x^-1 === 0 mod N
%macro inv_fp254 %macro inv_fp254
// stack: x // stack: x
PROVER_INPUT(ff::bn254_base::inverse) PROVER_INPUT(ff::bn254_base::inverse)