50 Commits

Author	SHA1	Message	Date
wborgeaud	0e58efdcc1	Remove Config from CommonCircuitData	2022-10-25 10:08:21 +02:00
wborgeaud	1ae922dd4d	Merge branch 'main' into generate_dummy_proof	2022-10-17 10:01:32 +02:00
wborgeaud	69bdbf6bf6	Redundant degree_bits	2022-10-13 18:19:05 +02:00
wborgeaud	816e7db345	Working	2022-10-11 11:02:03 +02:00
wborgeaud	4ff6bbb3de	Hardcode verifier data in the circuit	2022-10-07 09:47:03 +02:00
wborgeaud	39fc219324	PR feedback	2022-10-06 16:40:03 +02:00
wborgeaud	0bc3f20479	PR feedback	2022-10-06 16:32:35 +02:00
wborgeaud	e515f1e1cc	Split circuit and witness generation	2022-10-04 09:56:12 +02:00
wborgeaud	3be208edf0	Minor	2022-10-03 12:02:25 +02:00
wborgeaud	a5a4098d7a	Merge branch 'main' into per_table_recursion ... # Conflicts: # evm/src/all_stark.rs # evm/src/generation/mod.rs # evm/src/recursive_verifier.rs	2022-10-03 11:49:26 +02:00
wborgeaud	668957176a	PR feedback	2022-10-03 11:44:52 +02:00
wborgeaud	3579f9e875	state() -> compact()	2022-10-03 10:53:33 +02:00
BGluth	8e08b218d2	Trie roots now use H256 instead of U256 ... - `H256` preserves any leading `0`s, which could be critical in some situations. Also just a slightly more appropriate type for hashes.	2022-09-29 15:56:09 -06:00
wborgeaud	1de3ed823a	Update comments	2022-09-26 16:05:15 +02:00
wborgeaud	6cf6b56aa0	Method to compute verifier data without proving	2022-09-26 15:47:35 +02:00
wborgeaud	0053a02119	Cleaning	2022-09-23 16:28:20 +02:00
wborgeaud	502305146f	Working	2022-09-23 16:25:02 +02:00
wborgeaud	a63ed60401	Add CTL verification	2022-09-23 15:50:57 +02:00
wborgeaud	e712986a92	Challenger state works	2022-09-23 13:41:14 +02:00
wborgeaud	6e6c2daf29	Add challenger state	2022-09-22 11:01:27 +02:00
wborgeaud	a930c1a823	s/l1/l0	2022-09-12 08:09:17 +02:00
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