45 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Balazs Komuves	1ed42cee80	fix some simple mistakes in the FRI commentary (log(rate) vs rate)	2025-08-01 17:10:22 +02:00
Balazs Komuves	101ff05d3a	fix some typos	2025-06-19 16:13:49 +02:00
Balazs Komuves	5b0d32b161	add the missing "Layout.md" to the PDF version of the commentary	2025-06-19 16:08:09 +02:00
Balazs Komuves	f4f8d6a02c	add a description of the duplex algorithm in the commentary	2025-02-25 15:01:10 +01:00
Balazs Komuves	bd05a5a6f4	add an FRI verifier summary in the commentary	2025-02-09 12:20:06 +01:00
Balazs Komuves	3c7e5c81ad	update the lookup equations to reflect the changes in 091047f	2025-02-09 11:59:01 +01:00
Balazs Komuves	8bf7b291b8	update the commentary and regenerate the PDF	2025-02-08 19:46:51 +01:00
Balazs Komuves	49b5a0035e	FRI verification seems to work (finally...)	2025-02-08 19:40:57 +01:00
Balazs Komuves	2bd6462988	Merge pull request #1 from codex-storage/add-recursion-doc ... add recursion documentation	2025-02-07 13:17:27 +01:00
M Alghazwi	9c2e793490	fix typos	2025-02-07 12:48:46 +01:00
M Alghazwi	ac0dfcc8f4	add recursion documentation	2025-02-06 11:23:39 +01:00
Balazs Komuves	eeea733bd5	update the commentary	2025-01-30 14:54:43 +01:00
Balazs Komuves	d07661d5b9	implement lookup tables	2025-01-26 17:22:40 +01:00
Balazs Komuves	a086adf9b1	experimental PDF version of the commentary via Pandoc	2025-01-24 14:21:30 +01:00
Balazs Komuves	2a3f5e895a	refactor constant column handling	2025-01-24 11:14:19 +01:00
Balazs Komuves	0b87acea64	implement the Reducing and ReducingExtension gates	2025-01-23 20:01:16 +01:00
Balazs Komuves	8bfe0c6c10	implement PoseidonMdsGate	2025-01-23 19:43:11 +01:00
Balazs Komuves	644832ec48	implement CosetInterpolationGate	2025-01-23 18:59:51 +01:00
Balazs Komuves	7180ca242d	fix ArithmeticExtensionGate and MulExtensionGate	2025-01-23 14:57:01 +01:00
Balazs Komuves	4e88c0defb	fix the exponentiation gate and implement random access gate	2025-01-23 13:14:55 +01:00
Balazs Komuves	39c7316be0	first draft of the "Plonky2 commentary", explaining the inner workings of the system (WIP)	2025-01-21 21:27:43 +01:00
Balazs Komuves	fa3c8cad25	improve some explanatory comments	2025-01-21 21:27:11 +01:00
Balazs Komuves	d19c929c89	checking the combined Plonk constraints seems to work	2024-12-15 20:53:14 +01:00
Balazs Komuves	4b34d8df89	calculate the degree of gate constraints	2024-12-15 15:28:50 +01:00
Balazs Komuves	e49a0cfdba	count the number of operations in constraints, and fix the extreme inefficiency of Poseidon gate	2024-12-15 14:56:16 +01:00
Balazs Komuves	9967a612a2	fix precedence bug (typo) in pretty-printing	2024-12-15 14:54:30 +01:00
Balazs Komuves	c949f3d3f2	completely rewrite the constraints; PoseidonGate seems to work now	2024-12-15 14:07:05 +01:00
Balazs Komuves	338163f56d	minor doc improvements	2024-12-13 21:41:22 +01:00
Balazs Komuves	95686198f6	more refactoring (hash)	2024-12-13 20:45:45 +01:00
Balazs Komuves	bf9fb3e969	some refactoring (algebra)	2024-12-13 20:42:44 +01:00
Balazs Komuves	645d2024ed	add licenses	2024-12-13 20:29:43 +01:00
Balazs Komuves	0328ecdf5e	add a README	2024-12-13 20:24:24 +01:00
Balazs Komuves	1d513debb9	move source code into an src subdirectory	2024-12-13 20:20:43 +01:00
Balazs Komuves	1823fd462a	some preliminary work on gate constraints	2024-12-13 20:17:25 +01:00
Balazs Komuves	1a54e5827c	generating all the verifier challenges seem to work	2024-12-12 22:02:27 +01:00
Balazs Komuves	e280b14301	duplex sponge seems to work correctly	2024-12-12 16:26:36 +01:00
Balazs Komuves	8f02be21d2	parse the proof	2024-12-12 13:27:45 +01:00
Balazs Komuves	e593049dce	use the same multiplicative generators as Plonky2	2024-12-12 12:33:24 +01:00
Balazs Komuves	7ed7cfe2d7	quadratic extension of the Goldilocks field	2024-12-12 12:22:05 +01:00
Balazs Komuves	87b562ad04	parsing the gate strings	2024-12-12 11:33:26 +01:00
Balazs Komuves	18d42b1c83	parse CircuitCommonData (except that gates are not recognized yet)	2024-12-11 22:13:10 +01:00
Balazs Komuves	f30bea78a4	parsing verifier only circuit data works	2024-12-11 21:07:30 +01:00
Balazs Komuves	b437f915e8	circuit common data types	2024-12-11 12:43:27 +01:00
Balazs Komuves	d42d7c02b0	plonky2-compatible Poseidon permutation seems to work	2024-12-11 12:40:14 +01:00
Balazs Komuves	ec67d43bed	initial commit	2024-12-11 12:40:14 +01:00