ss1738

ss1738

👤 Developer

2 repositories on SrcLog

View on GitHub
2 Repos
2 Stars
0 Forks
0 Watchers

Repositories (2)

stigma ss1738/stigma Python

Stigmergic multi-agent consensus with trust that persists across runs. Zero dependencies.

1
epbs-formal ss1738/epbs-formal TLA

Machine-checked TLA+ formal model of Ethereum ePBS (EIP-7732) for the Glamsterdam upgrade. TLC-verified safety + liveness.

1