Commit Graph
-
0297984(private-witness) update circuit proof to be private witness & commoncircuitdata constant by 2025-10-03 08:10:55 +0000 -
853a273(HEAD -> main) 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) by 2025-08-15 16:06:08 +0000 -
1d96750update goldilocks generators to the plonky2's updated ones at plonky2's PR#1579 (https://github.com/0xPolygonZero/plonky2/pull/1579) by 2025-08-15 15:13:03 +0000 -
7025b2efeat: add veridise audit (#50) by 2024-02-15 16:07:24 -0800 -
bc87536feat: Add trusted setup via AZTEC Ignition Ceremony data (#48) by 2024-02-16 01:54:41 +0200 -
c01f530fix: Support range checking non aligned bitwidth values (#47) by 2024-01-04 13:56:13 -0800 -
c82e6f3Merge pull request #44 from succinctlabs/kevjue/bit_decomp_range_checker by 2024-01-02 14:37:00 -0800 -
b064847Merge pull request #42 from succinctlabs/kevjue/audit_fixes by 2024-01-02 14:36:19 -0800 -
503429fMerge pull request #45 from succinctlabs/kevjue/assert_leading_zeros_optimizations by 2024-01-02 13:40:14 -0800 -
d241f54address veridise feedback for V-SCT-VUL-007 and V-SCT-VUL-011 (hasInv needed to be constrained) by 2023-12-26 07:49:55 -0800 -
daad394constraint optimizations for assertLeadingZeros by 2023-12-22 11:42:53 -0800 -
1a03726removed Exp in goldilocks/base.go per V-SCT-VUL-016 by 2023-12-21 14:20:23 -0800 -
9be0171added support to optionally use bit decompose range checker by 2023-12-21 12:23:28 -0800 -
f71795afix for V-SCT-VUL-006 and V-SCT-VUL-012 by 2023-12-19 15:49:01 -0800 -
8567f33fix for V-SCT-VUL-033 by 2023-12-19 13:31:36 -0800 -
9e6d08bfix for V-SCT-VUL-032 by 2023-12-19 13:27:00 -0800 -
4951161fix for V-SCT-VUL-031 by 2023-12-19 13:24:27 -0800 -
e3eff27fix for V-SCT-VUL-030 by 2023-12-19 13:06:15 -0800 -
06f91e4fix for V-SCT-VUL-029 by 2023-12-19 13:00:22 -0800 -
de0ff4ffix for V-SCT-VUL-028 by 2023-12-19 12:25:29 -0800 -
f256ca6fix for V-SCT-VUL-027 by 2023-12-19 12:22:19 -0800 -
40d71e9fix for V-SCT-VUL-025 by 2023-12-19 11:07:36 -0800 -
7c7a01afix for V-SCT-VUL-024 by 2023-12-19 11:04:30 -0800 -
888b247fix for V-SCT-VUL-023 by 2023-12-19 10:56:25 -0800 -
318c3cefix for V-SCT-VUL-022 by 2023-12-19 10:51:43 -0800 -
cc064aefix for V-SCT-VUL-021 by 2023-12-19 09:46:19 -0800 -
30d73dafix for V-SCT-VUL-020 by 2023-12-18 18:31:56 -0800 -
0f6466cfix for V-SCT-VUL-018 by 2023-12-18 18:26:42 -0800 -
2fab6a9fix for V-SCT-VUL-017 by 2023-12-18 18:03:48 -0800 -
ac49898fix for V-SCT-VUL-016 by 2023-12-18 18:02:01 -0800 -
9617141fix for V-SCT-VUL-015 by 2023-12-18 17:58:56 -0800 -
2043890fix for V-SCT-VUL-014 by 2023-12-18 17:23:58 -0800 -
5dd6da2fix for V-SCT-VUL-013 by 2023-12-18 17:19:15 -0800 -
5766879fix for V-SCT-VUL-00 and V-SCT-VUL-010 by 2023-12-18 17:09:06 -0800 -
c0cbac8fix for V-SCT-VUL-008 by 2023-12-18 16:29:57 -0800 -
cc51ec1fix for V-SCT-VUL-007 and V-SCT-VUL-011 by 2023-12-18 16:09:08 -0800 -
297a820fix for V-SCT-VUL-002 and V-SCT-VUL-003 by 2023-12-18 15:42:09 -0800 -
6af5b0afix for V-SCT-VUL-005 by 2023-12-18 13:13:13 -0800 -
a6707edfix for V-SCT-VUL-004 by 2023-12-18 13:04:43 -0800 -
2c361fafix for V-SCT-VUL-003 by 2023-12-18 12:54:36 -0800 -
85d20cefix for V-SCT-VUL-002 by 2023-12-18 12:46:53 -0800 -
9e96393fix for V-SCT-VUL-001 by 2023-12-18 12:35:12 -0800 -
89b5a01feat: Plonk optimizations (#39) by 2023-10-13 14:00:54 -0700 -
940c81bSignificant refactor and all tests passing, as well as optimized range check for Goldilocks (#37) by 2023-10-11 18:02:46 -0700 -
13624e4Merge pull request #36 from succinctlabs/revert-35-uma/optimizations by 2023-10-11 17:43:23 -0700 -
0c677ddRevert "Range check optimizations" by 2023-10-11 17:39:52 -0700 -
c23b174Merge pull request #35 from succinctlabs/uma/optimizations by 2023-10-11 17:39:19 -0700 -
8b96b0fRemoved extraneous range check by 2023-10-11 17:38:57 -0700 -
4841d38Modified another name by 2023-10-11 17:33:09 -0700 -
19da211rename another file by 2023-10-11 15:23:53 -0700 -
ca5d090benchmark works now by 2023-10-11 15:20:42 -0700 -
3aef795All tests pass by 2023-10-11 14:53:34 -0700 -
b173b28checkpoint by 2023-10-11 12:20:48 -0700 -
5d53737Moved to variables by 2023-10-11 12:01:26 -0700 -
3b8611cRename back by 2023-10-11 11:37:45 -0700 -
d8b919aFixed underconstrained in range check and added dummy mode to benchmark.go by 2023-10-11 00:28:20 -0700 -
e026e73Added reduce to benchmark by 2023-10-10 22:56:44 -0700 -
90e2f5fAdded benchmark by 2023-10-10 22:54:16 -0700 -
1c0235bRenamed symbol a bunch in goldilocks, goldilocks tests pass by 2023-10-10 22:32:54 -0700 -
07cf7bdUpgraded dependencies by 2023-10-10 22:15:01 -0700 -
7bd0035range check inputted plonky2 proof (#29) by 2023-07-24 16:18:37 -0700 -
b670530Use optimized goldilocks in codebase (#26) by 2023-07-24 16:08:17 -0700 -
103c7caproof with small public input (#28) by 2023-06-26 12:09:14 -0700 -
867b3abserialize proof and witness (#27) by 2023-06-22 14:59:15 -0700 -
fc45e7fMerge pull request #25 from succinctlabs/john/fix-dependencies by 2023-06-20 16:53:41 -0700 -
37984c5Fix go mod dependencies + goldilocks fixes by 2023-06-20 16:03:41 -0700 -
71cfa20output proof (#24) by 2023-06-19 08:27:19 -0700 -
9ce7bb7Step test case with public inputs (#23) by 2023-06-17 19:44:20 -0700 -
15b7dcboptimized goldilocks (#22) by 2023-06-08 14:22:42 -0700 -
ecfc4a7added serialization support for benchmark.go by 2023-06-07 11:33:18 -0700 -
b3a3aa8cleaned up qe api (#21) by 2023-06-06 17:56:10 -0700 -
a516925Poseidon BN128 (#20) by 2023-06-06 17:36:51 -0700 -
302b5f5Upgrade to gnark 0.8 (#18) by 2023-05-25 07:39:06 -0700 -
cf84b03Rearranged files (#17) by 2023-05-19 19:49:14 -0700 -
a415c95Refactor gate deserialization (#16) by 2023-05-18 15:30:32 -0700 -
5bb7cc6Coset Interpolation Gate (#15) by 2023-05-18 13:06:30 -0700 -
67aa8b9exponentiation gate (#14) by 2023-05-17 18:28:34 -0700 -
3f6e2adreducing gate (#13) by 2023-05-17 18:09:30 -0700 -
2823cfbreducing extension gate (#12) by 2023-05-17 17:40:43 -0700 -
c98d65bmultiplication extension gate (#11) by 2023-05-17 17:05:43 -0700 -
ea96e7aArithmetic Extension Gate (#10) by 2023-05-17 16:52:42 -0700 -
219a2eaConsolidate gate test cases (#9) by 2023-05-16 21:35:02 -0700 -
ccb828bRandom Access Gate (#8) by 2023-05-16 17:11:01 -0700 -
a0d5ad3Base sum gate (#7) by 2023-05-16 11:13:42 -0700 -
11f5ee2Circuit modifications for recent Plonky2 changes (#5) by 2023-05-11 15:31:32 -0700 -
01f26f5Merge pull request #4 from succinctlabs/npward-plonky2-gates by 2023-05-11 14:18:13 -0700 -
70e24b1remove unused JSON file by 2023-05-11 09:36:09 -0700 -
2fbbcecMerge pull request #2 from succinctlabs/npward-plonky2-gates by 2023-05-10 09:55:21 -0700 -
2d7f5ecgenerate proof challenges instead of receiving through JSON by 2023-05-01 10:26:45 -0700 -
2acec50fix by 2023-04-27 12:05:07 -0700 -
d680114deserialize ProofChallenges (now works with plonky2 randomizing PI wires) by 2023-04-26 16:05:23 -0700 -
9a91db9don't need challenges serialized by 2023-04-12 09:25:51 -0700 -
6bfca5bi - s, not s - i by 2023-04-12 09:16:24 -0700 -
f208528fixes, cleanup, and deserialize ProofChallenges by 2023-04-12 09:13:31 -0700 -
219e635fix by 2023-04-06 15:12:59 -0700 -
85283a0fix by 2023-04-06 14:40:39 -0700 -
b8a7d44deserialize selector info by 2023-04-06 14:19:18 -0700 -
4be4b48fix gate ID parsing, and verbose error by 2023-04-06 14:14:11 -0700 -
9a51b67gate deserialization, ArithmeticGate, ConstantGate by 2023-04-06 13:39:23 -0700 -
f96647amoving QuadraticExtension to field by 2023-04-06 12:00:35 -0700