By using this site, you agree to our use of cookies, which we use to analyse our traffic in accordance with our Privacy Policy. We also share information about your use of our site with our analytics partners.

Eth2

R&D
How We Proved the Eth2 Deposit Contract Is Free of Runtime Errors
Researchers at ConsenSys designed a machine-checkable correctness (and termination) proof for the Eth2 deposit contract, ensuring that the deposit contract is correct and free of runtime errors.
by Franck CassezSeptember 1, 2021
Blockchain Explained
Charting The Path To Proof of Stake Ethereum
Researchers and client teams successfully simulated a testnet between consensus clients and execution clients for Proof of Stake Ethereum.
by James BeckJune 3, 2021

Exclusive Content

The Web3 Report

The Web3 Report

The DeFi data, context, NFTs, tools, and trends that defined Web3 in Summer 2021.

Categories

Codefi Activate Codefi Assets Codefi Staking Codefi Payments Codefi Data Codefi Orchestrate Codefi Workflow Codefi Markets Codefi Compliance

CryptoEconomic Research

Enterprise Blockchain

Blockchain Explained

MetaMask Institutional

Events and Conferences

Hyperledger Besu

Popular Tags

Fundamental Protocol Research Ethereum 2.0 MetaMask Ethereum DeFi