epbs-formal
ss1738
Machine-checked TLA+ formal model of Ethereum ePBS (EIP-7732) for the Glamsterdam upgrade. TLC-verified safety + liveness.
1
Stars
0
Forks
0
Watchers
TLA
Language
mit
License
37
SrcLog Score
Growth over time
2 data points · 2026-08-15 → 2026-09-11
Stars
Forks
Watchers
💬
How do you feel about this project?
Ask AI about epbs-formal
Question copied to clipboardWhat is the ss1738/epbs-formal GitHub project? Description: "Machine-checked TLA+ formal model of Ethereum ePBS (EIP-7732) for the Glamsterdam upgrade. TLC-verified safety + liveness.". Written in TLA. Explain what it does, its main use cases, key features, and who would benefit from using it.
Question is copied to clipboard — paste it after the AI opens.
How to clone epbs-formal
Clone via HTTPS
git clone https://github.com/ss1738/epbs-formal.git
Clone via SSH
[email protected]:ss1738/epbs-formal.git
Download ZIP
Download main.zipFound an issue?
Report bugs or request features on the epbs-formal issue tracker:
Open GitHub IssuesSimilar to epbs-formal
etcd
fabric
rqlite
tikv
translations
quorum
tendermint
awesome-distributed-systems
atomix
paxosstore
hraftd
copycat
burrow
cita
elle
ethermint-archive
awesome-cryptoeconomics
js
nanochain
floyd
bismuth
truechain-consensus-core
uplink
go-spacemesh
xrpl-dev-portal
awesome-decentralized-papers
swim-js
x0
verdi-raft
yaraft