59 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
Mark Spanbroek	03226459d9	circuit: fix comment	2024-03-12 09:43:26 +01:00
Mark Spanbroek	bbc97a796a	circuit: remove trailing spaces	2024-03-12 09:43:26 +01:00
Mark Spanbroek	2b88a00fb0	circuit: remove unused functions	2024-03-12 09:43:26 +01:00
Mark Spanbroek	5e733121d5	circuit: remove unused includes	2024-03-12 09:43:26 +01:00
Ben Bierens	066bd73a0b	Merge pull request #6 from codex-storage/feature/include-r1cs-and-wasm-files ... Upload ZIP file with wasm, r1cs, and zkey file	2024-03-04 08:17:42 +01:00
benbierens	c9f56c77c8	exclude paths from zip	2024-02-29 11:23:07 +01:00
benbierens	d92db4d6d6	attempt to fix wasm path	2024-02-29 11:13:44 +01:00
benbierens	9b224cf2ca	attempt to zip required circuit files before upload	2024-02-29 11:00:06 +01:00
Adam Uhlíř	75c04417c9	ci: add zkey hash uploaded (#4)	2024-01-25 15:57:50 +01:00
Slava	01b924d64d	ci: upload ceremony file to storage (#3)	2024-01-22 15:44:55 +01:00
Adam Uhlíř	d4c12191cc	ci: add proof to the build assets (#2)	2024-01-04 16:00:34 +01:00
Adam Uhlíř	e12db34700	ci: purge cache for buildjet	2024-01-04 11:51:00 +01:00
Adam Uhlíř	123e44229a	ci: enable buildjet	2024-01-04 07:07:14 +01:00
Adam Uhlíř	a48de48fc7	ci: update timeout to maximum length	2024-01-03 22:52:13 +01:00
Adam Uhlíř	d858017d78	ci: workflow to generate setupped circuit (#1)	2024-01-03 22:45:59 +01:00
Balazs Komuves	c03b43221d	solve the nodejs heap allocation issue (appears around 100 samples)	2023-12-18 14:31:13 +01:00
Balazs Komuves	bd0a5e968c	update to use the latest nim-poseidon2	2023-12-18 12:50:54 +01:00
Balazs Komuves	78dcaaa396	improve the nim-cli documentation	2023-12-15 22:33:41 +01:00
Balazs Komuves	93608690cc	minor updates	2023-12-15 22:12:37 +01:00
Balazs Komuves	23dbd41be2	more typos	2023-12-15 19:26:08 +01:00
Balazs Komuves	cb144df60a	fix some typos	2023-12-15 17:49:11 +01:00
Balazs Komuves	8b6e8a1402	full proof workflow description and scripts	2023-12-15 17:38:07 +01:00
Balazs Komuves	dd95030a39	nim-cli: add --verbose option	2023-12-15 17:21:45 +01:00
Balazs Komuves	2f30a0cef8	Nim: add the missing commas in the JSON export :)	2023-12-15 17:21:34 +01:00
Balazs Komuves	30740a86b5	add generating the main component to the Nim proof input generator	2023-12-15 14:52:26 +01:00
Balazs Komuves	f9af4fa84f	add Nim CLI application to generate proof inputs	2023-12-15 13:13:49 +01:00
Balazs Komuves	fea3d520b4	make cellSize and blockSize global parameters	2023-12-15 12:08:28 +01:00
Balazs Komuves	cbcf9b476c	add padding of Merkle paths (to fixed length) to the Nim reference impl	2023-12-14 14:21:10 +01:00
Balazs Komuves	4d101442ca	update the README to include the per-block hashing convention	2023-11-28 15:23:50 +01:00
Balazs Komuves	55015008e7	the circuit seems to work	2023-11-28 12:32:36 +01:00
Balazs Komuves	0ae539a0ed	add CeilingLog2 template	2023-11-25 20:50:54 +01:00
Balazs Komuves	159b71959c	updated the Haskell and Nim code to produce inputs for proving against the dataset root (instead of the slot root)	2023-11-25 14:24:25 +01:00
Balazs Komuves	5159beebe5	make CellIdx etc newtypes	2023-11-24 16:10:17 +01:00
Balazs Komuves	49e77f6f78	add log2 circuit template	2023-11-24 12:40:21 +01:00
Balazs Komuves	950d6c9df9	the Nim and Haskell circuit input generators produces the same input	2023-11-23 14:39:20 +01:00
Balazs Komuves	9e61c14e5d	proof input generation reference impl. in Nim (WIP, untested!)	2023-11-17 18:17:26 +01:00
Balazs Komuves	fad92b6c75	move testvectors into a subdirectory	2023-11-17 11:32:09 +01:00
Balazs Komuves	35582f6178	update the README	2023-11-17 08:13:39 +01:00