Revolutionizing Ethereum and Polkadot: Efficient Verification of Casper FFG Consensus Proofs with SNARK-based Approach