Balazs Komuves
0a4836c307
improve the dynamic README
2026-06-19 01:25:51 +02:00
Balazs Komuves
1f35ef18d2
optimize the preprocessing by using the subgroup structure for the second IFFT-s in the convolution
2026-06-19 01:19:51 +02:00
Balazs Komuves
ed363001e4
V3, using a subgroup for the update. Unfortunately 1 more MSM than i expected...
2026-06-18 18:45:51 +02:00
Balazs Komuves
e4fdbccca6
concatenating all the remaining MSMs into one (that's always a bit faster)
...
currently we have 4 of them:
- 1 for the "rho term"
- 1 for the unified C1 + "projection terms"
- 2 for the cross-terms
i hope the cross-terms can be also reduced to just 1 later
2026-06-16 14:49:40 +02:00
Balazs Komuves
52858cb80f
merge the two witness MSM-s into a single one
2026-06-16 13:50:28 +02:00
Balazs Komuves
2e2a8bcb35
unify the two projection term MSM-s into a single one
2026-06-16 13:14:25 +02:00
Balazs Komuves
257e2e20f0
preparation for multiple versions of the dynamic prover
2026-06-16 12:29:54 +02:00
Balazs Komuves
e532d67046
exporting R1CS files (for row reordering purposes)
2026-06-16 02:38:18 +02:00
Balazs Komuves
a66865e5f7
rewrote to Dynark-style cross-term computation (minus the sparse convolution stuff)
2026-06-16 00:34:59 +02:00
Balazs Komuves
f3f8a0a82b
first working (if not very efficient :) version of dynark-style dynamic proofs
2026-06-15 22:40:00 +02:00
Balazs Komuves
67d0126cf4
row permutations (so that the final witness delta's image can be in a subgroup)
2026-06-15 19:25:45 +02:00
Balazs Komuves
159f8b78c4
some sparse matrix stuff
2026-06-15 14:13:56 +02:00
Balazs Komuves
7b01f27529
fix the failing projection term test (it was a single sign mistake...)
2026-06-15 02:02:34 +02:00
Balazs Komuves
c189df8a15
more WIP dynark stuff; the cross-term coefficients seem to work
2026-06-15 01:00:13 +02:00
Balazs Komuves
78ccb3c7c3
very much WIP dynark preprocessing. Not working as of this moment.
2026-06-14 02:04:45 +02:00
Balazs Komuves
4a9fd030bd
some refactor, useful additions, tests; as a preparation for dynamic proofs
2026-06-13 23:20:28 +02:00
Balazs Komuves
eff53fa4eb
convert some of the hack-ish "sanity checks" into regular tests
2026-06-13 15:48:35 +02:00
Balazs Komuves
e6e0ba01b2
move the group_fft module to be more consistent
2026-06-13 14:22:36 +02:00
Balazs Komuves
f17c0389b9
add some quick&dirty FFT benchmarks
2026-06-13 14:20:17 +02:00
Balazs Komuves
2231d800c7
add group FFT
2026-06-13 13:29:07 +02:00
Balazs Komuves
1116e2791a
improve NTT and add tests
2026-06-13 13:03:06 +02:00
Balazs Komuves
7dc831f0d7
Merge pull request #12 from logos-storage/feat/refc-support
...
fear: multi threading support for refc
2026-06-06 17:02:56 +02:00
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
aa4eb2b756
fix a mistake in an explanatory comment
2026-05-01 02:31:19 +02:00
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
