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

add --nomask option disabling the ZK masking (useful for debugging purposes)

Browse Source
This commit is contained in:
Balazs Komuves 2024-02-29 13:28:18 +01:00
parent e44551048a
commit 5c554e741c
No known key found for this signature in database
GPG Key ID: F63B7AEF18435562
2 changed files with 13 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
cli/cli_main.nim
View File

@ -32,6 +32,7 @@ proc printHelp() =
echo " -p, --prove : create a proof"
echo " -y, --verify : verify a proof"
echo " -s, --setup : perform (fake) trusted setup"
echo " -n, --nomask : don't use random masking for full ZK"
echo " -z, --zkey = <circuit.zkey> : the `.zkey` file"
echo " -w, --wtns = <circuit.wtns> : the `.wtns` file"
echo " -r, --r1cs = <circuit.r1cs> : the `.r1cs` file"
@ -52,6 +53,7 @@ type Config = object
do_prove: bool
do_verify: bool
do_setup: bool
no_masking: bool
const dummyConfig =
Config( zkey_file: ""
@ -64,6 +66,7 @@ const dummyConfig =
, do_prove: false
, do_verify: false
, do_setup: false
, no_masking: false
)
proc printConfig(cfg: Config) =
@ -103,6 +106,7 @@ proc parseCliOptions(): Config =
of "p", "prove" : cfg.do_prove = true
of "y", "verify" : cfg.do_verify = true
of "s", "setup" : cfg.do_setup = true
of "n", "nomask" : cfg.no_masking = true
of "o", "output" : cfg.output_file = value
of "r", "r1cs" : cfg.r1cs_file = value
of "z", "zkey" : cfg.zkey_file = value
@ -199,7 +203,11 @@ proc cliMain(cfg: Config) =
else:
echo("generating proof...")
let start = cpuTime()
proof = generateProof(cfg.measure_time and cfg.verbose, zkey, wtns)
let print_timings = cfg.measure_time and cfg.verbose
if cfg.no_masking:
proof = generateProofWithTrivialMask(print_timings, zkey, wtns)
else:
proof = generateProof(print_timings, zkey, wtns)
let elapsed = cpuTime() - start
if cfg.measure_time: echo("proving took ",seconds(elapsed))
if not (cfg.output_file == ""):

4
groth16/prover.nim
View File

@ -271,6 +271,10 @@ proc generateProofWithMask*( printTimings: bool, zkey: ZKey, wtns: Witness, mask
#-------------------------------------------------------------------------------
proc generateProofWithTrivialMask*( printTimings: bool, zkey: ZKey, wtns: Witness ): Proof =
let mask = Mask(r: intToFr(0), s: intToFr(0))
return generateProofWithMask( printTimings, zkey, wtns, mask )
proc generateProof*( printTimings: bool, zkey: ZKey, wtns: Witness ): Proof =
# masking coeffs