|
About the Protocol Design category
|
|
0
|
48
|
October 11, 2023
|
|
Simple information flow control for partial transactions
|
|
7
|
83
|
November 28, 2023
|
|
Investigating alternative backends for the resource machine
|
|
12
|
124
|
November 27, 2023
|
|
Collective curation of topics to go in resource machine report v2
|
|
1
|
38
|
November 27, 2023
|
|
Abstract intent machine model
|
|
7
|
139
|
November 27, 2023
|
|
Generalized proof-of-stake
|
|
0
|
15
|
November 27, 2023
|
|
ART Report: Resource Machine
|
|
24
|
154
|
November 24, 2023
|
|
Intent Languages: CSP Formulation
|
|
24
|
452
|
November 17, 2023
|
|
Proposal for revised engine groupings
|
|
16
|
190
|
November 21, 2023
|
|
Engine composition: abstract/concrete _and_ synchronous/asynchronous
|
|
0
|
25
|
November 21, 2023
|
|
Ideas on Architecutre (Specs) - diagrams, definitions, and framing
|
|
1
|
93
|
November 17, 2023
|
|
Taiga function privacy roadmap
|
|
3
|
102
|
November 16, 2023
|
|
Learner Graph: state of the art and open questions
|
|
10
|
37
|
November 15, 2023
|
|
The "Slow Game" in Decentralized Protocols: Navigating High-Frequency Service Regulation with Low-Frequency Governance (WIP)
|
|
3
|
97
|
November 5, 2023
|
|
Anoma Research Topic Report: Controllers
|
|
2
|
75
|
November 2, 2023
|
|
Forall / negative checks in resource logics
|
|
7
|
114
|
November 2, 2023
|
|
Strategyproof Computing
|
|
0
|
140
|
October 16, 2023
|
|
Relevant open research questions in P2P networking
|
|
0
|
92
|
May 27, 2023
|
|
Notes on Identities
|
|
0
|
77
|
July 26, 2023
|
|
Controllers from first principles
|
|
0
|
120
|
May 28, 2023
|
|
Taiga post-ordering execution and verification
|
|
3
|
117
|
October 5, 2023
|
|
Minimum viable abstract VM
|
|
8
|
182
|
September 26, 2023
|
|
Taiga's data format
|
|
2
|
118
|
September 25, 2023
|
|
Models of computation: selection criteria and candidates
|
|
5
|
163
|
September 13, 2023
|
|
Intents as (bio-)chemical reaction systems, modeled via KaSim
|
|
1
|
68
|
September 8, 2023
|
|
Pledge On Anoma OS
|
|
1
|
67
|
September 8, 2023
|
|
Model based testing with Colored Petri Nets, DCR graphs
|
|
1
|
59
|
August 22, 2023
|
|
Intent Machines: Composition and Components
|
|
1
|
118
|
August 18, 2023
|
|
Network layer privacy on Anoma: yay or nay?
|
|
4
|
103
|
August 10, 2023
|
|
Taiga transaction/partial transaction renaming proposal
|
|
2
|
67
|
August 10, 2023
|