Bes - Implement Ethereum Consensus Verification in Cairo

[louisguthmannStarkWare]

StarkNet is built as an L2 of Ethereum. One remarkable consequence is the ability to pass data from L1 to L2, but it came become expensive and slow to pass the data in such way.

One idea is to directly verify Eth Consensus on L2 and verify it in Cairo. Some work have been done on implementing BLS12 (https://github.com/NethermindEth/optimized_ecc_cairo) and can be extended to support full verification.