logos-storage/nim-groth16
1
0
Fork 0
mirror of https://github.com/logos-storage/nim-groth16.git synced 2026-07-20 23:49:47 +00:00
Code Issues Packages Projects Releases Wiki Activity

Commit Graph

  • 0a4836c307
         improve the dynamic README dynamic Balazs Komuves 2026-06-19 01:25:51 +02:00
  • 1f35ef18d2
         optimize the preprocessing by using the subgroup structure for the second IFFT-s in the convolution Balazs Komuves 2026-06-19 01:19:51 +02:00
  • ed363001e4
         V3, using a subgroup for the update. Unfortunately 1 more MSM than i expected... Balazs Komuves 2026-06-17 01:21:43 +02:00
  • e4fdbccca6
         concatenating all the remaining MSMs into one (that's always a bit faster) Balazs Komuves 2026-06-16 14:49:40 +02:00
  • 52858cb80f
         merge the two witness MSM-s into a single one Balazs Komuves 2026-06-16 13:50:28 +02:00
  • 2e2a8bcb35
         unify the two projection term MSM-s into a single one Balazs Komuves 2026-06-16 13:14:25 +02:00
  • 257e2e20f0
         preparation for multiple versions of the dynamic prover Balazs Komuves 2026-06-16 12:29:54 +02:00
  • e532d67046
         exporting R1CS files (for row reordering purposes) Balazs Komuves 2026-06-16 02:38:18 +02:00
  • a66865e5f7
         rewrote to Dynark-style cross-term computation (minus the sparse convolution stuff) Balazs Komuves 2026-06-16 00:34:59 +02:00
  • f3f8a0a82b
         first working (if not very efficient :) version of dynark-style dynamic proofs Balazs Komuves 2026-06-15 22:40:00 +02:00
  • 67d0126cf4
         row permutations (so that the final witness delta's image can be in a subgroup) Balazs Komuves 2026-06-15 19:25:45 +02:00
  • 159f8b78c4
         some sparse matrix stuff Balazs Komuves 2026-06-15 14:13:56 +02:00
  • 7b01f27529
         fix the failing projection term test (it was a single sign mistake...) Balazs Komuves 2026-06-15 02:02:34 +02:00
  • c189df8a15
         more WIP dynark stuff; the cross-term coefficients seem to work Balazs Komuves 2026-06-15 00:04:05 +02:00
  • 78ccb3c7c3
         very much WIP dynark preprocessing. Not working as of this moment. Balazs Komuves 2026-06-14 02:04:45 +02:00
  • 4a9fd030bd
         some refactor, useful additions, tests; as a preparation for dynamic proofs Balazs Komuves 2026-06-13 23:20:28 +02:00
  • eff53fa4eb
         convert some of the hack-ish "sanity checks" into regular tests Balazs Komuves 2026-06-13 15:48:35 +02:00
  • e6e0ba01b2
         move the group_fft module to be more consistent Balazs Komuves 2026-06-13 14:22:36 +02:00
  • f17c0389b9
         add some quick&dirty FFT benchmarks Balazs Komuves 2026-06-13 14:20:17 +02:00
  • 2231d800c7
         add group FFT Balazs Komuves 2026-06-13 13:29:07 +02:00
  • 1116e2791a
         improve NTT and add tests Balazs Komuves 2026-06-13 13:03:06 +02:00
  • beb56c2cd3
         Merge pull request #13 from logos-storage/fix/input-validations master Balazs Komuves 2026-06-09 10:08:42 +02:00
  • 66b45a046a
         avoid returning execptions for invalid proof point fix/input-validations munna0908 2026-06-09 13:32:25 +05:30
  • 3fce6c5a68
         avoid assert for input validations munna0908 2026-06-09 12:17:51 +05:30
  • 7dc831f0d7
         Merge pull request #12 from logos-storage/feat/refc-support Balazs Komuves 2026-06-06 17:02:56 +02:00
  • fc56b91393
         add tests to generate random proofs feat/refc-support munna0908 2026-05-07 15:53:36 +05:30
  • 704f0caed8
         code cleanup munna0908 2026-05-05 21:11:58 +05:30
  • 44f00726d8
         fix tests munna0908 2026-05-05 20:53:35 +05:30
  • 7d5826e9c0
         fix tests munna0908 2026-05-05 19:27:17 +05:30
  • afd479e822
         use SharedBuf to facilitate safe cross-GC boundary task spawning munna0908 2026-05-03 20:38:07 +05:30
  • aa4eb2b756
         fix a mistake in an explanatory comment Balazs Komuves 2026-05-01 02:31:19 +02:00
  • f876bd6dba
         remove a deprecated line accidentally left in Balazs Komuves 2026-05-01 00:41:10 +02:00
  • eb3d805ee0
         implement arkworks-compatible point compression Balazs Komuves 2026-04-30 23:10:00 +02:00
  • 1ba5c4a263
         hopefully fixes #10 Balazs Komuves 2026-04-23 17:29:31 +02:00
  • 5003f16e49
         fix a typo in polySub Balazs Komuves 2026-04-23 15:52:42 +02:00
  • 2ae270a807 Add comprehensive test suites aimendj 2026-01-29 12:43:03 +01:00
  • 0414f22208 fix(license): Add/Update license files for compliance license-compliance/update-licenses-2026-01-21 License Compliance Bot 2026-01-21 02:56:26 +00:00
  • fd2fc6c153
         remove some legacy code lines left over by accident Balazs Komuves 2026-01-16 14:13:02 +01:00
  • 73b5ae2734
         another convenience function (man, nim namespacing and scoping fucking sucks...) Balazs Komuves 2026-01-16 12:08:25 +01:00
  • 7a610c2217
         add a "makeWitness" convenience function Balazs Komuves 2026-01-16 11:50:33 +01:00
  • 3ddf4948f9
         initial support for "partial proofs" (precalculating based on a partial witness) Balazs Komuves 2026-01-15 22:41:56 +01:00
  • f7a4549d86
         remove downstream CI Balazs Komuves 2026-01-15 19:38:16 +01:00
  • 094d8b881d
         backport downstream changes from durability-labs (update to newer constantine versions) Balazs Komuves 2026-01-15 19:32:26 +01:00
  • 931437ccec
         resolve conflict in nimble file Balazs Komuves 2026-01-15 19:09:23 +01:00
  • e868373305 version 0.1.1 Mark Spanbroek 2025-12-17 16:34:06 +01:00
  • 1aa85c3ad8
         fix(nimble): ensure that constantine works in windows (#2) markspanbroek 2025-12-17 16:32:56 +01:00
  • 0adcf64b7b
         Release 0.1.0 Ben 2025-11-13 13:10:01 +01:00
  • 3ff657db48
         applies gc-safety to zkey parser Ben 2025-11-13 13:09:45 +01:00
  • bbfb4d5f7f
         Merge pull request #1 from durability-labs/raises-annotations ThatBen 2025-11-12 15:35:51 +01:00
  • 24149a74bd
         Merge a162bb8728aee1d65a7c357fb3ec4ede3e66e69b into 8dd99f1964e4ae14f1be312cb99abd940ec53963 markspanbroek 2025-07-02 16:31:04 +02:00
  • a162bb8728 feat: add {.raises.} annotations raises-annotations Mark Spanbroek 2025-07-02 16:29:16 +02:00
  • a9ff0e6374
         Merge 8dd99f1964e4ae14f1be312cb99abd940ec53963 into b3d5adf106a720278391c8abd2935047a8ecdaf8 markspanbroek 2025-07-02 14:19:31 +00:00
  • 8dd99f1964 feat!: pass in task pool instead of instantiating it ourselves taskpool-argument Mark Spanbroek 2025-07-02 16:15:19 +02:00
  • b3d5adf106 chore: add CI update-dependencies Mark Spanbroek 2025-07-02 15:21:50 +02:00
  • d087f450b5 fix: use move semantics to copy seq from other thread Mark Spanbroek 2025-07-02 14:23:52 +02:00
  • bef7c36ae7 fix: fix non-working test Mark Spanbroek 2025-07-02 12:19:51 +02:00
  • 7f66c7ce48 chore: update setInf for constantine 0.2.0 Mark Spanbroek 2025-07-01 10:00:02 +02:00
  • 0f2a84ec33 refactor: replace Fp etc shortcuts by full generic type Mark Spanbroek 2025-06-26 17:07:57 +02:00
  • e6e865a62e chore: disable non-compiling debug echo Mark Spanbroek 2025-06-26 16:19:18 +02:00
  • afc8d6174c chore: update types for constantine 0.2.0 Mark Spanbroek 2025-06-26 16:17:52 +02:00
  • e2e1c6b88f chore: update imports for constantine 0.2.0 Mark Spanbroek 2025-06-26 16:17:12 +02:00
  • c1af75cf25 chore: update to constantine 0.2.0 Mark Spanbroek 2025-06-26 16:16:29 +02:00
  • 434170541e
         mostly fixes to make it compile with latest constantine and codex integrate-with-codex Dmitriy Ryajov 2025-05-28 19:36:01 -06:00
  • 907ae6ed72
         wip feat/add-witness-generation Dmitriy Ryajov 2025-03-10 12:21:10 -06:00
  • f3042c4e00
         wip Dmitriy Ryajov 2025-03-08 11:53:20 -06:00
  • 5616a1c52f
         fix the multithreading failures by switching to arc Balazs Komuves 2024-03-04 09:27:12 +01:00
  • 0b7e5b912c print addresses of seqs taskpool-notes Jaremy Creechley 2024-03-02 16:44:54 -07:00
  • 4de5347c95 print addresses of seqs Jaremy Creechley 2024-03-02 16:43:52 -07:00
  • d7c7629518 change configs Jaremy Creechley 2024-03-02 16:43:36 -07:00
  • 1db1b0e239 taskpool 0.0.4 has some odd compilation issues, 0.0.5 seems to have fixed something Jaremy Creechley 2024-03-02 16:36:34 -07:00
  • d790dc3162
         do the three FFT/IFFT pairs in parallel Balazs Komuves 2024-02-29 20:35:16 +01:00
  • cfd30a045e
         optimized the NTT routines Balazs Komuves 2024-02-29 20:13:50 +01:00
  • 9d743247e9
         preliminary multithreading support (WIP; only for MSM right now) Balazs Komuves 2024-02-29 18:59:35 +01:00
  • 1ef1b040d6
         temporary workaround for the G2 MSM bug (this one seems to work correctly, but it is much slower) Balazs Komuves 2024-02-29 13:30:17 +01:00
  • 69594a90a8
         change the fake trusted setup option from -s to -u (to be compatible with the Haskell one; -s is intended for --silent) Balazs Komuves 2024-02-29 13:29:41 +01:00
  • 5c554e741c
         add --nomask option disabling the ZK masking (useful for debugging purposes) Balazs Komuves 2024-02-29 13:28:18 +01:00
  • e44551048a
         add more detailed timings (with --time --verbose) Balazs Komuves 2024-02-14 13:06:17 +01:00
  • fc317298db
         minor improvements Balazs Komuves 2024-01-25 13:00:26 +01:00
  • 0ba5af4754
         use sparse matrices when doing fake trusted setup Balazs Komuves 2024-01-19 12:56:22 +01:00
  • 14ee5ab14f
         switch to scalarMul_vartime Balazs Komuves 2024-01-18 13:04:46 +01:00
  • 1b20438c63
         initial draft of a CLI executable Balazs Komuves 2024-01-18 13:04:26 +01:00
  • c6e16c474d
         workaround for the rare scalarMul bug (thanks Advaita Saha!) Balazs Komuves 2024-01-17 22:35:04 +01:00
  • 786d1bb15e
         fix the very simple test circuit to be snarkjs-compatible (that is, the first witness variable is the special variable "1") Balazs Komuves 2024-01-16 14:19:13 +01:00
  • 6eedd0faa4
         export some more stuff from export_sage.nim Balazs Komuves 2024-01-16 13:56:32 +01:00
  • 42e1728629
         allow the user to set the masking coefficients and the toxic waste (useful for debugging purposes) Balazs Komuves 2024-01-16 12:37:27 +01:00
  • fbe637e8d4
         Merge pull request #3 from codex-storage/refactor Balazs Komuves 2023-11-23 14:57:07 +01:00
  • b433cbf7ad
         speed up fake setup generation refactor Balazs Komuves 2023-11-23 13:25:26 +01:00
  • 148d54f614
         export SageMath verification script (bn128 curve only) Balazs Komuves 2023-11-22 15:55:18 +01:00
  • d75d5030b7
         fix example compilation setup-build Jaremy Creechley 2023-11-21 18:59:21 -07:00
  • b220ffdd0f
         change setup Jaremy Creechley 2023-11-21 18:56:33 -07:00
  • 25937c041f
         remove Jaremy Creechley 2023-11-21 18:51:11 -07:00
  • 4a576d916e
         updates Jaremy Creechley 2023-11-21 18:50:32 -07:00
  • 502e031e95
         small comments / fix typos Balazs Komuves 2023-11-21 11:31:27 +01:00
  • ee565ffaef
         add readme Jaremy Creechley 2023-11-20 22:48:54 -07:00
  • 46e175752c
         rename Jaremy Creechley 2023-11-20 22:40:10 -07:00
  • 22b684a31c
         fix compilation with main Jaremy Creechley 2023-11-20 22:38:06 -07:00
  • 6f7b769e15
         add products Jaremy Creechley 2023-11-20 21:37:01 -07:00
  • 1ac8af2dbc
         update prove Jaremy Creechley 2023-11-20 21:28:56 -07:00
  • d882610744
         add fr support files Jaremy Creechley 2023-11-20 21:15:41 -07:00
  • 26f708f908
         make it a nimble package Balazs Komuves 2023-11-17 09:43:43 +01:00