Groth16 prover - #463

Open

Vindaar wants to merge 49 commits into

Commits on Sep 10, 2025

WIP commit of our groth16 work
Vindaar
committed
18ef54f
add partially manual Groth16 proof file
Vindaar
committed
79445df
minor comments, cleanup, TODOs
Vindaar
committed
ff4ea0f
add note about typed R1CS
Vindaar
committed
fd856bb
add 'typed' variant of Zkey
Vindaar
committed
15965b2
add 'typed' variant of Witness file data
Vindaar
committed
7954f7b
move `asEC*`, `randomFieldElement` to utils
Vindaar
committed
3ec132f
use 'typed' form of zkey / witnessss data objects
Vindaar
committed
9291bad
[tests] add test file for finite field FFT
Vindaar
committed
cb48a09
[groth16] whitespace
Vindaar
committed
f774ece
clean up FFT for finite fields
Vindaar
committed
37eb08e
remove old FFT finite field test file
Vindaar
committed
4603783
remove old TODO from FFT
Vindaar
committed
d835945
move groth16 files one dir up (proof_systems)
Vindaar
committed
80344bd
add notes about binary zkey, wtns file format / parser
Vindaar
committed
0c41a2e
fixup code for changed path, minor cleanup
Vindaar
committed
47b2020
bind sysrand in utils
Vindaar
committed
ed80daf
export some modules, export prover & prove
Vindaar
committed
b48f02f
bind two identifiers in `sumImpl`
Vindaar
committed
38658f5
[example] add Groth16 prover example
Vindaar
committed
b174b14
[examples] clean up outputs of code blocks
Vindaar
committed
e9fe204
remove left over `:END:`
Vindaar
committed
e92471f
remove old echoes
Vindaar
committed
020e88b
export EC related modules from Groth16
Vindaar
committed
f79152d
update tangled example Nim code
Vindaar
committed
3d7eade
[io_fields] annotate `fromDecimal` with raises, pop `raises: []` before
Vindaar
committed
6a43160
[tests] add groth16 prover test case, binary files for test
Vindaar
committed
dbab52b
export wtns field of Witness section
Vindaar
committed
0525317
[tests] add test case for Witness binary parser
Vindaar
committed
13b1957
[tests] add `.zkey` parser test case
Vindaar
committed
2381b2e
[tests] add expected zkey test files as JSON data
Vindaar
committed
4a12fe7
[nimble] add finite field FFT, Groth16 related tests to nimble file
Vindaar
committed
6ef7dd5
add booldefine variables to choose what is Montgomery encoded
Vindaar
committed
928d4d1
add a bunch more echo outputs for SnarkJS comparison
Vindaar
committed
e3cb336
[parser] minor cleanup of the binary file parsing logic
Vindaar
committed
c92ff5a
remove comment about truncation in random field element sampling
Vindaar
committed
5ceda05
remove debugging ~booldefine~ variables
Vindaar
committed
694755f
[groth16] add parser utils submodule for Groth16 binary files
Vindaar
committed
65b4d53
[groth16] rename the Groth16 main file
Vindaar
committed
854dc5e
clean up FFT LUT calculation code
Vindaar
committed
9a33863
[groth16] clean up Groth16 main file
Vindaar
committed
28cb7e2
[tests] clean up Groth16 test case, adjust for correct API
Vindaar
committed
aa114bb
remove duplicate `pow_vartime` due to rebase
Vindaar
committed
f1607f9
[tests] update ZKey test vectors from wrong `booldefine` branch
Vindaar
committed
1ea90dd
[utils] add comment reference to double Montgomery encoding
Vindaar
committed
bd59352
[tests] fix paths in Zkey and Groth16 prover tests
Vindaar
committed
c1f21f2
[groth16] add proper type for Groth16 proof
Vindaar
committed
9a8a706
[groth16] implement Groth16 proof verification and test it
Vindaar
committed
4bfa1eb
[groth16] remove the now unused CMM_WN booldefine
Vindaar
committed
8efc5bb