|
Tracing Anoma Research Topics (ART)
|
|
0
|
104
|
February 16, 2024
|
|
This is not the SUAVE you are looking for
|
|
0
|
110
|
October 20, 2023
|
|
Circles x CoFi x Anoma - brainstorming, discussions, indexing ideas
|
|
0
|
122
|
July 28, 2023
|
|
Nillion's "NMC" approach to SMPC
|
|
0
|
96
|
November 9, 2023
|
|
FHE Meeting #5: Gentry 2009
|
|
6
|
136
|
January 7, 2024
|
|
Lattice sanctuary
|
|
2
|
64
|
April 11, 2024
|
|
Intents Aren't Real - Intents Day Recap
|
|
1
|
414
|
September 15, 2023
|
|
ART report: ZKVMs
|
|
4
|
153
|
December 8, 2023
|
|
[Draft v0] Anoma is unbundling technology, literally
|
|
7
|
125
|
May 10, 2024
|
|
Taiga transaction/partial transaction renaming proposal
|
|
2
|
107
|
August 10, 2023
|
|
[Proposal] Characterizing the Hierarchy of Games in Anoma
|
|
6
|
127
|
April 4, 2024
|
|
Am a discord creator and moderator can we build discord and telegram for community
|
|
4
|
196
|
June 7, 2023
|
|
ART: Compiling to zkVMs
|
|
0
|
81
|
February 5, 2024
|
|
Rise of the Resource Machines - Article Feedback
|
|
1
|
171
|
March 11, 2024
|
|
Exploring Intents in Modular Architectures
|
|
1
|
356
|
July 26, 2023
|
|
Integral evaluation in shielded pools
|
|
7
|
212
|
October 7, 2023
|
|
Sketch of a controller-local name service application
|
|
1
|
53
|
February 19, 2024
|
|
Anatomy of a partial transaction, Part 2: Creation
|
|
4
|
219
|
August 11, 2023
|
|
FHE Meeting #7: Gentry 2009 3/3
|
|
0
|
73
|
February 25, 2024
|
|
Anatomy of an application, Part 1: Introduction
|
|
2
|
285
|
August 11, 2023
|
|
[Proposal] Anoma Research Topic Report: Controllers
|
|
3
|
226
|
December 20, 2023
|
|
Arithmetisations for recursive schemes
|
|
2
|
121
|
January 26, 2024
|
|
Notes from Jamming on Applications
|
|
0
|
336
|
December 10, 2023
|
|
Relevant open research questions in cybernetics
|
|
1
|
136
|
May 30, 2023
|
|
Anatomy of an application, Part 2: Dynamic validity predicates
|
|
2
|
197
|
August 11, 2023
|
|
FHE Meeting #3: Paillier encryption
|
|
2
|
211
|
October 23, 2023
|
|
Public signal: brainstorming thread
|
|
3
|
172
|
October 13, 2023
|
|
Pledge On Anoma OS
|
|
1
|
119
|
September 8, 2023
|
|
Minimum viable stack machine
|
|
3
|
145
|
August 3, 2023
|
|
Z: brainstorming thread
|
|
3
|
142
|
August 29, 2023
|
|
Model based testing with Colored Petri Nets, DCR graphs
|
|
1
|
115
|
August 22, 2023
|
|
Relevant open research questions in distributed systems
|
|
2
|
164
|
May 31, 2023
|
|
Strategyproof Computing
|
|
0
|
213
|
October 16, 2023
|
|
A question on settlement to external chains
|
|
1
|
81
|
April 24, 2024
|
|
An Introduction to Intents and Intent-Centric Architectures
|
|
0
|
228
|
September 28, 2023
|
|
Notes on The Autonomous Ecologist's Guide to Namada and Anoma
|
|
0
|
210
|
September 29, 2023
|
|
Orchard protocol overview
|
|
0
|
203
|
July 25, 2023
|
|
Relevant open research questions in cryptography
|
|
0
|
167
|
May 27, 2023
|
|
Sapling binding signature
|
|
0
|
180
|
July 25, 2023
|
|
Specs <> engineering versioning discussions & priorities
|
|
1
|
133
|
December 10, 2023
|
|
Execution model: two-party exchange
|
|
0
|
144
|
July 25, 2023
|
|
Notes on profitable Censorship MEV
|
|
0
|
135
|
January 6, 2024
|
|
Relevant open research questions in P2P networking
|
|
0
|
162
|
May 27, 2023
|
|
Relevant open research questions in PLT & compilers
|
|
0
|
161
|
May 27, 2023
|
|
Powerful Intents Part 2: Solver Incentives
|
|
0
|
115
|
November 29, 2023
|
|
Do Intents Exist outside of Twitter?!
|
|
0
|
112
|
December 16, 2023
|
|
Model Checking: from the origins to perfomance evaluation or at least some of it
|
|
2
|
73
|
February 23, 2024
|
|
The 1996 Nobel Prize, the Second Price Auction, and Elixir
|
|
0
|
108
|
February 2, 2024
|
|
First draft of application state encoding format
|
|
0
|
20
|
May 6, 2024
|
|
Specs v2 Master Planning Thread
|
|
3
|
34
|
May 3, 2024
|