issues
search
anoma
/
typhon
Formalization of Typhon protocol
https://specs.anoma.net/main/architecture/consensus/typhon.html
GNU General Public License v3.0
29
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Update README
#82
karbyshev
closed
2 days ago
0
Rename folder
#81
karbyshev
closed
2 days ago
0
Clean stuff
#80
karbyshev
closed
2 days ago
0
Use Caught0 instead of Caught
#79
karbyshev
closed
3 days ago
0
Rename message field according to ART report
#78
karbyshev
closed
6 days ago
0
Simplify message structure and acceptor algorithm
#77
karbyshev
closed
6 days ago
0
Simplify definition of Buried
#76
karbyshev
closed
1 week ago
0
Fix missing case in 1b-message processing
#75
karbyshev
closed
1 month ago
0
Revise definitions of Buried and Con2as
#74
karbyshev
closed
1 month ago
0
Rename HPaxos 2 files
#73
karbyshev
closed
6 months ago
0
Fix predicates
#72
karbyshev
closed
6 months ago
0
Clean
#71
karbyshev
closed
6 months ago
0
New definitions; changed 1a processing
#70
karbyshev
closed
6 months ago
0
Refactoring; improvements
#69
karbyshev
closed
6 months ago
0
Remove redundant usages of UpToDate defition
#68
karbyshev
closed
6 months ago
0
Remove redundant usages of UpToDate defition
#67
karbyshev
closed
6 months ago
0
Fix recent_msgs type
#66
karbyshev
closed
6 months ago
0
PlusCal specs
#65
karbyshev
closed
6 months ago
0
Improve definition of Con2as
#64
karbyshev
closed
6 months ago
0
HPaxos: chain 2a version
#63
karbyshev
closed
6 months ago
0
Prove more equivalences for well-formedness conditions
#62
karbyshev
closed
7 months ago
0
Add an equivalent definition of Caught
#61
karbyshev
closed
1 year ago
0
tla: clean code
#60
karbyshev
closed
1 year ago
0
HPaxos: define transitive closure for prev
#59
karbyshev
closed
1 year ago
0
Minor fix
#58
karbyshev
closed
1 year ago
0
Version of heterogeneous paxos using a new misbehavior detection mechanism
#57
karbyshev
closed
1 year ago
0
Taiga-Typhon Simple Execution Server
#56
isheff
opened
1 year ago
0
Coherent Typhon Stateright Prototype
#55
isheff
opened
1 year ago
0
Multi-Round Heterogeneous Paxos
#54
isheff
opened
1 year ago
0
Coherent Typhon Formal Spec
#53
isheff
opened
1 year ago
0
Coherent Typhon English Spec
#52
isheff
opened
1 year ago
0
Execution Engine Stateright Prototype
#51
isheff
opened
1 year ago
0
Execution Engine Formal Spec
#50
isheff
opened
1 year ago
0
Chimera Chain Blog Post
#49
isheff
opened
1 year ago
0
Chimera Chain English Spec
#48
isheff
opened
1 year ago
0
depends
#47
isheff
closed
1 year ago
1
dependency
#46
isheff
closed
1 year ago
1
Heterogeneous Paxos Stateright Prototype
#45
isheff
opened
1 year ago
0
Heterogeneous Narwhal Stateright Prototype
#44
isheff
opened
1 year ago
0
Test test
#43
nzarin
closed
1 year ago
0
Heterogeneous Narwhal Formal Spec
#42
isheff
opened
1 year ago
0
Heterogeneous Narwhal English Spec
#41
isheff
opened
1 year ago
0
Prepare and submit paper on Anoma's P2P architecture
#40
nzarin
opened
1 year ago
0
Fix: message handling should not rely on global `caught` set
#39
karbyshev
closed
1 year ago
0
Start of heterogeneous paxos prototype implementation
#38
karbyshev
closed
1 year ago
0
Update README.md
#37
gavinly
closed
2 years ago
0
Heterogeneous Paxos protocol formalization and proof for safety
#36
karbyshev
closed
2 years ago
0
Probability of a bad partition
#35
isheff
opened
2 years ago
0
Add comments to HPaxos TLA Spec
#34
isheff
opened
2 years ago
0
Primitive Benchmark
#33
isheff
opened
2 years ago
3
Next