Rust

feat: (chunked) mv-lookup solidity verifier (phase 2) (#524) #2519

Job	Run time
library-tests	5m 12s
docs	8m 8s
accuracy-measurement-tests	32m 58s
mock-proving-tests	1h 37m 32s
build	8m 17s
model-serialization	3m 27s
python-integration-tests	1h 29m 34s
ultra-overflow-tests	7m 35s
wasm32-tests	9m 41s
neg-tests	3m 10s
prove-and-verify-mock-aggr-tests	3m 41s
python-tests	7m 27s
examples	3m 59s
tutorial	18m 31s
prove-and-verify-tests	13m 48s
fuzz-tests	14m 45s
prove-and-verify-aggr-evm-tests	3m 53s
prove-and-verify-evm-tests	14m 45s
prove-and-verify-aggr-tests	1s
	5h 46m 24s

Provide feedback