Encode how to map provables to normal values #3762

Job	Run time
Build-And-Test-Server (Simple integration tests)	17m 44s
Build-And-Test-Web	5m 34s
Build-And-Test-Server (Reducer integration tests)	6m 14s
Build-And-Test-Server (DEX integration tests)	13m 54s
Build-And-Test-Server (DEX integration test with proofs)	13m 28s
Build-And-Test-Server (Voting integration tests)	5m 23s
Build-And-Test-Server (Unit tests)	36m 59s
Build-And-Test-Server (Verification Key Regression Check)	11m 16s
Build-And-Test-Server (CommonJS test)	6m 32s
Release-mina-signer-on-NPM	0s
Release-on-NPM	0s
	1h 57m 4s

Provide feedback