Code

Groth16 prover#463

Code

Open

Vindaar wants to merge 49 commits intomastermratsim/constantine:masterfrom groth16provermratsim/constantine:groth16proverCopy head branch name to clipboard

+6,736-25

Commits

Commits on Jan 25, 2025

• WIP commit of our groth16 work

  Vindaar

  committed
  866ff86

  Copy full SHA for 866ff86

• add partially manual Groth16 proof file

  Vindaar

  committed
  a62c270

  Copy full SHA for a62c270

• minor comments, cleanup, TODOs

  Vindaar

  committed
  ac9fc4d

  Copy full SHA for ac9fc4d

• add note about typed R1CS

  Vindaar

  committed
  a9574c5

  Copy full SHA for a9574c5

• add 'typed' variant of Zkey

  Vindaar

  committed
  32471f8

  Copy full SHA for 32471f8

• add 'typed' variant of Witness file data

  Vindaar

  committed
  d9c8399

  Copy full SHA for d9c8399

• move asEC*, randomFieldElement to utils

  Vindaar

  committed
  52a0d8e

  Copy full SHA for 52a0d8e

• use 'typed' form of zkey / witnessss data objects

  Vindaar

  committed
  5f8ffa7

  Copy full SHA for 5f8ffa7

• [tests] add test file for finite field FFT

  Vindaar

  committed
  8a425c0

  Copy full SHA for 8a425c0

• [groth16] whitespace

  Vindaar

  committed
  b7b5f8e

  Copy full SHA for b7b5f8e

• clean up FFT for finite fields

  Vindaar

  committed
  eac3545

  Copy full SHA for eac3545

• remove old FFT finite field test file

  Vindaar

  committed
  456eb87

  Copy full SHA for 456eb87

• remove old TODO from FFT

  Vindaar

  committed
  2468297

  Copy full SHA for 2468297

• move groth16 files one dir up (proof_systems)

  Vindaar

  committed
  3516ea2

  Copy full SHA for 3516ea2

• add notes about binary zkey, wtns file format / parser

  Vindaar

  committed
  31b93fc

  Copy full SHA for 31b93fc

• fixup code for changed path, minor cleanup

  Vindaar

  committed
  544acaf

  Copy full SHA for 544acaf

• bind sysrand in utils

  Vindaar

  committed
  54c8ccb

  Copy full SHA for 54c8ccb

• export some modules, export prover & prove

  Vindaar

  committed
  b865732

  Copy full SHA for b865732

• bind two identifiers in sumImpl

  Show description for 52ab899
  Vindaar

  committed
  52ab899

  Copy full SHA for 52ab899

• [example] add Groth16 prover example

  Vindaar

  committed
  4394b90

  Copy full SHA for 4394b90

• [examples] clean up outputs of code blocks

  Vindaar

  committed
  8c125c4

  Copy full SHA for 8c125c4

• remove left over :END:

  Vindaar

  committed
  0be109b

  Copy full SHA for 0be109b

• remove old echoes

  Vindaar

  committed
  7c00f4e

  Copy full SHA for 7c00f4e

• export EC related modules from Groth16

  Vindaar

  committed
  11c2d57

  Copy full SHA for 11c2d57

• update tangled example Nim code

  Vindaar

  committed
  e27e7fd

  Copy full SHA for e27e7fd

• [io_fields] annotate fromDecimal with raises, pop raises: [] before

  Vindaar

  committed
  3fd87ab

  Copy full SHA for 3fd87ab

• [tests] add groth16 prover test case, binary files for test

  Vindaar

  committed
  ab1db16

  Copy full SHA for ab1db16

• export wtns field of Witness section

  Vindaar

  committed
  f0ec4bb

  Copy full SHA for f0ec4bb

• [tests] add test case for Witness binary parser

  Vindaar

  committed
  33e0e17

  Copy full SHA for 33e0e17

• [tests] add .zkey parser test case

  Vindaar

  committed
  1079d9f

  Copy full SHA for 1079d9f

• [tests] add expected zkey test files as JSON data

  Vindaar

  committed
  c4a5d1c

  Copy full SHA for c4a5d1c

• [nimble] add finite field FFT, Groth16 related tests to nimble file

  Vindaar

  committed
  0f90e5b

  Copy full SHA for 0f90e5b

• add booldefine variables to choose what is Montgomery encoded

  Vindaar

  committed
  9041755

  Copy full SHA for 9041755

• add a bunch more echo outputs for SnarkJS comparison

  Vindaar

  committed
  5aed56a

  Copy full SHA for 5aed56a

• [parser] minor cleanup of the binary file parsing logic

  Vindaar

  committed
  8740a5d

  Copy full SHA for 8740a5d

• remove comment about truncation in random field element sampling

  Vindaar

  committed
  6856a3b

  Copy full SHA for 6856a3b

• remove debugging ~booldefine~ variables

  Vindaar

  committed
  6b5185b

  Copy full SHA for 6b5185b

• [groth16] add parser utils submodule for Groth16 binary files

  Vindaar

  committed
  1f4e89f

  Copy full SHA for 1f4e89f

• [groth16] rename the Groth16 main file

  Vindaar

  committed
  fcdd4cd

  Copy full SHA for fcdd4cd

• clean up FFT LUT calculation code

  Vindaar

  committed
  564cc42

  Copy full SHA for 564cc42

• [groth16] clean up Groth16 main file

  Vindaar

  committed
  92108bf

  Copy full SHA for 92108bf

• [tests] clean up Groth16 test case, adjust for correct API

  Vindaar

  committed
  47ba6f9

  Copy full SHA for 47ba6f9

• remove duplicate pow_vartime due to rebase

  Vindaar

  committed
  e492ba2

  Copy full SHA for e492ba2

• [tests] update ZKey test vectors from wrong booldefine branch

  Show description for 8a4db94
  Vindaar

  committed
  8a4db94

  Copy full SHA for 8a4db94

• [utils] add comment reference to double Montgomery encoding

  Vindaar

  committed
  34812a1

  Copy full SHA for 34812a1

• [tests] fix paths in Zkey and Groth16 prover tests

  Vindaar

  committed
  53209ae

  Copy full SHA for 53209ae

• [groth16] add proper type for Groth16 proof

  Vindaar

  committed
  0345743

  Copy full SHA for 0345743

• [groth16] implement Groth16 proof verification and test it

  Vindaar

  committed
  068a456

  Copy full SHA for 068a456

• [groth16] remove the now unused CMM_WN booldefine

  Vindaar

  committed
  29f1a4e

  Copy full SHA for 29f1a4e