1920 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
wborgeaud	2ecca92bf6	Minor	2022-06-01 20:17:21 +02:00
wborgeaud	2e3a738bc5	Implement multi-table CTLs	2022-06-01 18:53:19 +02:00
wborgeaud	e8fc5b5752	Merge pull request #551 from mir-protocol/starkevm_recursive_verifier ... `evm` recursive verifier	2022-05-31 03:33:34 +02:00
wborgeaud	acb7b8bc05	Use reduce_base in reduce_with_powers_circuit	2022-05-31 02:51:39 +02:00
wborgeaud	fd7eb9e915	PR feedback and add reduce_with_powers_circuit fn	2022-05-30 20:13:25 +02:00
wborgeaud	bd738399dd	Clippy	2022-05-26 20:44:59 +02:00
wborgeaud	ffc5ce2f1a	Fix bug. Recursive verifier test passes	2022-05-26 20:37:30 +02:00
wborgeaud	1fdb41755e	Recursive proof isn't correct (yet)	2022-05-26 16:27:15 +02:00
wborgeaud	e13bbf563e	Add num_ctl_zs	2022-05-25 08:00:41 +02:00
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	7d7851aba5	Merge pull request #549 from mir-protocol/evm_more_generic_structs ... Make some `evm` structs more generic	2022-05-20 08:49:18 +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	2bc5b24c52	Start	2022-05-19 10:22:57 +02:00
wborgeaud	9f01840a57	Make evm structs more generic	2022-05-19 09:41:15 +02:00
wborgeaud	2831f8f28b	Merge pull request #548 from mir-protocol/remove_marking ... Remove marking stuff	2022-05-19 07:51:49 +02:00
wborgeaud	781d1edb8e	Remove marking	2022-05-18 19:37:05 +02:00
Daniel Lubarov	c54896dcb8	Rename starky2 -> evm (#547)	2022-05-18 10:32:14 -07:00
wborgeaud	17dfa8d713	Merge pull request #541 from mir-protocol/starky_multitables ... Start of Starky multitable implementation	2022-05-18 14:35:00 +02:00
wborgeaud	f8b51743a9	PR feedback	2022-05-18 09:22:58 +02:00
wborgeaud	917af4267f	Merge pull request #544 from mir-protocol/standard_gadget_suffix ... Standardize gadget suffix to `*_circuit`	2022-05-17 20:52:52 +02:00
wborgeaud	1f5b0cea99	Merge pull request #545 from mir-protocol/rename_wire_fields ... Rename wire fields	2022-05-17 20:52:32 +02:00
wborgeaud	28d90d0e9e	s/gate_index/row/	2022-05-17 19:32:51 +02:00
wborgeaud	a31de48d88	More changes	2022-05-17 11:47:00 +02:00
wborgeaud	4cd37ca8d4	Rename fields of Wire	2022-05-17 11:31:45 +02:00
wborgeaud	7676f907bf	Missed some	2022-05-17 11:15:53 +02:00
wborgeaud	b606d99e07	Use *_circuit suffix for gadgets	2022-05-17 11:04:35 +02:00
wborgeaud	2ffd22acf5	Assume every STARK in AllStark is part of a CTL	2022-05-17 09:41:06 +02:00
wborgeaud	db2aae515f	Add default value to CTL	2022-05-17 09:24:22 +02:00
wborgeaud	863d9a863c	PR comments	2022-05-16 20:45:30 +02:00
wborgeaud	02db6c93ec	Add permutation in mock STARKs for good measure	2022-05-13 14:20:59 +02:00
wborgeaud	aa77660bfe	Back to const generic + arrays	2022-05-13 14:16:28 +02:00
wborgeaud	8cd2793937	Some renaming + cleaning	2022-05-13 11:20:29 +02:00
wborgeaud	a38c19f952	Fix num_permutation_zs	2022-05-13 10:48:56 +02:00
wborgeaud	f9e929a0a9	Fix bugs when no ctls	2022-05-13 10:35:59 +02:00
wborgeaud	e9260fe457	Merge remote-tracking branch 'origin/starky_multitables' into starky_multitables ... # Conflicts: # starky2/src/get_challenges.rs	2022-05-12 22:36:53 +02:00
wborgeaud	d421bd3593	Lints	2022-05-12 22:35:13 +02:00
wborgeaud	0c8178e286	Test works	2022-05-12 22:32:32 +02:00
wborgeaud	fe3811e8ed	Test works	2022-05-12 22:29:10 +02:00
wborgeaud	17ba468e3a	Add mock test (doesn't work)	2022-05-12 20:38:11 +02:00
ying tong	e10e103933	README.md: Update plonky2 paper link (#543)	2022-05-12 07:47:11 -07:00
wborgeaud	3359ee708c	Clippy	2022-05-12 14:07:03 +02:00
wborgeaud	c4c3533cff	PermutationChallenge -> GrandProductChallenge since it's also used for cross-table lookups	2022-05-12 13:51:02 +02:00
wborgeaud	2b8c3de10e	Finish verifier	2022-05-12 13:47:55 +02:00
wborgeaud	b9e921f640	CTL verification	2022-05-11 16:09:12 +02:00