17 Commits

Author	SHA1	Message	Date
Balazs Komuves	d07661d5b9	implement lookup tables	2025-01-26 17:22:40 +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	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	1d513debb9	move source code into an src subdirectory	2024-12-13 20:20:43 +01:00