arnaucube/gnark-plonky2-verifier
1
0
Fork 0
mirror of https://github.com/arnaucube/gnark-plonky2-verifier.git synced 2026-01-11 16:41:32 +01:00
Code Issues Projects Releases Wiki Activity

Commit Graph

  • 02979848ab update circuit proof to be private witness & commoncircuitdata constant private-witness arnaucube 2025-10-03 08:10:55 +00:00
  • 853a273aa9 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) main arnaucube 2025-08-15 16:06:08 +00:00
  • 1d96750760 update goldilocks generators to the plonky2's updated ones at plonky2's PR#1579 (https://github.com/0xPolygonZero/plonky2/pull/1579) arnaucube 2025-08-15 15:13:03 +00:00
  • 7025b2efd6 feat: add veridise audit (#50) Matt Stam 2024-02-15 16:07:24 -08:00
  • bc87536ad4 feat: Add trusted setup via AZTEC Ignition Ceremony data (#48) Dimo Dimov 2024-02-16 01:54:41 +02:00
  • c01f530fe1 fix: Support range checking non aligned bitwidth values (#47) Kevin Jue 2024-01-04 13:56:13 -08:00
  • c82e6f3747 Merge pull request #44 from succinctlabs/kevjue/bit_decomp_range_checker Kevin Jue 2024-01-02 14:37:00 -08:00
  • b064847007 Merge pull request #42 from succinctlabs/kevjue/audit_fixes Kevin Jue 2024-01-02 14:36:19 -08:00
  • 503429f92f Merge pull request #45 from succinctlabs/kevjue/assert_leading_zeros_optimizations Kevin Jue 2024-01-02 13:40:14 -08:00
  • d241f54f48 address veridise feedback for V-SCT-VUL-007 and V-SCT-VUL-011 (hasInv needed to be constrained) Kevin Jue 2023-12-26 07:49:55 -08:00
  • daad394f73 constraint optimizations for assertLeadingZeros Kevin Jue 2023-12-22 11:42:53 -08:00
  • 1a0372621c removed Exp in goldilocks/base.go per V-SCT-VUL-016 Kevin Jue 2023-12-21 14:20:23 -08:00
  • 9be0171580 added support to optionally use bit decompose range checker Kevin Jue 2023-12-21 12:23:28 -08:00
  • f71795a697 fix for V-SCT-VUL-006 and V-SCT-VUL-012 Kevin Jue 2023-12-19 15:49:01 -08:00
  • 8567f335cb fix for V-SCT-VUL-033 Kevin Jue 2023-12-19 13:31:36 -08:00
  • 9e6d08b99c fix for V-SCT-VUL-032 Kevin Jue 2023-12-19 13:27:00 -08:00
  • 49511611b5 fix for V-SCT-VUL-031 Kevin Jue 2023-12-19 13:24:27 -08:00
  • e3eff27eb1 fix for V-SCT-VUL-030 Kevin Jue 2023-12-19 13:06:15 -08:00
  • 06f91e4465 fix for V-SCT-VUL-029 Kevin Jue 2023-12-19 13:00:22 -08:00
  • de0ff4f698 fix for V-SCT-VUL-028 Kevin Jue 2023-12-19 12:25:29 -08:00
  • f256ca69f3 fix for V-SCT-VUL-027 Kevin Jue 2023-12-19 12:22:19 -08:00
  • 40d71e9e29 fix for V-SCT-VUL-025 Kevin Jue 2023-12-19 11:07:36 -08:00
  • 7c7a01a395 fix for V-SCT-VUL-024 Kevin Jue 2023-12-19 11:04:30 -08:00
  • 888b247e02 fix for V-SCT-VUL-023 Kevin Jue 2023-12-19 10:56:25 -08:00
  • 318c3ce9de fix for V-SCT-VUL-022 Kevin Jue 2023-12-19 10:51:43 -08:00
  • cc064aeb3e fix for V-SCT-VUL-021 Kevin Jue 2023-12-19 09:46:19 -08:00
  • 30d73dacea fix for V-SCT-VUL-020 Kevin Jue 2023-12-18 18:31:56 -08:00
  • 0f6466c047 fix for V-SCT-VUL-018 Kevin Jue 2023-12-18 18:26:42 -08:00
  • 2fab6a94b0 fix for V-SCT-VUL-017 Kevin Jue 2023-12-18 18:03:48 -08:00
  • ac49898dd1 fix for V-SCT-VUL-016 Kevin Jue 2023-12-18 18:02:01 -08:00
  • 96171410b0 fix for V-SCT-VUL-015 Kevin Jue 2023-12-18 17:58:56 -08:00
  • 2043890a76 fix for V-SCT-VUL-014 Kevin Jue 2023-12-18 17:23:58 -08:00
  • 5dd6da255e fix for V-SCT-VUL-013 Kevin Jue 2023-12-18 17:19:15 -08:00
  • 5766879636 fix for V-SCT-VUL-00 and V-SCT-VUL-010 Kevin Jue 2023-12-18 17:09:06 -08:00
  • c0cbac8423 fix for V-SCT-VUL-008 Kevin Jue 2023-12-18 16:29:57 -08:00
  • cc51ec1815 fix for V-SCT-VUL-007 and V-SCT-VUL-011 Kevin Jue 2023-12-18 16:09:08 -08:00
  • 297a82025f fix for V-SCT-VUL-002 and V-SCT-VUL-003 Kevin Jue 2023-12-18 15:42:09 -08:00
  • 6af5b0ae93 fix for V-SCT-VUL-005 Kevin Jue 2023-12-18 13:13:13 -08:00
  • a6707ed714 fix for V-SCT-VUL-004 Kevin Jue 2023-12-18 13:04:43 -08:00
  • 2c361fa5e3 fix for V-SCT-VUL-003 Kevin Jue 2023-12-18 12:54:36 -08:00
  • 85d20ce656 fix for V-SCT-VUL-002 Kevin Jue 2023-12-18 12:46:53 -08:00
  • 9e963933f9 fix for V-SCT-VUL-001 Kevin Jue 2023-12-18 12:35:12 -08:00
  • 89b5a01e4b feat: Plonk optimizations (#39) puma314 2023-10-13 14:00:54 -07:00
  • 940c81b212 Significant refactor and all tests passing, as well as optimized range check for Goldilocks (#37) puma314 2023-10-11 18:02:46 -07:00
  • 13624e4daf Merge pull request #36 from succinctlabs/revert-35-uma/optimizations John Guibas 2023-10-11 17:43:23 -07:00
  • 0c677ddd0d Revert "Range check optimizations" puma314 2023-10-11 17:39:52 -07:00
  • c23b174535 Merge pull request #35 from succinctlabs/uma/optimizations puma314 2023-10-11 17:39:19 -07:00
  • 8b96b0fd87 Removed extraneous range check Uma Roy 2023-10-11 17:38:57 -07:00
  • 4841d382d7 Modified another name Uma Roy 2023-10-11 17:33:09 -07:00
  • 19da211317 rename another file Uma Roy 2023-10-11 15:23:53 -07:00
  • ca5d0904d1 benchmark works now Uma Roy 2023-10-11 15:20:42 -07:00
  • 3aef7954ed All tests pass Uma Roy 2023-10-11 14:53:34 -07:00
  • b173b28649 checkpoint Uma Roy 2023-10-11 12:20:48 -07:00
  • 5d53737841 Moved to variables Uma Roy 2023-10-11 12:01:26 -07:00
  • 3b8611c6ac Rename back Uma Roy 2023-10-11 11:37:45 -07:00
  • d8b919a403 Fixed underconstrained in range check and added dummy mode to benchmark.go Uma Roy 2023-10-11 00:28:20 -07:00
  • e026e73359 Added reduce to benchmark Uma Roy 2023-10-10 22:56:44 -07:00
  • 90e2f5f1b1 Added benchmark Uma Roy 2023-10-10 22:54:16 -07:00
  • 1c0235b35a Renamed symbol a bunch in goldilocks, goldilocks tests pass Uma Roy 2023-10-10 22:32:54 -07:00
  • 07cf7bd857 Upgraded dependencies Uma Roy 2023-10-10 22:15:01 -07:00
  • 7bd0035e65 range check inputted plonky2 proof (#29) Kevin Jue 2023-07-24 16:18:37 -07:00
  • b670530e7f Use optimized goldilocks in codebase (#26) John Guibas 2023-07-24 16:08:17 -07:00
  • 103c7ca47d proof with small public input (#28) Kevin Jue 2023-06-26 12:09:14 -07:00
  • 867b3abd7c serialize proof and witness (#27) Kevin Jue 2023-06-22 14:59:15 -07:00
  • fc45e7fb70 Merge pull request #25 from succinctlabs/john/fix-dependencies John Guibas 2023-06-20 16:53:41 -07:00
  • 37984c52c7 Fix go mod dependencies + goldilocks fixes John Guibas 2023-06-20 16:03:41 -07:00
  • 71cfa20fcb output proof (#24) Kevin Jue 2023-06-19 08:27:19 -07:00
  • 9ce7bb7dbb Step test case with public inputs (#23) Kevin Jue 2023-06-17 19:44:20 -07:00
  • 15b7dcbcdb optimized goldilocks (#22) Kevin Jue 2023-06-08 14:22:42 -07:00
  • ecfc4a7b2b added serialization support for benchmark.go Kevin Jue 2023-06-07 11:33:18 -07:00
  • b3a3aa851b cleaned up qe api (#21) Kevin Jue 2023-06-06 17:56:10 -07:00
  • a516925ad8 Poseidon BN128 (#20) Kevin Jue 2023-06-06 17:36:51 -07:00
  • 302b5f5bf1 Upgrade to gnark 0.8 (#18) Kevin Jue 2023-05-25 07:39:06 -07:00
  • cf84b032e2 Rearranged files (#17) Kevin Jue 2023-05-19 19:49:14 -07:00
  • a415c95f6f Refactor gate deserialization (#16) Kevin Jue 2023-05-18 15:30:32 -07:00
  • 5bb7cc6411 Coset Interpolation Gate (#15) Kevin Jue 2023-05-18 13:06:30 -07:00
  • 67aa8b9d77 exponentiation gate (#14) Kevin Jue 2023-05-17 18:28:34 -07:00
  • 3f6e2ade98 reducing gate (#13) Kevin Jue 2023-05-17 18:09:30 -07:00
  • 2823cfbbcb reducing extension gate (#12) Kevin Jue 2023-05-17 17:40:43 -07:00
  • c98d65b48a multiplication extension gate (#11) Kevin Jue 2023-05-17 17:05:43 -07:00
  • ea96e7a176 Arithmetic Extension Gate (#10) Kevin Jue 2023-05-17 16:52:42 -07:00
  • 219a2ea61b Consolidate gate test cases (#9) Kevin Jue 2023-05-16 21:35:02 -07:00
  • ccb828bdb1 Random Access Gate (#8) Kevin Jue 2023-05-16 17:11:01 -07:00
  • a0d5ad37de Base sum gate (#7) Kevin Jue 2023-05-16 11:13:42 -07:00
  • 11f5ee28c6 Circuit modifications for recent Plonky2 changes (#5) Kevin Jue 2023-05-11 15:31:32 -07:00
  • 01f26f5158 Merge pull request #4 from succinctlabs/npward-plonky2-gates Kevin Jue 2023-05-11 14:18:13 -07:00
  • 70e24b1289 remove unused JSON file Nicholas Ward 2023-05-11 09:36:09 -07:00
  • 2fbbcec029 Merge pull request #2 from succinctlabs/npward-plonky2-gates Kevin Jue 2023-05-10 09:55:21 -07:00
  • 2d7f5ecf50 generate proof challenges instead of receiving through JSON Nicholas Ward 2023-05-01 10:26:45 -07:00
  • 2acec50b96 fix Nicholas Ward 2023-04-27 12:05:07 -07:00
  • d6801149f2 deserialize ProofChallenges (now works with plonky2 randomizing PI wires) Nicholas Ward 2023-04-26 16:05:23 -07:00
  • 9a91db901d don't need challenges serialized Nicholas Ward 2023-04-12 09:25:51 -07:00
  • 6bfca5badb i - s, not s - i Nicholas Ward 2023-04-12 09:16:24 -07:00
  • f20852831e fixes, cleanup, and deserialize ProofChallenges Nicholas Ward 2023-04-12 09:13:31 -07:00
  • 219e6357f3 fix Nicholas Ward 2023-04-06 15:12:59 -07:00
  • 85283a0662 fix Nicholas Ward 2023-04-06 14:40:39 -07:00
  • b8a7d44fa9 deserialize selector info Nicholas Ward 2023-04-06 14:19:18 -07:00
  • 4be4b48391 fix gate ID parsing, and verbose error Nicholas Ward 2023-04-06 14:14:11 -07:00
  • 9a51b67aca gate deserialization, ArithmeticGate, ConstantGate Nicholas Ward 2023-04-06 13:39:23 -07:00
  • f96647afd6 moving QuadraticExtension to field Nicholas Ward 2023-04-06 12:00:35 -07:00