logos-storage/gnark-plonky2-verifier
1
0
Fork 0
mirror of https://github.com/logos-storage/gnark-plonky2-verifier.git synced 2026-01-02 13:13:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

Commit Graph

  • 70dc4f535d update gnark dependency main M Alghazwi 2025-06-04 11:31:53 +02:00
  • 0fde8cf39b update README.md M Alghazwi 2025-05-27 10:51:45 +02:00
  • 97538c7b57 rename imports M Alghazwi 2025-05-27 10:51:28 +02:00
  • b5eec1d2c9 change the testdata to plonky2 v1.0.2 output M Alghazwi 2025-05-27 10:28:45 +02:00
  • ec39e03b10 add observe the FRI config in the challenger M Alghazwi 2025-05-27 10:27:40 +02:00
  • 51e3f0ffeb apply goldilocks changes in plonky2 v1.0.2 M Alghazwi 2025-05-27 10:26:53 +02: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