saltiniroberto/ethereum-research

Contributions to the Ethereum Protocol

• Single Slot Finality (SSF)

  • Technical Paper: To be published soon
  • Blog Post: To be published soon
  • Draft Specifications
  • Automatic Model Checking of the Draft Specifications
  • Papers that SSF is based upon
    • TOB-SVD: Total-Order Broadcast with Single-Vote Decisions in the Sleepy Model

• Confirmation Rule

  • Technical Paper
  • Ethereum Spec PR

• Formal Verification of the c-kzg library

• DAS

  • Proposed Fork-choice Changes

• Bugs and Fixes to the Fork Choice algorithm

  • Report
  • Formal Proofs of the Correctness of the Fixes