29 Commits

Author	SHA1	Message	Date
wborgeaud	a760904549	Clippy	2022-09-05 16:37:54 +02:00
wborgeaud	e6708da36f	Comments	2022-09-05 16:34:29 +02:00
wborgeaud	a5f4730bd5	Minor	2022-09-05 15:47:03 +02:00
wborgeaud	35b22974ed	Recursively verify	2022-09-05 12:25:30 +02:00
wborgeaud	e6490fdd11	Add verify	2022-09-05 09:17:00 +02:00
wborgeaud	da03af2979	Minor	2022-09-05 08:38:57 +02:00
wborgeaud	c320a9e8ae	Merge branch 'main' into per_table_recursion ... # Conflicts: # evm/src/all_stark.rs # evm/src/proof.rs	2022-09-05 08:34:52 +02:00
wborgeaud	05c3c4d907	First pass	2022-08-26 10:12:45 +02:00
wborgeaud	2fa347128f	All recursive proofs	2022-08-26 09:49:59 +02:00
wborgeaud	c4fc9b0ae4	Merge conflicts	2022-08-26 09:42:55 +02:00
wborgeaud	8600a5a46f	Merge branch 'main' into per_table_recursion ... # Conflicts: # evm/src/proof.rs	2022-08-26 09:41:00 +02:00
Daniel Lubarov	d0be79e822	Feedback	2022-08-25 23:35:38 -07:00
Daniel Lubarov	aa87f2c3ba	Public memory	2022-08-25 20:19:18 -07:00
wborgeaud	9e9ff9872b	Per table recursion	2022-08-25 22:04:28 +02:00
Daniel Lubarov	522cac5e15	Keccak memory stark	2022-08-24 09:29:17 -07:00
Daniel Lubarov	55d0eddecb	profiling	2022-07-28 14:46:56 -07:00
Daniel Lubarov	3346d3f902	field_types -> types (#583) ... * `field_types` -> `types` Here too, I think "field" is usually clear from context, e.g. in `use plonky2::field::types::Field;`. * fixes * fmt	2022-06-27 12:24:09 -07:00
Daniel Lubarov	410e03349c	extension_field -> extension (#581) ... It seems redundant in most contexts, e.g. `use plonky2::field::extension_field::Extendable;`. One could import `extension_field`, but it's not that common in Rust, and `field::extension` is now about as short.	2022-06-27 07:18:21 -07:00
Nicholas Ward	03112f898a	updated all_stark framework to include memory stark (doesn't pass yet)	2022-06-23 13:59:57 -07:00
Jacqueline Nabaglo	1cc000d3e1	Connect logic stark to CPU (#569) ... * WIP: connect logic stark to CPU * Tests passing	2022-06-17 11:57:14 -07:00
wborgeaud	d626679c6c	Column enum	2022-06-14 00:53:31 +02:00
wborgeaud	6f5c8e46f6	s/right/next	2022-06-02 23:55:56 +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	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	8e8e4daa9c	Start of impl	2022-05-20 11:21:13 +02:00
Daniel Lubarov	c54896dcb8	Rename starky2 -> evm (#547)	2022-05-18 10:32:14 -07:00