7 Commits

Author SHA1 Message Date
wborgeaud
2ecca92bf6 Minor 2022-06-01 20:17:21 +02:00
wborgeaud
2e3a738bc5 Implement multi-table CTLs 2022-06-01 18:53:19 +02:00
wborgeaud
bd738399dd Clippy 2022-05-26 20:44:59 +02:00
wborgeaud
1fdb41755e Recursive proof isn't correct (yet) 2022-05-26 16:27:15 +02:00
wborgeaud
c49de59cbc Recursive verifier test compiles but fails 2022-05-24 17:50:28 +02:00
wborgeaud
9f01840a57 Make evm structs more generic 2022-05-19 09:41:15 +02:00
Daniel Lubarov
c54896dcb8
Rename starky2 -> evm (#547) 2022-05-18 10:32:14 -07:00