The new level of Taaquian 2.0: Dafny language fecon chain specification is legal.

08月
15
2021-8-15 11:02
share to
Scan QR code with WeChat

According to the August 15 news, Ben Edgington, the developer of ConsenSys and the developer of Ethereum 2.0, announced that the proof of the specification of the Dafny language tag chain has been completed in a new presentation of Ethereum 2.0. Special instructions have been updated. Ready to upgrade Altair to v2.0.0. One of the main goals of the Altair upgrade is to improve the user experience of the Ethereum 2.0 network. In this study, the current blocking of the beacon chain would need two seconds to complete in about 13 minutes, and the final decision timeframe means that the user can access the device the time it takes to build the longest chain. close.

Next:
Solana Chain's DEXSaber valued at over $ 200 million
According to the data, the large Saber decentralized exchange system based on Solana has more than $ 200 million. According to previous reports, Saber Labs, the Solana-based cross-chain coin exchange, has received $ 7.7 million in seed money.
2021-8-15 10:35

Weekly News

Recommend