logos-storage/nim-groth16
1
0
Fork 0
mirror of https://github.com/logos-storage/nim-groth16.git synced 2026-07-23 00:49:24 +00:00
Code Issues Packages Projects Releases Wiki Activity
92 Commits 15 Branches 0 Tags 836 KiB
Commit Graph

21 Commits

Author SHA1 Message Date
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
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
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
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
Mark Spanbroek
8dd99f1964 feat!: pass in task pool instead of instantiating it ourselves 2025-07-02 16:17:57 +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
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
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
26f708f908
make it a nimble package 2023-11-17 09:49:35 +01:00