arnaucube
arnaucube/gnark-plonky2-verifierPublic Self-hosted repository

Commit history

7bd0035e65e3e1b198604cf07779e2c95475df04
K
range check inputted plonky2 proof (#29) * gl * stage 1 optimizations * working optimized poseidon * Fix posedion tests * in progress gate type refactor * working gates * working e2e * hm' * hm2 * debug saga continues * more debugging cry * more debug * it finally works * optimizations * more optimizations * new changes * more optimizations * more cleanup * some refactoring * new files * flattening of packages * working commit * more refactor * more flattening * more flattening * more more refactor * more optimizations * more optimizations * more optimizations * plonk benchmark * plonk * fix r1cs * resolve kevin's comments * Update goldilocks/base.go Co-authored-by: Kevin Jue <kjue235@gmail.com> * Update goldilocks/base.go Co-authored-by: Kevin Jue <kjue235@gmail.com> * Update goldilocks/base.go Co-authored-by: Kevin Jue <kjue235@gmail.com> * Update goldilocks/quadratic_extension.go Co-authored-by: Kevin Jue <kjue235@gmail.com> * added range check for the inputted proof * removed the go.mod replace directive * removed some hacky code * removed duplicate import * renamed rangecheckQEVariable to rangecheckQE * resolved conflict --------- Co-authored-by: John Guibas <john@succinct.xyz>
Kevin Jue committed on Jul 24, 2023
7bd0035
J
Use optimized goldilocks in codebase (#26) * gl * stage 1 optimizations * working optimized poseidon * Fix posedion tests * in progress gate type refactor * working gates * working e2e * hm' * hm2 * debug saga continues * more debugging cry * more debug * it finally works * optimizations * more optimizations * new changes * more optimizations * more cleanup * some refactoring * new files * flattening of packages * working commit * more refactor * more flattening * more flattening * more more refactor * more optimizations * more optimizations * more optimizations * plonk benchmark * plonk * fix r1cs * resolve kevin's comments * Update goldilocks/base.go Co-authored-by: Kevin Jue <kjue235@gmail.com> * Update goldilocks/base.go Co-authored-by: Kevin Jue <kjue235@gmail.com> * Update goldilocks/base.go Co-authored-by: Kevin Jue <kjue235@gmail.com> * Update goldilocks/quadratic_extension.go Co-authored-by: Kevin Jue <kjue235@gmail.com> * fix: resolve kevin's confusion --------- Co-authored-by: Kevin Jue <kjue235@gmail.com>
John Guibas committed on Jul 24, 2023
b670530
K
proof with small public input (#28)
Kevin Jue committed on Jun 26, 2023
103c7ca
K
serialize proof and witness (#27)
Kevin Jue committed on Jun 22, 2023
867b3ab
J
Merge pull request #25 from succinctlabs/john/fix-dependencies fix: remove local replaement with gnark dependencies based on develop branch
John Guibas committed on Jun 20, 2023
fc45e7f
K
output proof (#24)
Kevin Jue committed on Jun 19, 2023
71cfa20
K
Step test case with public inputs (#23) * added step test case * export solidity code * just set proof's public input as public variables * make serialization a command line option * added flag to output solidity * some changes to the benchmark file * used gnark cherry picked bug fix * removed fuzz testing * added some logging * more debug messages and test cases for the hint issue * removed usage of goldilocks reduce * removed prints * removed GoldilocksReduce * removed prints * added a todo * some serialization changes
Kevin Jue committed on Jun 17, 2023
9ce7bb7
K
optimized goldilocks (#22) * cleaned up qe api * modified goldilocks poseidon to use optimized goldilocks operations * better comment * added goldilocks test cases * some cleanup and comments * changed poseidon constaints to frontend.Variable * fixed double cast * fixed bug in challenger
Kevin Jue committed on Jun 8, 2023
15b7dcb
K
added serialization support for benchmark.go
Kevin Jue committed on Jun 7, 2023
ecfc4a7
K
cleaned up qe api (#21)
Kevin Jue committed on Jun 6, 2023
b3a3aa8
K
Poseidon BN128 (#20) * initial commit of poseidon bn128 * got challenger working * deserialize is working * cleaned up deserialization function a bit * fixed challenger * add in the hack to the challenges * fixed some bugs in poseidon_bn128 * fri verification is working * some changes for benchmarking * added decode_block plonky2 data * initial commit for poseidon_mds_gate * updated gate test cases * working poseidon mds gate * full verifier test case working
Kevin Jue committed on Jun 6, 2023
a516925
K
Upgrade to gnark 0.8 (#18) * make proof with PIS public input * upgraded to 0.8 gnark * reduced pow witness * fixed bug * fixed test * fixed bug * adding profiling * changed everything to be pointers * convert remaining poseidon constants * added the recursive_very_small * added more outputs for benchmark
Kevin Jue committed on May 25, 2023
302b5f5
K
Rearranged files (#17) * removed unused file * change field import * change import of field package * changed field import * moved hash to poseidon and some changes to the field package * changed file structure
Kevin Jue committed on May 19, 2023
cf84b03
K
Refactor gate deserialization (#16) * helper functions for coset_interpolation_gate * coset interpolation gate working * hard coded the coset gate (for now) * refactored gate serialization
Kevin Jue committed on May 18, 2023
a415c95
K
Coset Interpolation Gate (#15) * helper functions for coset_interpolation_gate * coset interpolation gate working * hard coded the coset gate (for now)
Kevin Jue committed on May 18, 2023
5bb7cc6
K
exponentiation gate (#14)
Kevin Jue committed on May 17, 2023
67aa8b9
K
reducing gate (#13)
Kevin Jue committed on May 17, 2023
3f6e2ad
K
reducing extension gate (#12)
Kevin Jue committed on May 17, 2023
2823cfb
K
multiplication extension gate (#11)
Kevin Jue committed on May 17, 2023
c98d65b
K
Arithmetic Extension Gate (#10) * initial commit for arithmetic extension gate * fixed bug * added regex for arithmeticExtensionGate
Kevin Jue committed on May 17, 2023
ea96e7a
K
Consolidate gate test cases (#9) * consolidated gate tests * added recursive step circuit info * added all the test cases for the recursive step gates
Kevin Jue committed on May 16, 2023
219a2ea
K
Random Access Gate (#8) * first (non working) version of random access gate * fixed a bug * got random access gate workgin * added parsing logic for the random access gate
Kevin Jue committed on May 16, 2023
ccb828b
K
Base sum gate (#7) * initial version of base_sum_gate * add recursive circuit benchmark files * added step circuit data and contant gate test * moved step testing data into gate_testing_utils * added test case for basesum gate * added test for arithmetic_gate
Kevin Jue committed on May 16, 2023
a0d5ad3
K
Circuit modifications for recent Plonky2 changes (#5) * pretty print fibonacci data files * added in new dummy proof serialized data * updated powresponse calculation in the challenger chip * changes to reflect these plonky2 changes: https://github.com/mir-protocol/plonky2/commit/40aecc8e9516d19dda88a106bc9c89d316f375a7 * modified benchmark to accept circuit name
Kevin Jue committed on May 11, 2023
11f5ee2
K
Merge pull request #4 from succinctlabs/npward-plonky2-gates remove unused JSON file
Kevin Jue committed on May 11, 2023
01f26f5
K
Merge pull request #2 from succinctlabs/npward-plonky2-gates Plonky2 Gates
Kevin Jue committed on May 10, 2023
2fbbcec
K
added comment for where the custom gate constraints logic should be implemented
Kevin Jue committed on Mar 31, 2023
57b7937
J
Update README.md
John Guibas committed on Mar 28, 2023
486fafb
J
new benchmarks
John Guibas committed on Mar 28, 2023
a6e3319
J
update readme and MIT
John Guibas committed on Mar 28, 2023
cf16f0f
J
Add benchmark script
John Guibas committed on Mar 28, 2023
b053926
J
Cleanup repo for release
John Guibas committed on Mar 28, 2023
6e9f1a7
A
add a test
Allison Qi committed on Jan 24, 2023
b19cd39
K
added plonky2_verifier_benchmark
Kevin Jue committed on Nov 22, 2022
8fe0c7f
K
added verifier_test
Kevin Jue committed on Nov 22, 2022
4498f17
K
refactored fri and plonk test
Kevin Jue committed on Nov 21, 2022
148788e
K
fixed a verifier test
Kevin Jue committed on Nov 21, 2022
c4458d0
K
added dummy circuit test case in verifier
Kevin Jue committed on Nov 21, 2022
9c50f40
K
removed module
Kevin Jue committed on Nov 17, 2022
bd5245d
K
added go module
Kevin Jue committed on Nov 17, 2022
e895ec4
K
added plonk_benchmark
Kevin Jue committed on Nov 17, 2022
a0405cd
K
standalone fri circuit
Kevin Jue committed on Nov 17, 2022
1ad9e73
K
fixed some bugs
Kevin Jue committed on Nov 15, 2022
a16fe09
K
fixed bug
Kevin Jue committed on Nov 15, 2022
1095665
K
finished interpolate function in fri round verification
Kevin Jue committed on Nov 15, 2022
d847bbd
K
calculated barycentric weights
Kevin Jue committed on Nov 14, 2022
f877e3b
K
arity verification check with incomplete compute_evaluation
Kevin Jue committed on Nov 14, 2022
8797fd1
K
some rearranging of the functions
Kevin Jue committed on Nov 14, 2022
317f4ba
K
deserialized the steps
Kevin Jue committed on Nov 11, 2022
cbb50ef
K
added the test challenges for the large circuit test
Kevin Jue committed on Nov 11, 2022
571d64a
K
added more test data
Kevin Jue committed on Nov 11, 2022
897030b
K
added reductionArityBits function
Kevin Jue committed on Nov 10, 2022
ccfe2b5
K
added GetFriInstance
Kevin Jue committed on Nov 10, 2022
c3e1662
K
added the function friCombineInitial
Kevin Jue committed on Nov 10, 2022
393059b
K
calculated subgroupX
Kevin Jue committed on Nov 10, 2022
8e9591c
K
added the merkle cap check
Kevin Jue committed on Nov 9, 2022
21157cf
K
got merkle proof traversal working
Kevin Jue committed on Nov 8, 2022
460709f
K
correctly deserialize fri opening proofs
Kevin Jue committed on Nov 8, 2022
d6f73d1
K
expanded fri_test.go and implemented more for the fri verifier
Kevin Jue committed on Nov 7, 2022
da80afa
K
added more test cases for the fri challenges
Kevin Jue committed on Nov 7, 2022
bfcad86
K
initial commit for fri verification chip
Kevin Jue committed on Nov 4, 2022
d194d38
K
permutation check for plonk works
Kevin Jue committed on Nov 1, 2022
1d7f151
K
reduced the vanishing terms
Kevin Jue committed on Nov 1, 2022
ab164af
K
got plonk.evalVanishingPoly working
Kevin Jue committed on Oct 31, 2022
ef02b44
K
fixed bugs
Kevin Jue committed on Oct 28, 2022
857fcf6
K
fixed some bugs
Kevin Jue committed on Oct 28, 2022
1a1406e
K
added plonk test file
Kevin Jue committed on Oct 28, 2022
4262ff1
K
edited DeserializeCommonCircuitData to return CommonCircuitData; added plonkAlpha and plonkZeta challenge test cases
Kevin Jue committed on Oct 28, 2022
96dc2c2
K
plonk verification circuit in progress
Kevin Jue committed on Oct 28, 2022
9462d19
K
added quadratic extension circuits
Kevin Jue committed on Oct 28, 2022
67692a6
J
Merge pull request #11 from succinctlabs/challenger Challenger
John Guibas committed on Oct 10, 2022
e5f455f
J
Merge pull request #10 from succinctlabs/challenger Challenger
John Guibas committed on Oct 10, 2022
9fa7790
J
Merge pull request #9 from succinctlabs/challenger public_inputs_hash and challenge observe for fiat shamir
John Guibas committed on Oct 10, 2022
57e664f
J
Merge pull request #8 from succinctlabs/john/add-poseidon rename test
John Guibas committed on Oct 7, 2022
ac2e58f
J
Merge pull request #7 from succinctlabs/john/add-poseidon goldilocks and poseidon
John Guibas committed on Oct 7, 2022
4e4bdb7
J
Merge pull request #6 from succinctlabs/signature Signature
Jacob Jackson committed on Oct 7, 2022
7d2af3d
J
Merge pull request #5 from succinctlabs/sha512 Sha512
Jacob Jackson committed on Oct 4, 2022
ef9cc0d
p
Merge pull request #4 from succinctlabs/scalar-mult Add scalar multiplication
puma314 committed on Oct 3, 2022
645334c
J
Merge pull request #3 from succinctlabs/basic-edwards-curve Basic edwards curve code
Jacob Jackson committed on Oct 3, 2022
9ed586f
p
Merge pull request #2 from succinctlabs/uma/add-ed25519 Added reference ed25519
puma314 committed on Oct 3, 2022
f3c4731
p
Merge pull request #1 from succinctlabs/master Initial commit
puma314 committed on Oct 2, 2022
0270e48
p
Initial commit
puma314 committed on Oct 2, 2022
172c61d
J
Merge remote-tracking branch 'origin/main'
Jacob Jackson committed on Oct 2, 2022
858a3cc
J
switch to gnark develop branch
Jacob Jackson committed on Oct 2, 2022
b5812e9
J
initial example working
Jacob Jackson committed on Oct 2, 2022
96cd66d
p
Added
puma314 committed on Oct 3, 2022
1f850e7
J
basic edwards curve code
Jacob Jackson committed on Oct 3, 2022
1bdc344
J
add scalar multiplication
Jacob Jackson committed on Oct 3, 2022
eb72b54
J
rename
Jacob Jackson committed on Oct 4, 2022
39247e8
J
remove old code
Jacob Jackson committed on Oct 4, 2022
6156802
J
remove comments from original python
Jacob Jackson committed on Oct 4, 2022
105839d
J
port python implementation
Jacob Jackson committed on Oct 4, 2022
d4401cf
J
get test running
Jacob Jackson committed on Oct 4, 2022
5bb4de6
p
Compiles
puma314 committed on Oct 3, 2022
f7d1968
J
Merge branch 'sha-scaffold' of github.com:succinctlabs/gnark-ed25519 into sha-scaffold
Jacob Jackson committed on Oct 4, 2022
543e78c
J
write binsum
Jacob Jackson committed on Oct 4, 2022
4fe5acc
p
Merge branch 'sha-scaffold' of github.com:succinctlabs/gnark-ed25519 into sha-scaffold
puma314 committed on Oct 3, 2022
793b683
p
Added first half of templates
puma314 committed on Oct 3, 2022
6262ca1
J
sha scaffold
Jacob Jackson committed on Oct 3, 2022
bbab641
J
draft sha ops
Jacob Jackson committed on Oct 4, 2022
21c4623
p
Fixed compile errors
puma314 committed on Oct 3, 2022
8726a77
J
get signature working
Jacob Jackson committed on Oct 7, 2022
52dade9
J
remove check that they say is unnecessary
Jacob Jackson committed on Oct 5, 2022
d61e54c
J
minor
Jacob Jackson committed on Oct 5, 2022
ad21fd7
J
finish eddsa
Jacob Jackson committed on Oct 5, 2022
06582cb
J
finish eddsa draft
Jacob Jackson committed on Oct 5, 2022
6573397
j
goldilocks and poseidon
jtguibas committed on Oct 7, 2022
96bfd45
j
rename test
jtguibas committed on Oct 7, 2022
6e48d2b
j
added public inputs hash test, challenger test
jtguibas committed on Oct 10, 2022
cae5d3b
J
strip out comments from original code
Jacob Jackson committed on Oct 8, 2022
8798b43
J
challenger
Jacob Jackson committed on Oct 8, 2022
e9f22ed
j
broken challenge array
jtguibas committed on Oct 10, 2022
df3f808
j
fri challenges
jtguibas committed on Oct 10, 2022
e9f194c
j
deserialization
jtguibas committed on Oct 10, 2022
84b123d
j
workign deserialization of proof
jtguibas committed on Oct 10, 2022
fccd386
j
new field
jtguibas committed on Oct 10, 2022
831eb8b
j
small refactor of names
jtguibas committed on Oct 10, 2022
a058df6
j
structs and challenges
jtguibas committed on Oct 10, 2022
7367106
j
add structs
jtguibas committed on Oct 10, 2022
34cecba
j
robust testcases and more data
jtguibas committed on Oct 10, 2022
1b92925
j
changes...
jtguibas committed on Oct 10, 2022
51b9874
N
generate proof challenges instead of receiving through JSON
Nicholas Ward committed on May 1, 2023
2d7f5ec
N
fix
Nicholas Ward committed on Apr 27, 2023
2acec50
N
deserialize ProofChallenges (now works with plonky2 randomizing PI wires)
Nicholas Ward committed on Apr 26, 2023
d680114
N
don't need challenges serialized
Nicholas Ward committed on Apr 12, 2023
9a91db9
N
i - s, not s - i
Nicholas Ward committed on Apr 12, 2023
6bfca5b
N
fixes, cleanup, and deserialize ProofChallenges
Nicholas Ward committed on Apr 12, 2023
f208528
N
fix
Nicholas Ward committed on Apr 6, 2023
219e635
N
fix
Nicholas Ward committed on Apr 6, 2023
85283a0
N
deserialize selector info
Nicholas Ward committed on Apr 6, 2023
b8a7d44
N
fix gate ID parsing, and verbose error
Nicholas Ward committed on Apr 6, 2023
4be4b48
N
gate deserialization, ArithmeticGate, ConstantGate
Nicholas Ward committed on Apr 6, 2023
9a51b67
N
moving QuadraticExtension to field
Nicholas Ward committed on Apr 6, 2023
f96647a
N
fixes
Nicholas Ward committed on Apr 6, 2023
ad8e851
N
Poseidon extension function versions, and finished PoseidonGate
Nicholas Ward committed on Apr 6, 2023
f1dc02d
N
oops included gate files
Nicholas Ward committed on Apr 5, 2023
e1ab30f
N
initial work on PoseidonGate
Nicholas Ward committed on Apr 5, 2023
64456ee
N
updates: included evaluateGateConstraints
Nicholas Ward committed on Apr 5, 2023
c0168a9
N
uint64
Nicholas Ward committed on Apr 4, 2023
58914e8
N
finished evaluateGateConstraints
Nicholas Ward committed on Apr 4, 2023
4914844
N
no more gate EvalFiltered
Nicholas Ward committed on Apr 4, 2023
098cb42
N
initial work: gate interface and PublicInput
Nicholas Ward committed on Apr 4, 2023
7091e1e
N
remove unused JSON file
Nicholas Ward committed on May 11, 2023
70e24b1
J
Fix go mod dependencies + goldilocks fixes
John Guibas committed on Jun 20, 2023
37984c5