munna0908
fc56b91393
add tests to generate random proofs
2026-05-07 15:53:36 +05:30
munna0908
704f0caed8
code cleanup
2026-05-05 21:11:58 +05:30
munna0908
44f00726d8
fix tests
2026-05-05 20:53:35 +05:30
munna0908
7d5826e9c0
fix tests
2026-05-05 19:27:17 +05:30
munna0908
afd479e822
use SharedBuf to facilitate safe cross-GC boundary task spawning
2026-05-03 20:38:07 +05:30
Balazs Komuves
f876bd6dba
remove a deprecated line accidentally left in
2026-05-01 00:41:10 +02:00
Balazs Komuves
eb3d805ee0
implement arkworks-compatible point compression
2026-04-30 23:10:00 +02:00
Balazs Komuves
1ba5c4a263
hopefully fixes #10
2026-04-23 17:29:31 +02:00
Balazs Komuves
5003f16e49
fix a typo in polySub
2026-04-23 15:52:42 +02:00
Balazs Komuves
fd2fc6c153
remove some legacy code lines left over by accident
2026-01-16 14:13:02 +01:00
Balazs Komuves
73b5ae2734
another convenience function
...
(man, nim namespacing and scoping fucking sucks...)
2026-01-16 12:08:25 +01:00
Balazs Komuves
7a610c2217
add a "makeWitness" convenience function
2026-01-16 11:50:33 +01:00
Balazs Komuves
3ddf4948f9
initial support for "partial proofs" (precalculating based on a partial witness)
2026-01-15 22:41:56 +01:00
Balazs Komuves
f7a4549d86
remove downstream CI
2026-01-15 19:38:16 +01:00
Balazs Komuves
094d8b881d
backport downstream changes from durability-labs (update to newer constantine versions)
2026-01-15 19:33:23 +01:00
Balazs Komuves
931437ccec
resolve conflict in nimble file
2026-01-15 19:09:23 +01:00
Mark Spanbroek
e868373305
version 0.1.1
2025-12-17 16:34:06 +01:00
markspanbroek
1aa85c3ad8
fix(nimble): ensure that constantine works in windows ( #2 )
...
* fix(nimble): ensure constantine works on windows
* fix(ci): run with nim 2.2.6 on windows, mac and linux
2025-12-17 16:32:56 +01:00
Ben
0adcf64b7b
Release 0.1.0
2025-11-13 13:10:01 +01:00
Ben
3ff657db48
applies gc-safety to zkey parser
2025-11-13 13:09:45 +01:00
ThatBen
bbfb4d5f7f
Merge pull request #1 from durability-labs/raises-annotations
...
Integration update
2025-11-12 15:35:51 +01:00
Mark Spanbroek
a162bb8728
feat: add {.raises.} annotations
...
Co-Authored-By: Dmitriy Ryajov <dryajov@gmail.com>
2025-07-02 16:29:16 +02:00
Mark Spanbroek
8dd99f1964
feat!: pass in task pool instead of instantiating it ourselves
2025-07-02 16:17:57 +02:00
Mark Spanbroek
b3d5adf106
chore: add CI
2025-07-02 15:21:50 +02:00
Mark Spanbroek
d087f450b5
fix: use move semantics to copy seq from other thread
...
Taskpool.spawn does not support seq return types, so we
move an isolated value accross thread boundaries instead
Co-Authored-By: Dmitriy Ryajov <dryajov@gmail.com>
2025-07-02 14:50:27 +02:00
Mark Spanbroek
bef7c36ae7
fix: fix non-working test
...
Co-Authored-By: Dmitriy Ryajov <dryajov@gmail.com>
2025-07-02 14:50:27 +02:00
Mark Spanbroek
7f66c7ce48
chore: update setInf for constantine 0.2.0
...
Co-Authored-By: Dmitriy Ryajov <dryajov@gmail.com>
2025-07-02 14:50:27 +02:00
Mark Spanbroek
0f2a84ec33
refactor: replace Fp etc shortcuts by full generic type
...
reason: compile error deep in constantine, because it will
try to determine the field, which it can't when we abbreviate it
Co-Authored-By: Dmitriy Ryajov <dryajov@gmail.com>
2025-07-02 14:50:27 +02:00
Mark Spanbroek
e6e865a62e
chore: disable non-compiling debug echo
...
reason: the ** operator no longer compiles
here with constantine 0.2.0
Co-Authored-By: Dmitriy Ryajov <dryajov@gmail.com>
2025-07-02 14:41:17 +02:00
Mark Spanbroek
afc8d6174c
chore: update types for constantine 0.2.0
...
Co-Authored-By: Dmitriy Ryajov <dryajov@gmail.com>
2025-07-02 14:41:12 +02:00
Mark Spanbroek
e2e1c6b88f
chore: update imports for constantine 0.2.0
...
Co-Authored-By: Dmitriy Ryajov <dryajov@gmail.com>
2025-07-02 14:41:04 +02:00
Mark Spanbroek
c1af75cf25
chore: update to constantine 0.2.0
...
Co-Authored-By: Dmitriy Ryajov <dryajov@gmail.com>
2025-07-02 14:40:30 +02:00
Balazs Komuves
5616a1c52f
fix the multithreading failures by switching to arc
2024-03-04 09:27:12 +01:00
Balazs Komuves
d790dc3162
do the three FFT/IFFT pairs in parallel
2024-02-29 20:35:16 +01:00
Balazs Komuves
cfd30a045e
optimized the NTT routines
2024-02-29 20:13:50 +01:00
Balazs Komuves
9d743247e9
preliminary multithreading support (WIP; only for MSM right now)
2024-02-29 18:59:35 +01:00
Balazs Komuves
1ef1b040d6
temporary workaround for the G2 MSM bug (this one seems to work correctly, but it is much slower)
2024-02-29 13:30:17 +01:00
Balazs Komuves
69594a90a8
change the fake trusted setup option from -s to -u (to be compatible with the Haskell one; -s is intended for --silent)
2024-02-29 13:29:41 +01:00
Balazs Komuves
5c554e741c
add --nomask option disabling the ZK masking (useful for debugging purposes)
2024-02-29 13:28:18 +01:00
Balazs Komuves
e44551048a
add more detailed timings (with --time --verbose)
2024-02-14 13:06:17 +01:00
Balazs Komuves
fc317298db
minor improvements
2024-01-25 13:08:45 +01:00
Balazs Komuves
0ba5af4754
use sparse matrices when doing fake trusted setup
2024-01-19 12:56:22 +01:00
Balazs Komuves
14ee5ab14f
switch to scalarMul_vartime
2024-01-18 13:04:46 +01:00
Balazs Komuves
1b20438c63
initial draft of a CLI executable
2024-01-18 13:04:26 +01:00
Balazs Komuves
c6e16c474d
workaround for the rare scalarMul bug (thanks Advaita Saha!)
2024-01-17 22:35:04 +01:00
Balazs Komuves
786d1bb15e
fix the very simple test circuit to be snarkjs-compatible (that is, the first witness variable is the special variable "1")
2024-01-16 14:19:13 +01:00
Balazs Komuves
6eedd0faa4
export some more stuff from export_sage.nim
2024-01-16 13:56:32 +01:00
Balazs Komuves
42e1728629
allow the user to set the masking coefficients and the toxic waste (useful for debugging purposes)
2024-01-16 12:37:27 +01:00
Balazs Komuves
fbe637e8d4
Merge pull request #3 from codex-storage/refactor
...
Refactor & nimblify
2023-11-23 14:57:07 +01:00
Balazs Komuves
b433cbf7ad
speed up fake setup generation
2023-11-23 13:25:26 +01:00
