We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 068a456 commit 29f1a4eCopy full SHA for 29f1a4e
1 file changed
constantine/proof_systems/groth16_utils.nim
@@ -5,12 +5,6 @@ import ../math/[arithmetic, extension_fields],
5
../math/elliptic/[ec_shortweierstrass_affine, ec_shortweierstrass_jacobian, ec_scalar_mul, ec_multi_scalar_mul, ec_scalar_mul_vartime],
6
../csprngs/sysrand
7
8
-## Read zkey coefficients `C` as double montgomery rep `MM`, witness data `W` in normal rep `N`
9
-## This produces the correct 3 proof values
10
-const CMM_WN* {.booldefine.} = false
11
-
12
-## What about `CN_WM`?
13
14
## Helper constructors for Fp / Fr elements used in Groth16 binary file parsers.
15
proc toFp*[Name: static Algebra](x: seq[byte], isMont = true): Fp[Name] =
16
let b = matchingBigInt(Name).unmarshal(x.toOpenArray(0, x.len - 1), littleEndian)
0 commit comments