eth2.0-dafny
teku
eth2.0-dafny | teku | |
---|---|---|
3 | 50 | |
65 | 632 | |
- | 1.3% | |
0.0 | 9.8 | |
over 2 years ago | 7 days ago | |
Dafny | Java | |
Apache License 2.0 | Apache License 2.0 |
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
teku
- Teku Release 23.5.0 - recommended upgrade
- Daily General Discussion - May 12, 2023
-
Besu 23.1.2 => vert.x-worker-thread-0 | WARN | WithdrawalsValidator$AllowedWithdrawals | withdrawals must not be null when Withdrawals are activated
You can try to upgrade it to the latest version https://github.com/ConsenSys/teku/releases/tag/23.3.1 and see if it fixes your issue, but if that doesn't work then you'll probably need to resync your clients.
-
Daily General Discussion - March 29, 2023
I discovered a bug in Lodestar that causes it to fail to preserve queued BLS-to-execution messages on shutdown.
- Teku v23.3.0 released
-
Is there any service that sends notifications when I have to update by validator software (i.e. consensus (e.g. lighthouse) and execution (e.g. geth)?
Teku: https://github.com/ConsenSys/teku/releases
-
Gnosis Merge-ready release clients
Consensus Layer client ✅ Teku v22.11.0: https://github.com/ConsenSys/teku/releases/tag/22.11.0 ✅ Lodestar v1.2.2: https://github.com/ChainSafe/lodestar/releases/tag/v1.2.2 🟡 Lighthouse: coming soon 🟡 Nimbus: coming soon ❌ Prysm: advised to switch to other clients
-
Anyone else encounter the failure to register validator with builder network error?
create an issue here? https://github.com/ConsenSys/teku
-
is it common to miss an attestation once or twice a day?
It's all coming from besu's slow processing of blocks https://github.com/ConsenSys/teku/issues/6205
-
Daily General Discussion - September 16, 2022
Teku v22.9.1-RC1 released today
What are some alternatives?
randao - RANDAO: A DAO working as RNG of Ethereum
prysm - Go implementation of Ethereum proof of stake
nimbus-eth2 - Nim implementation of the Ethereum Beacon Chain
Log4jAttackSurface
staking-deposit-cli - Secure key generation for deposits
airdrop-addresses
solidity - Solidity, the Smart Contract Programming Language
lighthouse - Ethereum consensus client in Rust
headlong - High-performance Contract ABI and RLP for Ethereum
crypto-fees - Website for comparing total daily fees of various blockchain protocols.
eth2-beaconchain-explorer - Open source golang based explorer for the eth2 beacon chain
besu - An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client https://wiki.hyperledger.org/display/besu