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 Ethereum 2.0
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 Teku
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

Report The Ultimate Guide to ETH Staking Withdrawals

Report: The Ultimate Guide to ETH Staking Withdrawals

All you need to know about the Shanghai/Capella upgrade, and what it means for stakers and the web3 ecosystem.

Categories

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

CryptoEconomic Research

MetaMask Institutional

Enterprise Blockchain

Blockchain Explained

Events and Conferences

Hyperledger Besu

Popular Tags

Ethereum Fundamental Protocol Research DeFi MetaMask Ethereum 2.0