25 Commits

Author SHA1 Message Date
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