eth2.0-dafny
nimbus-eth2
eth2.0-dafny | nimbus-eth2 | |
---|---|---|
3 | 70 | |
65 | 494 | |
- | 2.0% | |
0.0 | 9.8 | |
over 2 years ago | 1 day ago | |
Dafny | Nim | |
Apache License 2.0 | GNU General Public License v3.0 or later |
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
nimbus-eth2
- Nim v2.0 Released
-
Crystal 1.9.1 Is Released
Agreed! There's a couple of fairly large projects in Nim: https://nimbus.team/ (https://github.com/status-im/nimbus-eth2) or https://github.com/zedeus/nitter
Though there's still friction points I've been happy seeing the ecosystem grow lately. The compiler has seen a lot of bug fixes lately too which helps.
-
Daily General Discussion - June 22, 2023
Pretty big update for Nimbus out today, it's been a long time coming: https://github.com/status-im/nimbus-eth2/releases/tag/v23.6.0
-
erigon sync log correct?
consensus client/execution client -> ERIGON v2.45.2 and NIMBUS v23.5.1
-
[1 Year Review] Status still hasn't released anything or gained any real market share in private messaging
In the same year their beacon chain client followed Bellatrix (Merge) and Capella upgrades without a hitch, which is in many ways more impressive than a messenger.
-
Daily General Discussion - May 19, 2023
Nimbus claims to have a solution to the loss of finality problem that was caused by old attestations, by dramatically speeding up the verification of those attestations: https://github.com/status-im/nimbus-eth2/pull/4911
- Daily General Discussion - May 12, 2023
-
Daily General Discussion - May 9, 2023
Seems they just released 23.5.0, to fix many of the issues we've been having: https://github.com/status-im/nimbus-eth2/releases/tag/v23.5.0
-
Ethereum's pending withdrawals total $1.34 billion after Shapella
https://github.com/status-im/nimbus-eth2 69 contributors
-
Daily General Discussion - March 31, 2023
Daily Goerli: Was getting a lot of missed attestations with nimbus and after some back and forth with tersec, we confirmed that timeouts communicating with web3signer were the culprit. A fix should be merged soon.
What are some alternatives?
randao - RANDAO: A DAO working as RNG of Ethereum
lighthouse - Ethereum consensus client in Rust
prysm - Go implementation of Ethereum proof of stake
lodestar - 🌟 TypeScript Implementation of Ethereum Consensus
Nethermind - A robust execution client for Ethereum node operators.
teku - Open-source Ethereum consensus client written in Java
libsignal - Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.
application - Buckets Desktop Application
jester - A sinatra-like web framework for Nim.
Log4jAttackSurface
nimbus-eth1 - Nimbus: an Ethereum Execution Client for Resource-Restricted Devices
httpbeast - A highly performant, multi-threaded HTTP 1.1 server written in Nim.