Commit Graph

Select branches

Hide Pull Requests

feat/add-witness-generation

fix-msm

integrate-with-codex

master

nimbify

raises-annotations

refactor

setup-build

taskpool-argument

taskpool-notes

update-dependencies

#1

#2

#3

#4

#4

#5

#5

#6

#6

#7

#7

#8

#8

Mono Color

• 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
• e772ccb4d4
  Merge b3d5adf106a720278391c8abd2935047a8ecdaf8 into 5616a1c52ffe8727b9bb50ddecbfe118dbdfc92c markspanbroek 2025-07-02 15:26:07 +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 master Balazs Komuves 2024-03-04 09:27:12 +01:00
• bbcc76b0b2
  Merge 0b7e5b912c2b51cf995f67c4484595fab4b57194 into d790dc3162b828f87abc3ccf3eb181616d5047e9 Jaremy Creechley 2024-03-02 16:48:38 -07: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
• 91bd09cd15
  Merge ee565ffaef888237a18a9dd2d4cd52688b0e353b into 7379bc04aedb17af730a4206b5c4252e99ecb90a Jaremy Creechley 2023-11-20 21:49:59 -08: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
• 4a814ee050
  measure proof time Balazs Komuves 2023-11-14 12:40:13 +01:00
• 2047e7e476
  started some refactoring. However Nim import "mechanism" *does not help*... Balazs Komuves 2023-11-14 12:39:54 +01:00
• 7379bc04ae
  Merge pull request #2 from codex-storage/fix-msm Balazs Komuves 2023-11-14 09:37:36 +01:00
• 36a46e277b
  forbenius isn't explicitely used fix-msm Dmitriy Ryajov 2023-11-13 14:37:57 -06:00
• 1df86e23d8
  use constantine msm Dmitriy Ryajov 2023-11-13 14:34:42 -06:00
• 3123948164
  fix msm nimbify Dmitriy Ryajov 2023-11-13 14:33:46 -06:00
• 37f0f5393d
  fix indent Dmitriy Ryajov 2023-11-13 14:33:36 -06:00
• f98ff8d3ca
  wip Dmitriy Ryajov 2023-11-13 12:47:40 -06:00
• b38dcd0b03
  export bn curve Dmitriy Ryajov 2023-11-13 11:33:37 -06:00
• 7fbac0b316
  use proper nimble structure Dmitriy Ryajov 2023-11-13 11:28:51 -06:00
• c1b60afe6f
  add nimble file Dmitriy Ryajov 2023-11-13 11:26:10 -06:00
• 28f409f1bb
  add config file to examples dir Dmitriy Ryajov 2023-11-13 11:26:02 -06:00
• c583af0755
  move things around and add results support Dmitriy Ryajov 2023-11-13 11:25:36 -06:00
• 4b8487b0df
  nimbify package Dmitriy Ryajov 2023-11-13 11:03:42 -06:00
• 5ce7926e92
  add "fake" trusted setup for testing purposes; implement both the paper version and snarkjs version of the prover Balazs Komuves 2023-11-13 19:40:15 +01:00
• 0544ef5b9e
  fix r1cs parsing (wrong field element representation) Balazs Komuves 2023-11-13 19:30:16 +01:00
• 106d918ecf
  fix a bug (how did it work before?!) Balazs Komuves 2023-11-13 18:11:20 +01:00
• 9fd8bba4f0
  minor improvements Balazs Komuves 2023-11-11 17:14:23 +01:00
• b4f4f7c97f
  add example proof script Balazs Komuves 2023-11-11 14:37:31 +01:00
• f094de8df3 proving and verifying _finally_ works Balazs Komuves 2023-11-11 13:35:13 +01:00
• e893d37b43 divide by vanishing polynomial Balazs Komuves 2023-11-10 11:15:38 +01:00
• 30ebd2793e polynomials and NTT Balazs Komuves 2023-11-10 10:12:39 +01:00
• ba04191b72 circom files parsing (r1cs, wtns and zkey files) Balazs Komuves 2023-11-09 15:20:49 +01:00
• e6eb074c0b README and license Balazs Komuves 2023-11-09 15:20:07 +01:00
• 622f804bcd initial commit Balazs Komuves 2023-11-09 15:20:07 +01:00