• Press Releases
    • Submit a press release
    • Read All
  • Advertise
  • Contact us
Price & Market
Cap Data from
Nomics Logo Nomics Logo
Bitcoinist.com
Join Student Coin ICO
No Result
View All Result
  • Home
  • Bitcoin
    • News
    • Price
    • Businesses
    • Acceptance
    • Technology
    • Investment
    • Regulation
    • Reviews
    • All Bitcoin News
  • Altcoins
    • News
    • Price
    • Ethereum
    • Ripple
    • Litecoin
    • EOS
    • NAGA
    • All Altcoin News
  • Tech
    • Blockchain
    • Security
    • FinTech
  • Industry
    • Press releases
  • Price
    • Bitcoin Price
    • Ethereum Price
    • Litecoin Price
    • Binance Coin Price
    • Monero Price
    • MimbleWimbleCoin Price
  • How to
    • Buy gift cards/mobile Top Ups with Cryptos
    • What Is Bitcoin?
    • Best Bitcoin Wallet
    • Bitcoin vs Ethereum
    • Why Use Blockchain Technology?
    • Bitcoin Cash ABC vs. Bitcoin Cash SV
    • How to Buy Cryptocurrency
    • Bitcoin Mining
    • Best Bitcoin Brokers
    • Best Bitcoin Forex Brokers
    • How To Earn Btcoin
    • What is Facebook Libra?
    • Ripple and XRP: The Complete Guide
  • Trade
  • Play Games
  • Mining
  • Home
  • Bitcoin
    • News
    • Price
    • Businesses
    • Acceptance
    • Technology
    • Investment
    • Regulation
    • Reviews
    • All Bitcoin News
  • Altcoins
    • News
    • Price
    • Ethereum
    • Ripple
    • Litecoin
    • EOS
    • NAGA
    • All Altcoin News
  • Tech
    • Blockchain
    • Security
    • FinTech
  • Industry
    • Press releases
  • Price
    • Bitcoin Price
    • Ethereum Price
    • Litecoin Price
    • Binance Coin Price
    • Monero Price
    • MimbleWimbleCoin Price
  • How to
    • Buy gift cards/mobile Top Ups with Cryptos
    • What Is Bitcoin?
    • Best Bitcoin Wallet
    • Bitcoin vs Ethereum
    • Why Use Blockchain Technology?
    • Bitcoin Cash ABC vs. Bitcoin Cash SV
    • How to Buy Cryptocurrency
    • Bitcoin Mining
    • Best Bitcoin Brokers
    • Best Bitcoin Forex Brokers
    • How To Earn Btcoin
    • What is Facebook Libra?
    • Ripple and XRP: The Complete Guide
  • Trade
  • Play Games
  • Mining
Bitcoinist.com
No Result
View All Result
ethereum 2.0 developments
Nexo

Ethereum 2.0 Has Made Some Critical Advances

Ricardo Martinez by Ricardo Martinez
1 year ago
in Ethereum, News, News teaser
0

The deposit smart contract for Ethereum 2.0 has completed formal verification and audit of the bytecode. Continued optimizations to ETH 2.0’s beacon chain are also underway. 


Ethereum 2.0 is Getting Closer to Reality

Formal Verification (FV) is essential to production software development. FV is a method of analyzing the code semantics to make sure they adhere to certain properties. Many of the vulnerabilities in smart contracts are semantic errors in the code that allow undesired outcomes of code execution. This means glitches like the DAO hack can happen, contrary to the intentions of the creator of the smart contract.

Ethereum just finished its FV analysis of the Ethereum 2 deposit smart contract bytecode. Bytecode is a low-level code that runs in the Ethereum Virtual Machine (VM). The Ethereum VM takes code written in Solidity and then translates and runs it in the VM as bytecode. Having an audit of this code for ETH 2.0’s deposit contract is a big step forward.

