97 Commits

Author SHA1 Message Date
Arnaud
82de35640d
Rename Codex to Logos Storage (#18) 2025-12-15 14:16:08 +01:00
Balazs Komuves
b8dd95f45c
add missing license files 2025-08-20 11:28:32 +02:00
Slava
04c3afb6ff
ci: switch to github runner (#17) 2025-08-14 12:47:47 +03:00
Slava
916099b00c
fix(ci): adjust build-circuit arguments (#16) 2025-06-06 19:07:02 +02:00
Slava
bd5b3efb3a
fix(ci): install custom rust version and circom-witnesscalc fixes (#15)
* ci: install custom rust version

* ci: install packages required by circom-witnesscalc

* ci: install circom-witnesscalc/build-circuit
2025-06-06 14:27:17 +03:00
thatben
008d645e96
attempting to run circom-witnesscalc 2025-06-06 09:56:52 +02:00
thatben
964ec8e327
includes bin file in archive 2025-06-06 09:05:58 +02:00
Balazs Komuves
a197a8a179
update the circuit test to the latest r1cs-solver changes (field choice) 2025-05-19 20:28:20 +02:00
Balazs Komuves
180e00434c
add witness computation graph extraction to the workflow 2025-03-14 17:52:38 +01:00
Balazs Komuves
7f2d23a318
ugly hack to work around the limitations of circom-witnesscalc 2025-03-14 14:53:22 +01:00
Balazs Komuves
72bc4ae612
.gitignore 2025-03-14 11:17:26 +01:00
Balazs Komuves
fd162ba539
Merge remote-tracking branch 'origin/master' 2025-03-14 11:16:10 +01:00
Slava
79284e66fb
fix: update cli_args 2025-03-11 12:03:33 +02:00
Balazs Komuves
e53fa9598d
Merge pull request #13 from codex-storage/feature/bump
bumps constantine and nim-poseidon to match codex v0.2.0
2025-02-28 15:26:29 +01:00
thatben
354cca0573
bumps constantine and nim-poseidon to match codex v0.2.0 2025-02-28 13:52:01 +01:00
Balazs Komuves
a57e0fdc21
add accidentally missing data point to the benchmarks 2024-11-15 21:08:59 +01:00
Balazs Komuves
ac8d366752
Merge branch 'goldilocks' 2024-11-15 18:33:39 +01:00
Balazs Komuves
d3cfb2035f
add arkworks prover measurements 2024-11-15 18:31:13 +01:00
Balazs Komuves
ad503d4e10
update the workflow scripts and benchmarks 2024-11-15 16:30:35 +01:00
Balazs Komuves
1c51aca81b
more streamlined json output for the goldilocks field (4 field elements per line) 2024-10-22 12:37:34 +02:00
Balazs Komuves
14bab04b19
it almost compiles (but does not link/builds) after the big hack refactoring 2024-10-18 17:39:34 +02:00
Balazs Komuves
948f6c2c75 add CLI and config for the new hash functions 2024-10-15 11:52:40 +02:00
Slava
8e41eacc6a
Make flat tar.gz (#12) 2024-09-19 15:31:43 +03:00
Ben
49666eedb8
Remove tar dash 2024-09-19 13:40:36 +02:00
Slava
530d23becf
Merge pull request #11 from codex-storage/feat/switch-from-zip-to-tar-gz
Switch from zip to tar.gz
2024-09-19 12:57:43 +03:00
Slava
18c9925d54
Switch from zip to tar.gz 2024-09-19 12:49:09 +03:00
Slava
95ccb2b7d8
Merge pull request #10 from codex-storage/chore/update-actions-to-latest-versions
chore: update actions to latest versions
2024-07-12 13:49:13 +03:00
Balazs Komuves
72e55b22ab
update the nim-poseidon2 dependency 2024-07-12 12:45:21 +02:00
Slava
08d21235ee
chore: update actions to latest versions 2024-07-12 13:37:10 +03:00
Balazs Komuves
6e9fcc632c
fix the incorrect handling of singleton Merkle trees 2024-07-11 15:47:23 +02:00
Balazs Komuves
fff59196b0
markdown fix 2024-05-17 18:43:53 +02:00
Balazs Komuves
dafca630d8
Merge remote-tracking branch 'origin/master' 2024-05-17 18:39:28 +02:00
Balazs Komuves
5ddd33d37a
add a high-level overview of all the steps and files occuring when doing proofs 2024-05-17 18:39:13 +02:00
Balazs Komuves
795227d314
add the option to the workflow script to use the Nim prover 2024-05-17 18:38:47 +02:00
Balazs Komuves
d95b3ec07d
update workflow description with nim-groth16 example 2024-04-25 21:13:21 +02:00
Ben Bierens
479bd33ed8
Merge pull request #8 from codex-storage/feature/include-verification-key
Includes verification key json in output zip
2024-03-18 11:46:30 +01:00
Ben
037f2868b1
Includes verification key json in output zip 2024-03-18 11:32:15 +01:00
Balazs Komuves
61789cadeb
Merge pull request #7 from codex-storage/circuit-refactor
Refactor the circuit
2024-03-13 14:57:39 +01:00
Balazs Komuves
77a2f05c05
fix typo
Co-authored-by: markspanbroek <mark@spanbroek.net>
2024-03-12 12:08:06 +01:00
Balazs Komuves
1c120d3e0d
refactor the circuit (separate codex-specific and more generic templates) 2024-03-12 11:48:13 +01:00
Balazs Komuves
2a4a71acf6
Merge pull request #5 from codex-storage/review
Code review of the circom circuit
2024-03-12 10:53:39 +01:00
Mark Spanbroek
447c8c772f circuit: fix comment
Co-Authored-By: Balazs Komuves <bkomuves@gmail.com>
2024-03-12 10:24:31 +01:00
Mark Spanbroek
ded25f54c2 Revert "circuit: remove unused functions"
This reverts commit 14c7c7a6d9ee24c6aded17ebfadbc7609465259c.

Co-Authored-By: Balazs Komuves <bkomuves@gmail.com>
2024-03-12 09:50:13 +01:00
Mark Spanbroek
46c17fa2ce Revert "circuit: remove unused templates"
This reverts commit 521619c65fd03b7f6f3f6a6ba490cf427ff6d9a8.

Co-Authored-By: Balazs Komuves <bkomuves@gmail.com>
2024-03-12 09:46:45 +01:00
Mark Spanbroek
34cd599c38 circuit: remove unused signal 2024-03-12 09:43:26 +01:00
Mark Spanbroek
6d4abb8215 circuit: fix comment 2024-03-12 09:43:26 +01:00
Mark Spanbroek
3bc1000045 circuit: remove unused templates 2024-03-12 09:43:26 +01:00
Mark Spanbroek
fc310a2a39 circuit: fix comments
endianness only applies to byte order, not to bit order
2024-03-12 09:43:26 +01:00
Mark Spanbroek
f846f59d96 circuit: remove unused templates 2024-03-12 09:43:26 +01:00
Mark Spanbroek
deda9da6fd circuit: fix comment 2024-03-12 09:43:26 +01:00