Skip to content
View michaelsproul's full-sized avatar
349 followers · 164 following

Organizations

@iron @CakeML @sigp @blockprint-collective

Block or report michaelsproul

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. sigp/lighthouse Public

    Ethereum consensus client in Rust

    Rust 3.1k 810

  2. sigp/blockprint Public

    Block fingerprinting for the beacon chain, for client diversity metrics

    Python 92 16

  3. seL4/l4v Public

    seL4 specification and proofs

    Isabelle 528 109

  4. ethereum/consensus-specs Public

    Ethereum Proof-of-Stake Consensus Specifications

    Python 3.7k 1k

981 contributions in the last year

Contribution Graph
Day of Week March April May June July August September October November December January February
Sunday
Monday
Tuesday
Wednesday
Thursday
Friday
Saturday
Learn how we count contributions
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More

Activity overview

Contributed to sigp/lighthouse, sigp/milhouse, sigp/ethereum_ssz and 46 other repositories
Loading A graph representing michaelsproul's contributions from March 03, 2024 to March 08, 2025. The contributions are 35% code review, 27% pull requests, 24% commits, 14% issues.

Contribution activity

March 2025

Created 2 commits in 1 repository

Created a pull request in sigp/lighthouse that received 4 comments

Manual finalization endpoint new pruning

Proposed Changes Spicy mashup of: #7059 #6744 This is BACKWARDS INCOMPATIBLE due to migrating the DB schema to v23 for Lion's improvements. We mi…

+1,666 −1,004 lines changed • 4 comments
Opened 5 other pull requests in 2 repositories
Reviewed 20 pull requests in 2 repositories

Created an issue in sigp/lighthouse that received 1 comment

Reject attestations to blocks prior to the split

With manual finalization, we added checks to reject blocks that conflict with the split point, which are effectively finalized. We didn't add any c…

1 comment
Opened 1 other issue in 1 repository
sigp/lighthouse 1 open
3 contributions in private repositories Mar 2 – Mar 6
Loading

Seeing something unexpected? Take a look at the GitHub profile guide.