Optional proving for zkProgram #4429

Job	Run time
Prepare	1m 23s
Build-And-Test-Web	3m 44s
Build-And-Test-Server (Simple integration tests)	43m 46s
Run unit tests parallel (1)	58s
Build-And-Test-Server (Reducer integration tests)	15m 35s
Run unit tests parallel (2)	27m 45s
Build-And-Test-Server (DEX integration tests)	17m 27s
Run unit tests parallel (3)	6m 1s
Build-And-Test-Server (DEX integration test with proofs)	16m 37s
Run unit tests parallel (4)	20m 23s
Build-And-Test-Server (Voting integration tests)	6m 16s
Run unit tests parallel (5)	12m 58s
Build-And-Test-Server (Verification Key Regression Check)	1h 4m 50s
Run unit tests parallel (6)	7m 24s
Build-And-Test-Server (CommonJS test)	1m 28s
Run unit tests parallel (7)	15m 11s
Run unit tests parallel (8)	2m 28s
Build-And-Test-Server (Unit tests)	1s
Release-mina-signer-on-NPM	0s
Release-on-NPM	0s
	4h 24m 15s

Provide feedback