|
About the Protocol Design category
|
|
0
|
110
|
October 11, 2023
|
|
A question on settlement to external chains
|
|
1
|
69
|
April 24, 2024
|
|
Simple Merkleization System
|
|
8
|
91
|
April 24, 2024
|
|
Sketch of possible Anoma proof-of-stake system: "heterogeneous proof-of-stake"
|
|
2
|
63
|
April 24, 2024
|
|
Speculative execution with the resource machine
|
|
0
|
49
|
April 1, 2024
|
|
Introducing IARMM: Non-overlay Network Settlement Layer and Exploring Intent Settlement on the Bitcoin Network
|
|
0
|
320
|
April 9, 2024
|
|
Some thoughts on controllers, promises, and fault isolation
|
|
3
|
40
|
April 4, 2024
|
|
Stored data format: resource machine <> storage
|
|
21
|
336
|
April 3, 2024
|
|
Initial Anoma applications to write in Juvix
|
|
3
|
106
|
March 21, 2024
|
|
Rise of the Resource Machines - Article Feedback
|
|
1
|
147
|
March 11, 2024
|
|
Collective curation of topics to go in resource machine report v2
|
|
6
|
187
|
March 8, 2024
|
|
Sketch of possible Anoma governance system: "intent-centric governance"
|
|
2
|
74
|
March 5, 2024
|
|
Abstract Intent Machines - Article feedback
|
|
0
|
51
|
February 23, 2024
|
|
CRDTs on the resource machine
|
|
0
|
112
|
February 19, 2024
|
|
Sketch of a controller-local name service application
|
|
1
|
44
|
February 19, 2024
|
|
Relationship between internal machine interfaces and the resource machine
|
|
0
|
54
|
February 16, 2024
|
|
The "Slow Game" in Decentralized Protocols: Navigating High-Frequency Service Regulation with Low-Frequency Governance (WIP)
|
|
5
|
206
|
January 29, 2024
|
|
Resource Consumption, Ownership and Authorization
|
|
3
|
106
|
January 7, 2024
|
|
Taiga function privacy roadmap
|
|
6
|
203
|
January 4, 2024
|
|
The Anoma Level (AL) Programming System
|
|
1
|
142
|
December 28, 2023
|
|
Behavioural properties in the Anoma specs
|
|
0
|
68
|
December 20, 2023
|
|
ART Report: Resource Machine
|
|
32
|
555
|
December 19, 2023
|
|
Specs <> engineering versioning discussions & priorities
|
|
1
|
125
|
December 10, 2023
|
|
Distributed solving discussions
|
|
0
|
71
|
December 9, 2023
|
|
Investigating alternative backends for the resource machine
|
|
13
|
373
|
December 7, 2023
|
|
Simple information flow control for partial transactions
|
|
8
|
227
|
November 29, 2023
|
|
Abstract intent machine model
|
|
7
|
235
|
November 27, 2023
|
|
Generalized proof-of-stake
|
|
0
|
203
|
November 27, 2023
|
|
Intent Languages: CSP Formulation
|
|
24
|
597
|
November 17, 2023
|
|
Proposal for revised engine groupings
|
|
16
|
291
|
November 21, 2023
|