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

Commit history

a0d5ad37de88ef9dec68db23a134350f264ead1c
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