chore: version proof and witness (#865) #4270

Job	Run time
build	5m 11s
docs	5m 24s
ios-integration-tests	4m 32s
library-tests	3m 50s
model-serialization	3m 20s
prove-and-verify-aggr-tests-gpu	2m 2s
python-integration-tests	1h 36m 57s
ultra-overflow-tests	7m 32s
ultra-overflow-tests_og-lookup	7m 31s
wasm32-tests	7m 33s
swift-package-tests	12m 18s
python-tests	13m 16s
examples	12m 9s
prove-and-verify-tests	1h 11m 31s
mock-proving-tests	1h 14m 29s
tutorial	15m 34s
accuracy-measurement-tests	43m 29s
prove-and-verify-aggr-evm-tests	37m 43s
prove-and-verify-aggr-tests	45m 34s
prove-and-verify-evm-tests	1h 3m 20s
prove-and-verify-mock-aggr-tests	7m 11s
	9h 0m 26s

Provide feedback