eth2.0-dafny
prysm
eth2.0-dafny | prysm | |
---|---|---|
3 | 134 | |
65 | 3,360 | |
- | 1.0% | |
0.0 | 9.7 | |
over 2 years ago | 7 days ago | |
Dafny | Go | |
Apache License 2.0 | GNU General Public License v3.0 only |
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
prysm
-
Did I break CURL ? can't update my validator from github
curl -LO https://github.com/prysmaticlabs/prysm/releases/download/v4.0.7/beacon-chain-v4.0.7-modern-linux-amd64
-
Does anyone know how to use Prysmctl?
I do not believe that there is a Windows version of prysymctl. Appears to be only built for linux.
-
Smartnode Release v1.9.7 - Prysm and Teku Updates
Prysm's debug image for v4.0.6 (which Rocket Pool requires due to it having a Linux shell) claims to contain the v4.0.5 binaries. The Prysm team has been notified but is not in a position to redeploy the Docker image with the correct version at this time. Due to this, we have created our own Docker image for Prysm v4.0.6 which uses the correct binaries from their release page (https://github.com/prysmaticlabs/prysm/releases/tag/v4.0.6).
- PRYSM: how exactly do I get the "modern" version to run?
-
Bot for GitHub/Lab Releases
I want to create a bot that sends messages once new releases of certain GitHub/Gitlab repo’s ( -https://github.com/bitcoin/bitcoin/releases -https://github.com/ethereum/go-ethereum/releases -https://github.com/prysmaticlabs/prysm/releases -https://github.com/dashpay/dash/releases -https://github.com/Team-Kujira/core/tags -https://gitlab.com/thorchain/thornode/-/releases ) have been released.
- MEV boost Yes or No?
-
Proposal missed with error "posting the SignedBlindedBeaconBlockCapella to the builder api"
The same thing happened to me, I opened an issue in prysm and in mevboost, we are not the only ones with bad luck, https://github.com/prysmaticlabs/prysm/issues/12434 https://github.com/flashbots/mev-boost/issues/516 try adding the --build-block-parallel flag I also removed 2 relays, flashboot and brute. Hopefully next time we'll have better luck. sorry for my bad english
- Block Missed?
- Prysm Release v4.0.4 · first full release following recent mainnet issues · pls update immediately
What are some alternatives?
randao - RANDAO: A DAO working as RNG of Ethereum
lighthouse - Ethereum consensus client in Rust
go-ethereum - Go implementation of the Ethereum protocol
nimbus-eth2 - Nim implementation of the Ethereum Beacon Chain
eth2-staking-rewards-calculator - [Archived, see README] Allows you to calculate the Ethereum 2.0 staking rewards on a day-by-day basis (useful for tax purposes).
Nethermind - A robust execution client for Ethereum node operators.
teku - Open-source Ethereum consensus client written in Java
ethereum-org-website - Ethereum.org is a primary online resource for the Ethereum community.
rocketpool - Decentralised Ethereum Liquid Staking Protocol.
bit - Bit is a modern Git CLI
consensus-specs - Ethereum Proof-of-Stake Consensus Specifications
defisaver-v3-contracts - All the contracts related to the Defi Saver ecosystem