Commit history
a
add observer for FriConfig & FriParams in verifier circuit, to match the updated version of plonky2 at PR#1678 (https://github.com/0xPolygonZero/plonky2/pull/1678)
853a273arnaucube committed on Aug 15, 2025
a
update goldilocks generators to the plonky2's updated ones at plonky2's PR#1579 (https://github.com/0xPolygonZero/plonky2/pull/1579)
1d96750arnaucube committed on Aug 15, 2025
D
feat: Add trusted setup via AZTEC Ignition Ceremony data (#48)
bc87536Dimo Dimov committed on Feb 16, 2024
K
Merge pull request #44 from succinctlabs/kevjue/bit_decomp_range_checker
feat: added support to optionally use bit decompose range checker
c82e6f3Kevin Jue committed on Jan 2, 2024
K
Merge pull request #42 from succinctlabs/kevjue/audit_fixes
fix: Veridise audit fixes
b064847Kevin Jue committed on Jan 2, 2024
p
feat: Plonk optimizations (#39)
* Fixed poseidion hash TOOD in fri/fri.go
* optimized goldilocks
* Another optimization
* Down to 16 million
* Finished TODOs
89b5a01puma314 committed on Oct 13, 2023
p
Significant refactor and all tests passing, as well as optimized range check for Goldilocks (#37)
940c81bpuma314 committed on Oct 11, 2023
J
Merge pull request #36 from succinctlabs/revert-35-uma/optimizations
13624e4John Guibas committed on Oct 11, 2023
p
Merge pull request #35 from succinctlabs/uma/optimizations
Range check optimizations
c23b174puma314 committed on Oct 11, 2023
J
Merge pull request #25 from succinctlabs/john/fix-dependencies
fix: remove local replaement with gnark dependencies based on develop branch
fc45e7fJohn Guibas committed on Jun 20, 2023
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
15b7dcbKevin Jue committed on Jun 8, 2023
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
302b5f5Kevin Jue committed on May 25, 2023
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
cf84b03Kevin Jue committed on May 19, 2023
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
a415c95Kevin Jue committed on May 18, 2023
K
Coset Interpolation Gate (#15)
* helper functions for coset_interpolation_gate
* coset interpolation gate working
* hard coded the coset gate (for now)
5bb7cc6Kevin Jue committed on May 18, 2023
K
Arithmetic Extension Gate (#10)
* initial commit for arithmetic extension gate
* fixed bug
* added regex for arithmeticExtensionGate
ea96e7aKevin Jue committed on May 17, 2023
K
Consolidate gate test cases (#9)
* consolidated gate tests
* added recursive step circuit info
* added all the test cases for the recursive step gates
219a2eaKevin Jue committed on May 16, 2023
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
ccb828bKevin Jue committed on May 16, 2023
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
a0d5ad3Kevin Jue committed on May 16, 2023
K
Merge pull request #4 from succinctlabs/npward-plonky2-gates
remove unused JSON file
01f26f5Kevin Jue committed on May 11, 2023
K
Merge pull request #2 from succinctlabs/npward-plonky2-gates
Plonky2 Gates
2fbbcecKevin Jue committed on May 10, 2023
K
added comment for where the custom gate constraints logic should be implemented
57b7937Kevin Jue committed on Mar 31, 2023
K
arity verification check with incomplete compute_evaluation
8797fd1Kevin Jue committed on Nov 14, 2022
K
expanded fri_test.go and implemented more for the fri verifier
da80afaKevin Jue committed on Nov 7, 2022
K
edited DeserializeCommonCircuitData to return CommonCircuitData; added plonkAlpha and plonkZeta challenge test cases
96dc2c2Kevin Jue committed on Oct 28, 2022
J
Merge pull request #11 from succinctlabs/challenger
Challenger
e5f455fJohn Guibas committed on Oct 10, 2022
J
Merge pull request #10 from succinctlabs/challenger
Challenger
9fa7790John Guibas committed on Oct 10, 2022
J
Merge pull request #9 from succinctlabs/challenger
public_inputs_hash and challenge observe for fiat shamir
57e664fJohn Guibas committed on Oct 10, 2022
J
Merge pull request #8 from succinctlabs/john/add-poseidon
rename test
ac2e58fJohn Guibas committed on Oct 7, 2022
J
Merge pull request #7 from succinctlabs/john/add-poseidon
goldilocks and poseidon
4e4bdb7John Guibas committed on Oct 7, 2022
J
Merge pull request #6 from succinctlabs/signature
Signature
7d2af3dJacob Jackson committed on Oct 7, 2022
p
Merge pull request #4 from succinctlabs/scalar-mult
Add scalar multiplication
645334cpuma314 committed on Oct 3, 2022
J
Merge pull request #3 from succinctlabs/basic-edwards-curve
Basic edwards curve code
9ed586fJacob Jackson committed on Oct 3, 2022
p
Merge pull request #2 from succinctlabs/uma/add-ed25519
Added reference ed25519
f3c4731puma314 committed on Oct 3, 2022
p
Merge pull request #1 from succinctlabs/master
Initial commit
0270e48puma314 committed on Oct 2, 2022
J
Merge branch 'sha-scaffold' of github.com:succinctlabs/gnark-ed25519 into sha-scaffold
543e78cJacob Jackson committed on Oct 4, 2022
p
Merge branch 'sha-scaffold' of github.com:succinctlabs/gnark-ed25519 into sha-scaffold
793b683puma314 committed on Oct 3, 2022
N
generate proof challenges instead of receiving through JSON
2d7f5ecNicholas Ward committed on May 1, 2023
N
deserialize ProofChallenges (now works with plonky2 randomizing PI wires)
d680114Nicholas Ward committed on Apr 26, 2023
N
Poseidon extension function versions, and finished PoseidonGate
f1dc02dNicholas Ward committed on Apr 6, 2023
U
Fixed underconstrained in range check and added dummy mode to benchmark.go
d8b919aUma Roy committed on Oct 11, 2023
U
Renamed symbol a bunch in goldilocks, goldilocks tests pass
1c0235bUma Roy committed on Oct 10, 2023
K
Merge pull request #45 from succinctlabs/kevjue/assert_leading_zeros_optimizations
perf: assertLeadingZeros constraint optimizations
503429fKevin Jue committed on Jan 2, 2024
K
address veridise feedback for V-SCT-VUL-007 and V-SCT-VUL-011 (hasInv needed to be constrained)
d241f54Kevin Jue committed on Dec 26, 2023
K
added support to optionally use bit decompose range checker
9be0171Kevin Jue committed on Dec 21, 2023