|
About the Resource Machine Stuff category
|
|
0
|
19
|
September 24, 2024
|
|
ARM specs feedback
|
|
0
|
8
|
December 20, 2024
|
|
Clarifying proof structures
|
|
8
|
56
|
December 16, 2024
|
|
EVM Protocol Adapter
|
|
5
|
37
|
December 16, 2024
|
|
RM vs. EVM: material collection
|
|
0
|
6
|
December 9, 2024
|
|
Verifiable Encryption in shielded RMs
|
|
2
|
50
|
December 2, 2024
|
|
RM interoperability questions and concerns
|
|
14
|
63
|
November 15, 2024
|
|
Proposal for gas payment in the resource machine
|
|
8
|
66
|
November 11, 2024
|
|
Client-side RM execution
|
|
8
|
77
|
November 8, 2024
|
|
Should the RM support independently balance-checked actions?
|
|
1
|
26
|
November 7, 2024
|
|
Meditation on ephemeral resources
|
|
2
|
39
|
November 1, 2024
|
|
Resource logics: Connecting nullifiers and consumed resources
|
|
26
|
100
|
October 29, 2024
|
|
Properties vs Primitives
|
|
0
|
13
|
October 22, 2024
|
|
Input argument types of the compliance proof `prove` function
|
|
12
|
59
|
October 18, 2024
|
|
Transaction Balance Change
|
|
18
|
39
|
October 2, 2024
|
|
ART Report: Resource Machine
|
|
57
|
887
|
September 23, 2024
|
|
CRDTs on the resource machine
|
|
1
|
167
|
August 29, 2024
|
|
How to check the correspondence of nullifiers and commitments between compliance proofs and resource logic proofs
|
|
5
|
65
|
August 13, 2024
|
|
Constraint linearity in the resource machine
|
|
42
|
163
|
July 17, 2024
|
|
Population of nonce, rseed, and npk during Transaction Function Execution Time
|
|
14
|
49
|
July 18, 2024
|
|
Resource Machine report v3 scope refinement
|
|
4
|
59
|
July 12, 2024
|
|
Application read & write interfaces
|
|
8
|
109
|
June 26, 2024
|
|
[Proposal] Scope refinement for resource machine report v2
|
|
22
|
479
|
June 26, 2024
|
|
Collective curation of topics to go in resource machine report v2
|
|
7
|
284
|
June 26, 2024
|
|
Stored data format: resource machine <> storage
|
|
21
|
448
|
April 3, 2024
|