460 Commits

Author	SHA1	Message	Date
wborgeaud	4afe32a778	Merge pull request #550 from mir-protocol/stark_circuit_constraint_test ... Add test to check that native and circuit STARK constraints are consistent	2022-05-25 07:45:23 +02:00
wborgeaud	c49de59cbc	Recursive verifier test compiles but fails	2022-05-24 17:50:28 +02:00
wborgeaud	d47b22d2b5	Compiles	2022-05-24 16:24:52 +02:00
wborgeaud	d9b237d998	Add ctl check vars logic	2022-05-23 17:49:04 +02:00
wborgeaud	8e8e4daa9c	Start of impl	2022-05-20 11:21:13 +02:00
wborgeaud	7cdc72f998	Detupling	2022-05-20 08:37:18 +02:00
wborgeaud	12a3155baf	Ignore test instead of failing	2022-05-20 08:34:25 +02:00
wborgeaud	b3f873c66a	Finish test	2022-05-19 11:10:10 +02:00
wborgeaud	9f01840a57	Make evm structs more generic	2022-05-19 09:41:15 +02:00
Daniel Lubarov	c54896dcb8	Rename starky2 -> evm (#547)	2022-05-18 10:32:14 -07:00