Continued work on Ethereum 2’s beacon chain optimizations is also taking place. The beacon chain is the main reference chain that ETH 2’s shards will sync too. To allow for better scaling, the ETH 2 blockchain will be broken into pieces called shards, each like a mini-blockchain, which handles a subgroup of the total amount of transactions. Each shard will need to sync to this main beacon chain to stay in sync with every other shard.

Ethereum 2.0’s Lighthouse testnet recently patched a bug and was able to run 100K validator nodes, without any issues. Prysm test net, another implementation has successfully run with 35,000 validator nodes.

5 BTC + 300 Free Spins for new players & 15 BTC + 35.000 Free Spins every month, only at mBitcasino. Play Now!

Core Spec Also on the Path to Mainnet

Ethereum’s core spec is like a rough draft of the entire codebase, it describes how the code should properly function. At critical junctures in the code, ETH devs have been adding various different implementation choices, and the tradeoffs involved. This allows them to carefully weigh and consider each design choice implemented in the ETH 2 codebase.

The code in the spec is not optimized for performance, but to allow developers to consider just how their clients will need to be designed to accomplish the performance goals laid out in the spec. After the final design decisions have been made, the developers can then implement a sophisticated algorithm that allows a client to efficiently become optimized.

Consensys and The Ethereum Foundation (EF) have both been working on phase two development for Ethereum 2. Phase two is adding state and execution to the Ethereum shards. This is developing methods and standards for cross-shard communication, using tools like Merkle proofs and cross-links.

The phase two research is being carried out by Consensys’ Quilt team and EF’s eWASM team, and now another Consensys team has entered the fray, TXRX. TXRX is working on developing models to understand cross-shard complexity.

Do you think Ethereum 2.0 is making significant progress? Let us know in the comments!


Image via Bitcoinist Media Library

ShareTweetShareShare

Sign Up for Our Newsletter!

For updates and exclusive offers enter your email.

I consent to my submitted data being collected and stored.
BitStarz Player Lands $2,459,124 Record Win! Could you be next big winner?
Ricardo Martinez

Ricardo Martinez

Bitcoin news portal providing breaking news, guides, price analysis about decentralized digital money & blockchain technology.

Bitcoin

  • News
  • Price
  • Businesses
  • Acceptance
  • Technology
  • Investment
  • Regulation
  • Reviews

Altcoins

  • News
  • Price
  • Ethereum
  • Ripple
  • Litecoin
  • EOS
  • NAGA

Categories

  • Blockchain
  • Security
  • FinTech
  • Technology
  • Trending
  • Breaking News
  • Press Releases
  • How to

Pages

  • Contact us
  • Editorial Policy
  • Advertise
© 2021 Bitcoinist.com. All Rights Reserved.
  • Home
  • Bitcoin
    • News
    • Price
    • Businesses
    • Acceptance
    • Technology
    • Investment
    • Regulation
    • Reviews
    • All Bitcoin News
  • Altcoins
    • News
    • Price
    • Ethereum
    • Ripple
    • Litecoin
    • EOS
    • NAGA
    • All Altcoin News
  • Tech
    • Blockchain
    • Security
    • FinTech
  • Industry
    • Press releases
  • Price
    • Bitcoin Price
    • Ethereum Price
    • Litecoin Price
    • Binance Coin Price
    • Monero Price
    • MimbleWimbleCoin Price
  • How to
    • Buy gift cards/mobile Top Ups with Cryptos
    • What Is Bitcoin?
    • Best Bitcoin Wallet
    • Bitcoin vs Ethereum
    • Why Use Blockchain Technology?
    • Bitcoin Cash ABC vs. Bitcoin Cash SV
    • How to Buy Cryptocurrency
    • Bitcoin Mining
    • Best Bitcoin Brokers
    • Best Bitcoin Forex Brokers
    • How To Earn Btcoin
    • What is Facebook Libra?
    • Ripple and XRP: The Complete Guide
  • Trade
  • Play Games
  • Mining

© 2021 Bitcoinist. All Rights Reserved.

This website uses cookies. By continuing to use this website you are giving consent to cookies being used. Visit our Privacy Center or Cookie Policy.