691 Commits

Author	SHA1	Message	Date
Nicholas Ward	d3a7201348	fixes	2022-12-13 10:08:36 -08:00
Nicholas Ward	5759fb7b3c	concat	2022-12-13 10:08:36 -08:00
Nicholas Ward	9774b74b90	Blake progress	2022-12-13 10:08:36 -08:00
Nicholas Ward	ebd606621f	progress	2022-12-13 10:08:36 -08:00
Nicholas Ward	772dc5c9e7	util file	2022-12-13 10:08:36 -08:00
Nicholas Ward	df932544bd	fixes and testing	2022-12-13 10:08:36 -08:00
Nicholas Ward	a38b1fb37c	progress	2022-12-13 10:08:36 -08:00
Nicholas Ward	54a2e96473	progress	2022-12-13 10:08:36 -08:00
Nicholas Ward	1367f9bcca	fmt	2022-12-13 10:08:36 -08:00
Nicholas Ward	dd29ec1f46	fixes and test infrastructure	2022-12-13 10:08:30 -08:00
Nicholas Ward	0cfe790210	updates	2022-12-13 10:08:16 -08:00
Nicholas Ward	5fab01b952	fix	2022-12-13 10:08:16 -08:00
Nicholas Ward	609ed6c984	fixes	2022-12-13 10:08:16 -08:00
Nicholas Ward	d3e5feba83	Blake progress	2022-12-13 10:08:16 -08:00
Nicholas Ward	6e782a1a1e	Blake progress	2022-12-13 10:08:16 -08:00
Nicholas Ward	0c919443f9	progress	2022-12-13 10:08:16 -08:00
Nicholas Ward	b40338ff2e	progress	2022-12-13 10:08:16 -08:00
Nicholas Ward	9a5db4b8d2	progress	2022-12-13 10:08:16 -08:00
Nicholas Ward	a1ea7ff930	progress	2022-12-13 10:08:16 -08:00
Nicholas Ward	1089bbf29e	blake initial	2022-12-13 10:08:16 -08:00
Nicholas Ward	efa80edaa9	blake initial	2022-12-13 10:08:16 -08:00
Jacqueline Nabaglo	b6bc018cba	Simplify JUMP/JUMPI constraints and finish witness generation (#846) ... * Simplify `JUMP`/`JUMPI` constraints and finish witness generation * Constrain stack	2022-12-11 11:08:33 -08:00
Jacqueline Nabaglo	1732239a00	Constrain memory channels in JUMPDEST (#844)	2022-12-11 11:02:19 -08:00
Jacqueline Nabaglo	249e50ebcb	Get/set context (#843)	2022-12-11 10:59:14 -08:00
Jacqueline Nabaglo	29644e5111	Implement PC instruction (#847) ... * Implement `PC` instruction * lints	2022-12-11 10:41:32 -08:00
Daniel Lubarov	7557f320d4	Fix to add_eth ... It was creating a new account with the hash of an empty storage trie, when really it should be a pointer to an empty storage trie. We can use 0 as this pointer since `@SEGMENT_TRIE_DATA[0] = 0 = @MPT_NODE_EMPTY`. Also a couple tweaks that helped me debug, like moving the memory value range checks from the interpreter into `MemoryState`, so they're done in actual witness generation as well as interpreter tests.	2022-12-09 18:58:48 -08:00
Jacqueline Nabaglo	95eeed46f0	Memory load/store constraints (#839)	2022-12-09 10:35:00 -08:00
Daniel Lubarov	f4ab65f973	Fixes to get test_simple_transfer working	2022-12-08 23:27:20 -08:00
Daniel Lubarov	1303a83f7f	Misc witness generation fixes	2022-12-03 21:09:57 -08:00
Daniel Lubarov	f4fdb6a12f	Fix	2022-12-03 12:02:51 -08:00
Daniel Lubarov	b8b2fefe52	Use Keccak sponge table for bootloading ... And get rid of the deprecated Keccak memory table.	2022-12-03 11:21:31 -08:00
Daniel Lubarov	20183c260b	Fixes & re-enabling most constraints	2022-12-02 22:47:07 -08:00
Daniel Lubarov	bfa680fcea	Fix recursive constraints	2022-12-02 19:43:01 -08:00
Daniel Lubarov	21719222de	fmt	2022-12-02 19:19:04 -08:00
Daniel Lubarov	b96c22a4f4	Interpreter fixes	2022-12-02 19:18:37 -08:00
Daniel Lubarov	7293054062	Warnings	2022-12-02 14:49:32 -08:00
Daniel Lubarov	1f92d73177	Misc fixes	2022-12-02 14:31:18 -08:00
Daniel Lubarov	74446659a3	TODO	2022-12-02 14:00:22 -08:00
Daniel Lubarov	a63b73a851	Misc fixes	2022-12-02 13:56:52 -08:00
Daniel Lubarov	05ab3d7933	Fixes	2022-12-01 16:23:39 -08:00
Daniel Lubarov	9bf47ef8ac	Fixes	2022-12-01 12:46:14 -08:00
Daniel Lubarov	d3aa33975a	generate_keccak_general, generate_byte	2022-12-01 12:06:29 -08:00
Daniel Lubarov	027dfc14b6	Refactor to support PROVER_INPUT	2022-12-01 11:15:51 -08:00
Daniel Lubarov	cb1b6cbb39	Generate memory ops	2022-11-30 21:30:21 -08:00
Daniel Lubarov	526dc9bb77	Flush out operation list	2022-11-30 21:00:48 -08:00
Daniel Lubarov	906a47a1ef	generate_push and misc other progress	2022-11-30 17:45:31 -08:00
Daniel Lubarov	afb3e4b1e1	Misc work on witness generation	2022-11-30 14:58:40 -08:00
Daniel Lubarov	206f527338	Merge branch 'main' into jacqui/witness-generation	2022-11-30 10:09:57 -08:00
Jacqueline Nabaglo	87a9c002c9	Compiler errors + refactor	2022-11-28 13:19:40 -08:00
Daniel Lubarov	1b4acf5917	Make load_code a bit more general ... So that it can be used to load code we're going to execute into the code segment of a certain context.	2022-11-21 13:54:39 -08:00