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

allow the user to set the masking coefficients and the toxic waste (useful for debugging purposes)

Browse Source
This commit is contained in:
Balazs Komuves 2024-01-16 12:37:27 +01:00
parent fbe637e8d4
commit 42e1728629
No known key found for this signature in database
GPG Key ID: F63B7AEF18435562
4 changed files with 32 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
groth16.nim
View File

@ -1,6 +1,12 @@
import groth16/bn128/types import groth16/bn128
import groth16/files/zkey import groth16/files/zkey
import groth16/files/witness import groth16/files/witness
import groth16/prover import groth16/prover
import groth16/verifier import groth16/verifier
export bn128
export zkey
export witness
export prover
export verifier

2
groth16.nimble
View File

@ -6,4 +6,4 @@ license = "MIT OR Apache-2.0"
skipDirs = @["groth16/example"] skipDirs = @["groth16/example"]
binDir = "build" binDir = "build"
requires "https://github.com/mratsim/constantine" requires "https://github.com/mratsim/constantine#5f7ba18f2ed351260015397c9eae079a6decaee1"

14
groth16/fake_setup.nim
View File

@ -20,14 +20,14 @@ import groth16/misc
#------------------------------------------------------------------------------- #-------------------------------------------------------------------------------
type type
ToxicWaste = object ToxicWaste* = object
alpha: Fr alpha*: Fr
beta: Fr beta*: Fr
gamma: Fr gamma*: Fr
delta: Fr delta*: Fr
tau: Fr tau*: Fr
proc randomToxicWaste(): ToxicWaste = proc randomToxicWaste*(): ToxicWaste =
let a = randFr() let a = randFr()
let b = randFr() let b = randFr()
let c = randFr() let c = randFr()

20
groth16/prover.nim
View File

@ -149,7 +149,12 @@ func computeSnarkjsScalarCoeffs( abc: ABC ): seq[Fr] =
# the prover # the prover
# #
proc generateProof*( zkey: ZKey, wtns: Witness ): Proof = type
Mask* = object
r*: Fr # masking coefficients
s*: Fr # for zero knowledge
proc generateProofWithMask*( zkey: ZKey, wtns: Witness, mask: Mask ): Proof =
assert( zkey.header.curve == wtns.curve ) assert( zkey.header.curve == wtns.curve )
let witness = wtns.values let witness = wtns.values
@ -186,8 +191,8 @@ proc generateProof*( zkey: ZKey, wtns: Witness ): Proof =
zs[j-npubs-1] = witness[j] zs[j-npubs-1] = witness[j]
# masking coeffs # masking coeffs
let r : Fr = randFr() let r = mask.r
let s : Fr = randFr() let s = mask.s
var pi_a : G1 var pi_a : G1
pi_a = spec.alpha1 pi_a = spec.alpha1
@ -214,3 +219,12 @@ proc generateProof*( zkey: ZKey, wtns: Witness ): Proof =
return Proof( curve:"bn128", publicIO:pubIO, pi_a:pi_a, pi_b:pi_b, pi_c:pi_c ) return Proof( curve:"bn128", publicIO:pubIO, pi_a:pi_a, pi_b:pi_b, pi_c:pi_c )
#------------------------------------------------------------------------------- #-------------------------------------------------------------------------------
proc generateProof*( zkey: ZKey, wtns: Witness ): Proof =
# masking coeffs
let r : Fr = randFr()
let s : Fr = randFr()
let mask = Mask(r: r, s: s)
return generateProofWithMask( zkey, wtns, mask )