https://github.com/anoma/typhon

Formalization of Typhon protocol
https://github.com/anoma/typhon

blockchain consensus distributed-systems heterogeneous-paxos paxos

Last synced: 3 months ago
JSON representation

Formalization of Typhon protocol

• Host: GitHub
• URL: https://github.com/anoma/typhon
• Owner: anoma
• License: gpl-3.0
• Created: 2021-10-01T10:59:33.000Z (about 4 years ago)
• Default Branch: main
• Last Pushed: 2024-12-17T18:24:18.000Z (10 months ago)
• Last Synced: 2024-12-17T19:27:57.184Z (10 months ago)
• Topics: blockchain, consensus, distributed-systems, heterogeneous-paxos, paxos
• Language: TLA
• Homepage: https://specs.anoma.net/main/architecture/consensus/typhon.html
• Size: 206 MB
• Stars: 30
• Watchers: 24
• Forks: 4
• Open Issues: 44
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Typhon

Typhon stores, orders, and executes transactions on Anoma blockchains. For more information, please see [the spec](https://specs.anoma.net/main/architecture/consensus/typhon.html).