michaelsproul
Building Ethereum at Sigma Prime. I like types, specs and proofs.
@sigp Sydney, Australia
Pinned Repositories
consensus-specs
Ethereum Proof-of-Stake Consensus Specifications
aus_senate
Implementation of the Australian senate voting algorithm
autozfs
Auto-mount ZFS external hard drives (macOS)
bullshit
Simple horoscope generator in Python
rust_radix_trie
Fast generic radix trie implemented in Rust
rust_sequence_trie
Ergonomic trie data structure
xuino
Command-line Arduino toolkit [deprecated]
l4v
seL4 specification and proofs
blockprint
DEPRECATED block fingerprinting
lighthouse
Ethereum consensus client in Rust
michaelsproul's Repositories
michaelsproul/rust_radix_trie
Fast generic radix trie implemented in Rust
michaelsproul/bulk-pay-aus
Make batch payments from Australian banks
michaelsproul/dummy_builder
No-op block builder for testing
michaelsproul/eth2-scripts
Scripts for Eth2 node admin + analysis
michaelsproul/ssz-hs
Ethereum SSZ library for Haskell
michaelsproul/.files
Configuation files and symlink deploy script
michaelsproul/optimising-attestation-packing-satalia
Joint project with Satalia on attestation packing https://lighthouse-blog.sigmaprime.io/optimising-attestation-packing.html
michaelsproul/alertbot
michaelsproul/beacon-APIs
Collection of RESTful APIs provided by Ethereum 2.0 clients
michaelsproul/c-kzg-4844
Minimal 4844 version of c-kzg
michaelsproul/consensus-specs
Ethereum 2.0 Specifications
michaelsproul/lighthouse
Rust Ethereum 2.0 Client
michaelsproul/mordhelp
Mordheim helper app
michaelsproul/zendo
A single-page, peer-to-peer, synchronous client for playing Zendo online (https://www.looneylabs.com/content/zendo)
michaelsproul/aos-dice
Dice and probability for Age of Sigmar
michaelsproul/archery
Abstract over the atomicity of reference-counting pointers in rust
michaelsproul/circular-test
Minimal repro for strange cargo behaviour
michaelsproul/documentation
Gnosis Chain Website
michaelsproul/e2store-format-specs
A collection of formats built on top of e2store
michaelsproul/ethereum-package
A Kurtosis package that deploys a private, portable, and modular Ethereum devnet
michaelsproul/ethereum_hashing
Hashing primitives used in Ethereum
michaelsproul/evercrypt-sha2
Rust wrapper for EverCrypt SHA256
michaelsproul/execution-apis
Collection of JSON-RPC APIs provided by Ethereum execution engines
michaelsproul/leveldb-sys
michaelsproul/michaelsproul.github.io
Temporary hosting
michaelsproul/photonics-simulator
Temporary home for Macquarie Uni Photonics Simulator
michaelsproul/protocol-studies
A study group learning about Ethereum and building protocol wiki
michaelsproul/reth
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
michaelsproul/rpds
Rust Persistent Data Structures
michaelsproul/tree_hash
SSZ-compatible tree hash implementation optimised for speed and security