34 Commits

Author	SHA1	Message	Date
Nicholas Ward	ad85d61e51	fix	2023-03-20 13:09:42 -07:00
Nicholas Ward	4cef5aaa84	modmul and modexp	2023-03-20 13:09:42 -07:00
Dmitry Vagner	e3e5c67834	Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv	2023-02-25 10:30:46 -08:00
Daniel Lubarov	29f0692efc	Fix a few issues found by EVM tests	2023-02-24 23:37:08 -08:00
Dmitry Vagner	5e3e40a094	more general kernel peek	2023-02-19 16:05:39 -08:00
Dmitry Vagner	ec4cddb7c9	inv as method	2023-01-23 14:59:08 +07:00
Dmitry Vagner	7b52438173	en route to ownership	2023-01-21 16:38:43 +07:00
Dmitry Vagner	530fb65b7e	cleanup	2023-01-21 13:52:26 +07:00
Dmitry Vagner	d2aa937a2f	improved prover input and test api	2023-01-21 13:19:07 +07:00
Dmitry Vagner	9977ae03bd	new inverse	2023-01-18 14:41:09 +07:00
Dmitry Vagner	9cd1f8a1b2	Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv	2023-01-18 00:41:18 +07:00
Dmitry Vagner	be19cb81e3	struct impl style arithmetic	2023-01-17 23:58:36 +07:00
Dmitry Vagner	31c5db91a5	rename module	2023-01-17 16:11:15 +07:00
Dmitry Vagner	ccd4a38ab4	remove make_stack	2023-01-17 15:57:46 +07:00
wborgeaud	a158effe4d	Use error instead of panicking in FromStr	2023-01-13 15:26:53 +01:00
Dmitry Vagner	ea8cfc95b0	name	2023-01-13 09:06:51 +04:00
Dmitry Vagner	4f38c3a731	name	2023-01-13 08:48:51 +04:00
Dmitry Vagner	70d7fb1352	cleaner inv	2023-01-13 08:47:15 +04:00
Dmitry Vagner	9beca707e5	clean	2022-12-27 16:21:56 -08:00
Dmitry Vagner	31ee898770	clippy	2022-12-22 17:15:21 -08:00
Dmitry Vagner	b1f31cafec	more cleaning	2022-12-22 17:07:24 -08:00
Dmitry Vagner	89093b4df5	clean up	2022-12-22 15:10:29 -08:00
Dmitry Vagner	7af11f4340	clean up prover code	2022-12-21 14:55:07 -08:00
Dmitry Vagner	95383db49d	inverse edits	2022-12-20 11:57:45 -08:00
Dmitry Vagner	c246297158	inverse works	2022-12-20 00:47:57 -08:00
Dmitry Vagner	7788a29f4a	skeleton inv	2022-12-20 00:22:59 -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	027dfc14b6	Refactor to support PROVER_INPUT	2022-12-01 11:15:51 -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
wborgeaud	fd96d30e24	Minor	2022-10-27 14:57:17 +02:00
wborgeaud	6b4cce21d8	Start	2022-10-21 18:00:41 +02:00
Daniel Lubarov	c721155e23	Main function, txn processing loop	2022-09-29 23:15:33 -07:00
Daniel Lubarov	c7b03cfe9a	More MPT logic	2022-09-24 20:49:19 -07:00
Daniel Lubarov	37d92b55ac	Basic MPT logic ... For now this contains most of the basic framework/structure. Logic for things like insertions will come later.	2022-09-22 11:25:37 -07:00