|
About the Resource Machine Stuff category
|
|
0
|
27
|
September 24, 2024
|
|
RM Spec Planned Updates Tracking
|
|
0
|
22
|
February 21, 2025
|
|
Looking at the OO Resource Machine Experiment
|
|
0
|
29
|
April 3, 2025
|
|
Proposal: Towards QTT Semantics of RM
|
|
24
|
113
|
April 3, 2025
|
|
Issue with the value field in Intent bearing Resources
|
|
24
|
133
|
April 1, 2025
|
|
Storage and deletion criteria questions
|
|
6
|
57
|
February 27, 2025
|
|
State Architecture for Shielded Execution and Other Questions
|
|
0
|
22
|
February 27, 2025
|
|
RM-controlled Ethereum EOAs with EIP-7702
|
|
2
|
20
|
February 24, 2025
|
|
RM vs. EVM: material collection
|
|
1
|
17
|
February 20, 2025
|
|
EVM Protocol Adapter
|
|
25
|
195
|
February 11, 2025
|
|
Other stuff to be specified somewhere
|
|
0
|
13
|
February 11, 2025
|
|
Current State of References
|
|
6
|
36
|
January 30, 2025
|
|
Binding signature in RM terms
|
|
0
|
15
|
January 28, 2025
|
|
Action Contexts vs. Cross-Action Information Lookups
|
|
4
|
20
|
January 24, 2025
|
|
ARM specs feedback
|
|
0
|
32
|
December 20, 2024
|
|
Clarifying proof structures
|
|
8
|
58
|
December 16, 2024
|
|
Verifiable Encryption in shielded RMs
|
|
2
|
66
|
December 2, 2024
|
|
RM interoperability questions and concerns
|
|
14
|
74
|
November 15, 2024
|
|
Proposal for gas payment in the resource machine
|
|
8
|
68
|
November 11, 2024
|
|
Client-side RM execution
|
|
8
|
91
|
November 8, 2024
|
|
Should the RM support independently balance-checked actions?
|
|
1
|
28
|
November 7, 2024
|
|
Meditation on ephemeral resources
|
|
2
|
47
|
November 1, 2024
|
|
Resource logics: Connecting nullifiers and consumed resources
|
|
26
|
111
|
October 29, 2024
|
|
Properties vs Primitives
|
|
0
|
14
|
October 22, 2024
|
|
Input argument types of the compliance proof `prove` function
|
|
12
|
61
|
October 18, 2024
|
|
Transaction Balance Change
|
|
18
|
45
|
October 2, 2024
|
|
ART Report: Resource Machine
|
|
57
|
958
|
September 23, 2024
|
|
CRDTs on the resource machine
|
|
1
|
171
|
August 29, 2024
|
|
How to check the correspondence of nullifiers and commitments between compliance proofs and resource logic proofs
|
|
5
|
69
|
August 13, 2024
|
|
Constraint linearity in the resource machine
|
|
42
|
176
|
July 17, 2024
|