check the consenus layer
APACHE-2.0 License
ctcl is a (wip) cli tool for analyzing consensus layer chains. Right now, it only supports checking when a validator will activate, because that's the only thing I really care about.
ctcl
lampo (lightning in Italian) is a experimental implementation of a tiny lightning node
Library for interacting with SSZ merkle tree proofs.
In-place sparse merkle tree multiproof database
A WalletConnect client implementation in Rust
Solana automation engine
An EVM interpreter (wip)
A model checker for implementing distributed systems.
Smart-contract automation on Solana.
EVM Indexer
A surgical tool for interacting with binary trees.