typed-protocols
lighthouse
typed-protocols | lighthouse | |
---|---|---|
2 | 124 | |
8 | 2,758 | |
- | 1.9% | |
7.3 | 9.7 | |
6 days ago | 2 days ago | |
Haskell | Rust | |
- | 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.
typed-protocols
-
On Implementation of Distributed Protocols
Certain correctness properties of code can be ensured statically, i.e. at compile time. Those checks rely on the programming language's type system. Software engineers can take advantage of type safety features to implement components in a way that makes them safe by construction. For example, Cardano uses the typed-protocols package, a generic framework for implementing application-level protocols, which is based on a simple form of session typing.6 Within this framework, protocols are described as state machines encoded into Haskell types. The allowed transitions between states correspond to messages exchanged between the peers, so the protocol state determines which messages are allowed to be sent or must be accepted when received, at type level. This simplifies protocol implementation, allows early detection of protocol violations, and makes the protocols themselves deadlock-free by construction. More advanced type-level programming techniques may allow achieving impressive levels of type safety; however, such code may be significantly harder to implement, understand, and maintain.
-
RPC lib?
I like to use typed-protocols for this: https://github.com/input-output-hk/typed-protocols/
lighthouse
-
On Implementation of Distributed Protocols
Lighthouse — an Ethereum consensus client (written in Rust);
- Daily General Discussion - July 5, 2023
- Lighthouse Release v4.3.0
-
Daily General Discussion - May 25, 2023
Daily Goerli: A whole lot more detail on the lighthouse db corruption issue I posted about previously. There's a warning that's been quite frequent on my erigon nodes for a while that doesn't seem to have any impact on its performance. I asked if it should be downgraded to INFO here.
- Lighthouse Release v4.2.0 (Fast Aging Alien)
-
Did I really waited 259 days and missed a 2,29 ethereum block proposal?
According to lighthouse team, the root cause was beacon node waited too long before requesting the payload header. All details here : https://github.com/sigp/lighthouse/issues/4312
- Lighthouse Release v4.1.0 (Uncle Steve)
-
Various validator issues around Shapella
Update LH to 4.0.2-rc.0 More info here https://github.com/sigp/lighthouse/releases/tag/v4.0.2-rc.0
-
Crypto’s Ethereum Network Completes Key Software Upgrade Without a Hitch
Which is not true... full nodes are consuming a lot of CPU now... hot-fix was released, but didn't solve the problem completely: https://github.com/sigp/lighthouse/releases/tag/v4.0.2-rc.0 ... more hot-fixes will be needed
-
Ethereum's pending withdrawals total $1.34 billion after Shapella
https://github.com/sigp/lighthouse 142 contributors
What are some alternatives?
nng-haskell - Haskell bindings for NNG (https://github.com/nanomsg/nng)
prysm - Go implementation of Ethereum proof of stake
cardano-node - The core component that is used to participate in a Cardano decentralised blockchain. [Moved to: https://github.com/IntersectMBO/cardano-node]
nimbus-eth2 - Nim implementation of the Ethereum Beacon Chain
lodestar - 🌟 TypeScript Implementation of Ethereum Consensus
go-ethereum - Go implementation of the Ethereum protocol
Nethermind - A robust execution client for Ethereum node operators.
Parity - (deprecated) The fast, light, and robust client for the Ethereum mainnet.
ethers-rs - Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers
teku - Open-source Ethereum consensus client written in Java
consensus-specs - Ethereum Proof-of-Stake Consensus Specifications
smartnode-install - The install script for a Rocket Pool smart node.