feat: reusable verifier #4177

Job	Run time
build	4m 48s
build	4m 48s
library-tests	3m 43s
library-tests	3m 43s
docs	5m 10s
docs	5m 10s
model-serialization	3m 15s
model-serialization	3m 15s
prove-and-verify-aggr-tests-gpu	1m 36s
prove-and-verify-aggr-tests-gpu	1m 36s
python-integration-tests	1s
python-integration-tests	1s
ultra-overflow-tests	1s
ultra-overflow-tests	1s
ultra-overflow-tests_og-lookup	1s
ultra-overflow-tests_og-lookup	1s
ultra-overflow-tests-gpu	3m 55s
ultra-overflow-tests-gpu	3m 55s
prove-and-verify-tests	1s
prove-and-verify-tests	1s
python-tests	1s
python-tests	1s
examples	11m 40s
examples	11m 40s
mock-proving-tests	1s
mock-proving-tests	1s
tutorial	1s
tutorial	1s
accuracy-measurement-tests	1s
accuracy-measurement-tests	1s
prove-and-verify-aggr-evm-tests	1s
prove-and-verify-aggr-evm-tests	1s
prove-and-verify-aggr-tests	1s
prove-and-verify-aggr-tests	1s
prove-and-verify-evm-tests	1s
prove-and-verify-evm-tests	1s
prove-and-verify-mock-aggr-tests	1s
prove-and-verify-mock-aggr-tests	1s
wasm32-tests	1s
wasm32-tests	1s
	1h 8m 40s

Provide feedback