Verilay: A Verifiable Proof of Stake Chain Relay

01/21/2022
by   Martin Westerkamp, et al.
0

Blockchain relay schemes enable cross-chain state proofs without requiring trusted intermediaries. This is achieved by applying the source blockchain's consensus validation protocol on the target blockchain. Existing chain relays allow for the validation of blocks created using the Proof of Work (PoW) protocol. Since PoW entails high energy consumption, limited throughput, and no guaranteed finality, Proof of Stake (PoS) blockchain protocols are increasingly popular for addressing these shortcomings. We propose Verilay, the first chain relay scheme that enables validating PoS protocols that produce finalized blocks, for example, Ethereum 2.0, Cosmos, and Polkadot. The concept does not require changes to the source blockchain protocols or validator operations. Signatures of block proposers are validated by a dedicated relay smart contract on the target blockchain. In contrast to basic PoW chain relays, Verilay requires only a subset of block headers to be submitted in order to maintain full verifiability. This yields enhanced scalability. We provide a prototypical implementation that facilitates the validation of Ethereum 2.0 beacon chain headers within the Ethereum Virtual Machine (EVM). Our evaluation proves the applicability to Ethereum 1.0's mainnet and confirms that only a fraction of transaction costs are required compared to PoW chain relay updates.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/11/2019

Incentives in Ethereum's Hybrid Casper Protocol

We present an overview of hybrid Casper the Friendly Finality Gadget (FF...
research
12/10/2022

Specular: Towards Trust-minimized Blockchain Execution Scalability with EVM-native Fraud Proofs

An optimistic rollup (ORU) enables refereed delegation of computation fr...
research
10/18/2019

CDAG: A Serialized blockDAG for Permissioned Blockchain

Blockchain is maintained as a global log between a network of nodes and ...
research
11/19/2021

A Voting-Based Blockchain Interoperability Oracle

Today's blockchain landscape is severely fragmented as more and more het...
research
05/30/2023

Ethereum's Proposer-Builder Separation: Promises and Realities

With Ethereum's transition from Proof-of-Work to Proof-of-Stake in Septe...
research
10/30/2020

ACeD: Scalable Data Availability Oracle

A popular method in practice offloads computation and storage in blockch...
research
06/18/2020

Resource Pools and the CAP Theorem

Blockchain protocols differ in fundamental ways, including the mechanics...

Please sign up or login with your details

Forgot password? Click here to reset