Harsh-x01

Harsh-x01

👤 Developer

1 repository on SrcLog

View on GitHub
1 Repos
0 Stars
0 Forks
0 Watchers

🏆 Show off this rank

Harsh-x01 on SrcLog (holo style)

Add it to a GitHub README or profile — the card updates as the ranking changes:

Repositories (1)

alpenglow-consensus Harsh-x01/alpenglow-consensus Python

Formal verification of Alpenglow consensus protocol for Solana using TLA+ - 604K+ states verified, 100% test pass rate

0