Dmitry Vagner 7af11f4340 clean up prover code

2022-12-21 14:55:07 -08:00

..

benches

For permutations, find the optimal sequence of swaps

2022-08-09 16:33:02 -04:00

spec

MPT format tweaks

2022-10-14 18:09:43 -07:00

src

clean up prover code

2022-12-21 14:55:07 -08:00

tests

Fix logic and Keccak CTLs

2022-12-19 15:42:59 -08:00

Cargo.toml

deps fix

2022-12-13 10:29:03 -08:00