Randao support

[bzawisto]

This PR introduces randao - which works as follows:

1. validators include RANDAO_REVEAL(block) = BLS_SIGN(proposer.privkey, block.view) in the randao_reveal field of block they propose
2. validator include RANDAO_MIX(block) = RANDAO_MIX(block.parent) XOR KECCAK256(RANDAO_REVEAL(block)) in the mixHash field of block they propose
3. nodes check if BLS_VERIFY(proposer.pubkey, block.view, RANDAO_REVEAL(block)) is true
4. nodes compute RANDAO_MIX(block) = RANDAO_MIX(block.parent) XOR KECCAK256(RANDAO_REVEAL(block)) and check if included mixHash included in a block is the same

[github-actions]

Bencher Report

Branch	randao-support
Testbed	self-hosted

🚨 1 Alert

Benchmark	Measure Units	View	Benchmark Result (Result Δ%)	Upper Boundary (Limit %)
process-empty/process-empty	Latency milliseconds (ms)	📈 plot 🚷 threshold 🚨 alert (🔔)	13.52 ms (+32.95%) Baseline: 10.17 ms	11.40 ms (118.60%)

Click to view all benchmark results

Benchmark	Latency	Benchmark Result milliseconds (ms) (Result Δ%)	Upper Boundary milliseconds (ms) (Limit %)
full-blocks-erc20-transfers/full-blocks-erc20-transfers	📈 view plot 🚷 view threshold	583.71 ms (-11.98%) Baseline: 663.14 ms	797.19 ms (73.22%)
full-blocks-evm-transfers/full-blocks-evm-transfers	📈 view plot 🚷 view threshold	803.47 ms (-14.49%) Baseline: 939.60 ms	1,172.04 ms (68.55%)
full-blocks-giant-deploy/full-blocks-giant-deploy	📈 view plot 🚷 view threshold	4,917.50 ms (-5.20%) Baseline: 5,187.50 ms	6,052.83 ms (81.24%)
full-blocks-scilla-add/full-blocks-scilla-add	📈 view plot 🚷 view threshold	998.00 ms (-3.01%) Baseline: 1,028.94 ms	1,189.70 ms (83.89%)
full-blocks-scilla-load/full-blocks-scilla-load	📈 view plot 🚷 view threshold	5,206.60 ms (+1.58%) Baseline: 5,125.68 ms	6,461.18 ms (80.58%)
full-blocks-scilla-store/full-blocks-scilla-store	📈 view plot 🚷 view threshold	4,068.60 ms (-0.99%) Baseline: 4,109.19 ms	5,049.17 ms (80.58%)
full-blocks-zil-transfers/full-blocks-zil-transfers	📈 view plot 🚷 view threshold	883.50 ms (-10.40%) Baseline: 986.10 ms	1,432.26 ms (61.69%)
process-empty/process-empty	📈 view plot 🚷 view threshold 🚨 view alert (🔔)	13.52 ms (+32.95%) Baseline: 10.17 ms	11.40 ms (118.60%)

🐰 View full continuous benchmarking report in Bencher