eth2.0-dafny
consensus-specs
eth2.0-dafny | consensus-specs | |
---|---|---|
3 | 158 | |
65 | 3,443 | |
- | 1.6% | |
0.0 | 9.8 | |
over 2 years ago | 1 day ago | |
Dafny | Python | |
Apache License 2.0 | Creative Commons Zero v1.0 Universal |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
eth2.0-dafny
-
Explaining Ethereum's consensus mechanism after The Merge
> The implementations are also very close to formally verified if not fully formally verified.
So is Eth2, see "Formal Verification of the Ethereum 2.0 Beacon Chain" by Franck Cassez, Joanne Fuller, Aditya Asgaonkar, paper (https://arxiv.org/abs/2110.12909) and source code (https://github.com/ConsenSys/eth2.0-dafny). More efforts to formally verify Eth2 is ongoing as well, by different entities.
> Nothing is perfect but cryptographic code has to be pretty bulletproof or a lot of systems would get owned
Same with Ethereum. The chance of having a major impact with a vulnerability is even higher I'd argue, as you can easily extract currency you can trade for USD, and the entire network is inter-connected, so finding targets to exploit becomes even easier.
Point still stands that cryptography goes over a lot of peoples head, but you don't hear those people complaining that because they don't understand it, no one does.
-
How does the Dafny Programming Language compile-time check its constraints?
Things can get pretty complicated fast, with lots of assert statements:
- Formal Verification of the Ethereum 2.0 Beacon Chain
consensus-specs
- Daily General Discussion - June 23, 2023
-
Daily General Discussion - May 20, 2023
I think its 1 million: https://github.com/ethereum/consensus-specs/issues/2137
-
Ethereum's pending withdrawals total $1.34 billion after Shapella
how "radically decentralized" the development of the Ethereum core is. In the past half a decade only 133 devs have contributed to Ethereum source code. 2 devs have written 25% of the code. The first 10 developers have written 70% of the Ethereum code. Consensus specifications the ones that all the clients implement. Half are Consensys employees https://github.com/ethereum/consensus-specs
-
Daily General Discussion - February 18, 2023
I think this will be defined here: https://github.com/ethereum/consensus-specs/blob/dev/specs/deneb/fork-choice.md
- Daily General Discussion - February 17, 2023
-
There are over 7000 pending validators on the Ethereum test net. Looks like a lot of people want to practice staking before the Shanghai hardfork
Clients dependent on Consensys core and ETH management repo. A client is just the implementation directed by Consensys written in a different language. Fact is about 10 developers are the only reason those clients will update with staking. https://github.com/ethereum/consensus-specs
-
Set your Ethereum validator withdrawal address with CLWP today
Exits are processed at 7 per epoch (currently). There is no queue for withdrawals. See https://github.com/ethereum/consensus-specs/pull/3068
-
Evolution of the Ethereum Proof-of-Stake Consensus Protocol
https://github.com/ethereum/consensus-specs/blob/dev/specs/p...
-
How to merge an Ethereum network right from the genesis block
For that, we have to take the vanilla deposit contract from the consensus specs: deposit_contract.sol, get the Solidity compiler version 0.6.11, compile the binary of the runtime part, and create an empty deposit tree.
-
Centralization of ETH developer community?
The PoS consensus specification
What are some alternatives?
randao - RANDAO: A DAO working as RNG of Ethereum
l2beat - L2BEAT is an analytics and research website about Ethereum layer two (L2) scaling solutions.
ethereum-org-website - Ethereum.org is a primary online resource for the Ethereum community.
ergo - Ergo protocol description & reference client implementation
annotated-spec - Vitalik's annotated eth2 spec. Not intended to be "the" annotated spec; other documents like Ben Edgington's https://benjaminion.xyz/eth2-annotated-spec/ also exist. This one is intended to focus more on design rationale.
scaffold-eth - 🏗 forkable Ethereum dev stack focused on fast product iterations [Moved to: https://github.com/scaffold-eth/scaffold-eth]
rust-libp2p - The Rust Implementation of the libp2p networking stack.
EIPs - The Ethereum Improvement Proposal repository
go-ethereum - Go implementation of the Ethereum protocol
lido-dao - Lido DAO smart contracts
prysm - Go implementation of Ethereum proof of stake
pm - Project Management: Meeting notes and agenda items