|
About the Protocol Design category
|
|
0
|
111
|
October 11, 2023
|
|
A question on settlement to external chains
|
|
1
|
71
|
April 24, 2024
|
|
Simple Merkleization System
|
|
8
|
92
|
April 24, 2024
|
|
Sketch of possible Anoma proof-of-stake system: "heterogeneous proof-of-stake"
|
|
2
|
66
|
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
|
323
|
April 9, 2024
|
|
Some thoughts on controllers, promises, and fault isolation
|
|
3
|
41
|
April 4, 2024
|
|
Stored data format: resource machine <> storage
|
|
21
|
336
|
April 3, 2024
|
|
Initial Anoma applications to write in Juvix
|
|
3
|
108
|
March 21, 2024
|
|
Rise of the Resource Machines - Article Feedback
|
|
1
|
149
|
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
|
76
|
March 5, 2024
|
|
Abstract Intent Machines - Article feedback
|
|
0
|
51
|
February 23, 2024
|
|
CRDTs on the resource machine
|
|
0
|
114
|
February 19, 2024
|
|
Sketch of a controller-local name service application
|
|
1
|
45
|
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
|
207
|
January 29, 2024
|
|
Resource Consumption, Ownership and Authorization
|
|
3
|
107
|
January 7, 2024
|
|
Taiga function privacy roadmap
|
|
6
|
204
|
January 4, 2024
|
|
The Anoma Level (AL) Programming System
|
|
1
|
143
|
December 28, 2023
|
|
Behavioural properties in the Anoma specs
|
|
0
|
69
|
December 20, 2023
|
|
ART Report: Resource Machine
|
|
32
|
557
|
December 19, 2023
|
|
Specs <> engineering versioning discussions & priorities
|
|
1
|
125
|
December 10, 2023
|
|
Distributed solving discussions
|
|
0
|
72
|
December 9, 2023
|
|
Investigating alternative backends for the resource machine
|
|
13
|
374
|
December 7, 2023
|
|
Simple information flow control for partial transactions
|
|
8
|
228
|
November 29, 2023
|
|
Abstract intent machine model
|
|
7
|
236
|
November 27, 2023
|
|
Generalized proof-of-stake
|
|
0
|
205
|
November 27, 2023
|
|
Intent Languages: CSP Formulation
|
|
24
|
599
|
November 17, 2023
|
|
Proposal for revised engine groupings
|
|
16
|
292
|
November 21, 2023
|