Skip to content

Commit 7cbe9a0

Browse files
XuyangSongXuyangSong
authored
Merge pull request #27 from anoma/xuyang/trivial_resource_logic
a trivial resource logic example
2 parents dd2ed87 + 1b76610 commit 7cbe9a0

File tree

4 files changed

+165
-0
lines changed

4 files changed

+165
-0
lines changed

‎native/cairo_vm/trivial_resource_logic.json

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
{"attributes":[],"builtins":["output","range_check","ec_op","poseidon"],"data":["0x40480017fff7fff","0x4","0x1104800180018000","0x4","0x10480017fff7fff","0x2b4","0x482680017ffe8000","0x1","0x481080007fff8000","0x481080007fff8000","0x481080007fff8000","0x1104800180018000","0x12d","0x480080007ffe8000","0x480080017ffd8000","0x480080027ffc8000","0x480080007ffc8000","0x480080017ffb8000","0x208b7fff7fff7ffe","0x1104800180018000","0x3","0x208b7fff7fff7ffe","0x208b7fff7fff7ffe","0x480280027ffc8000","0x480280007ffd8000","0x4002800080007fff","0x480280017ffd8000","0x4002800180007fff","0x480280027ffd8000","0x4002800280007fff","0x1104800180018000","0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff6","0x4802800380008000","0x4802800480008000","0x4802800580008000","0x480280007ffc8000","0x480280017ffc8000","0x4826800180008000","0x6","0x482480017ff88000","0x5","0x482480017ff78000","0x2","0x208b7fff7fff7ffe","0x480280017ffa8000","0x480280007ffd8000","0x4002800080007fff","0x480280017ffd8000","0x4002800180007fff","0x480280007ffb8000","0x4002800280007fff","0x480280017ffb8000","0x4002800380007fff","0x4003800480007ffc","0x1104800180018000","0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffde","0x4802800580008000","0x4802800680008000","0x480280007ffa8000","0x4826800180008000","0x7","0x480280027ffa8000","0x482480017ff98000","0x4","0x482480017ff88000","0x2","0x208b7fff7fff7ffe","0x10280017ffd7fff","0x4802800a7ffd8000","0x480280097ffd8000","0x480280087ffd8000","0x480280077ffd8000","0x480280067ffd8000","0x480280057ffd8000","0x480280047ffd8000","0x480280037ffd8000","0x480480017fff8000","0xa","0x480280017ffd8000","0x48307fff80007ffe","0x1107fff7fff7fff","0x48107fff7fff8000","0x48107fff7fff8000","0x48107fff7fff8000","0x48107fff7fff8000","0x48107fff7fff8000","0x48107fff7fff8000","0x48107fff7fff8000","0x48107fff7fff8000","0x1104800180018000","0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffbb","0x482480017ffe8000","0x8","0x480280017ffd8000","0x480280027ffd8000","0x480480017fff8000","0x9","0x4829801080008012","0x48297ffc80008012","0x480280007ffd8000","0x48297ffc80008010","0x482a7ffc80118000","0x10880107fff7fff","0x480880077fff8000","0x480880067fff8000","0x480880057fff8000","0x480880047fff8000","0x480880037fff8000","0x480880027fff8000","0x480880017fff8000","0x480880007fff8000","0x10880147fff7fff","0x48087ff47fff8000","0x48087ff57fff8000","0x48087ff67fff8000","0x48087ff77fff8000","0x48087ff87fff8000","0x48087ff97fff8000","0x48087ffa7fff8000","0x48087ffb7fff8000","0x4808800f7fff8000","0x208b7fff7fff7ffe","0x10280027ffd7fff","0x48087ff47fff8000","0x48087ff57fff8000","0x48087ff67fff8000","0x48087ff77fff8000","0x48087ff87fff8000","0x48087ff97fff8000","0x48087ffa7fff8000","0x48087ffb7fff8000","0x48087ffc7fff8000","0x10280017ffd7fff","0x4802800a7ffd8000","0x480280097ffd8000","0x480280087ffd8000","0x480280077ffd8000","0x480280067ffd8000","0x480280057ffd8000","0x480280047ffd8000","0x480280037ffd8000","0x10280007ffd7fff","0x1104800180018000","0x12","0x208b7fff7fff7ffe","0x1104800180018000","0x32","0x208b7fff7fff7ffe","0x1104800180018000","0x7b","0x208b7fff7fff7ffe","0x1104800180018000","0x88","0x208b7fff7fff7ffe","0x1104800180018000","0x9e","0x208b7fff7fff7ffe","0x1104800180018000","0x205","0x208b7fff7fff7ffe","0x480280017ffc8000","0x20580017fff8000","0xe","0x480280007ffc8000","0x1104800180018000","0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff70","0x482480017ffe8000","0x3","0x480880017fff8000","0x48087ffd7fff8000","0x48087ffb7fff8000","0x480880067fff8000","0x1104800180018000","0xf","0x208b7fff7fff7ffe","0x480280007ffc8000","0x1104800180018000","0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff64","0x482480017ffe8000","0x3","0x48087ffd7fff8000","0x480880017fff8000","0x48087ffb7fff8000","0x480880067fff8000","0x1104800180018000","0x3","0x208b7fff7fff7ffe","0x480280017ffd8000","0x480280007ffd8000","0x48087ffc7fff8000","0x480880007fff8000","0x480880017fff8000","0x1104800180018000","0x4f","0x208b7fff7fff7ffe","0x10280007ffc7fff","0x10480017fff7fff","0x4","0x10480017fff7fff","0x15","0x480280027ffd8000","0x480280017ffd8000","0x480280007ffd8000","0x4826800180028000","0x1","0x1104800180018000","0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff47","0x482480017ffe8000","0x3","0x480880037fff8000","0x480880017fff8000","0x480880007fff8000","0x48087ffb7fff8000","0x480880087fff8000","0x1104800180018000","0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff42","0x4808801e7fff8000","0x4808801f7fff8000","0x208b7fff7fff7ffe","0x480280027ffc8000","0x102800080007fff","0x10480017fff7fff","0x4","0x10480017fff7fff","0x17","0x480280027ffd8000","0x480280017ffd8000","0x4826800180028000","0x1","0x480280017ffc8000","0x480280007ffd8000","0x482a800480058000","0x1104800180018000","0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff2c","0x482480017ffe8000","0x3","0x480880067fff8000","0x480880037fff8000","0x480880017fff8000","0x48087ffb7fff8000","0x4808800b7fff8000","0x1104800180018000","0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff27","0x480880217fff8000","0x480880227fff8000","0x208b7fff7fff7ffe","0x4802800280008000","0x480280027ffd8000","0x4802800180008000","0x480280017ffd8000","0x482a800380048000","0x480280017ffc8000","0x480280007ffd8000","0x482a800680078000","0x1104800180018000","0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff16","0x482480017ffe8000","0x3","0x480880087fff8000","0x480880057fff8000","0x480880027fff8000","0x48087ffb7fff8000","0x4808800d7fff8000","0x1104800180018000","0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff11","0x480880237fff8000","0x480880017fff8000","0x480880247fff8000","0x1104800180018000","0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffb8","0x208b7fff7fff7ffe","0x1104800180018000","0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff05","0x482480017ffe8000","0x3","0x48087ffd7fff8000","0x48087ffc7fff8000","0x480480017fff8000","0x2","0x48087ffb7fff8000","0x480880047fff8000","0x1104800180018000","0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffeff","0x48028000801b8000","0x4808801a7fff8000","0x4808801c7fff8000","0x208b7fff7fff7ffe","0x10280007ffc7fff","0x10480017fff7fff","0x4","0x10480017fff7fff","0x5","0x48087ffb7fff8000","0x48087ffd7fff8000","0x208b7fff7fff7ffe","0x480280027ffc8000","0x480280017ffc8000","0x48087ffb7fff8000","0x480880017fff8000","0x48087ffd7fff8000","0x1104800180018000","0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff75","0x480880007fff8000","0x1104800180018000","0x3","0x208b7fff7fff7ffe","0x48087ffb7fff8000","0x48087ffd7fff8000","0x48087ffc7fff8000","0x1104800180018000","0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffeb","0x208b7fff7fff7ffe","0x10280007ffb7fff","0x10480017fff7fff","0x4","0x10480017fff7fff","0xc","0x480480017fff8000","0x0","0x48087ffa7fff8000","0x48087ffb7fff8000","0x48087ffd7fff8000","0x48087ffc7fff8000","0x480880007fff8000","0x1104800180018000","0xe","0x208b7fff7fff7ffe","0x480280017ffb8000","0x4802800180008000","0x480880017fff8000","0x48087ffa7fff8000","0x48087ffb7fff8000","0x48087ffd7fff8000","0x48087ffc7fff8000","0x480880027fff8000","0x1104800180018000","0x3","0x208b7fff7fff7ffe","0x20580017fff7ffd","0xb","0x480280067ffb8000","0x48087ff97fff8000","0x480880007fff8000","0x48087ffa7fff8000","0x48087ffb7fff8000","0x48087ffd7fff8000","0x1104800180018000","0xf","0x208b7fff7fff7ffe","0x48087ff97fff8000","0x480480017fff8000","0x0","0x48087ffc7fff8000","0x1104800180018000","0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffaf","0x48087ffa7fff8000","0x48087ffb7fff8000","0x48087ffd7fff8000","0x1104800180018000","0x3","0x208b7fff7fff7ffe","0x1104800180018000","0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffeab","0x482480017ffe8000","0x3","0x480480017fff8000","0x1","0x480280057ffc8000","0x1104800180018000","0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffea4","0x482480017ffe8000","0x3","0x480480017fff8000","0x3","0x480880067fff8000","0x480880047fff8000","0x480280077ffc8000","0x1104800180018000","0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe9b","0x482480017ffe8000","0x3","0x480480017fff8000","0x3","0x4808800f7fff8000","0x4808800b7fff8000","0x1104800180018000","0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe93","0x482480017ffe8000","0x3","0x480480017fff8000","0x3","0x480480017fff8000","0x0","0x480880147fff8000","0x1104800180018000","0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe8a","0x482480017ffe8000","0x3","0x480480017fff8000","0x3","0x480480017fff8000","0x436169726f5f457870616e6453656564","0x4808801c7fff8000","0x48087ff97fff8000","0x480880247fff8000","0x1104800180018000","0x10d","0x48087ffa7fff8000","0x48087ffb7fff8000","0x48087ffc7fff8000","0x48087ffd7fff8000","0x1104800180018000","0x3","0x208b7fff7fff7ffe","0x1104800180018000","0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe76","0x482480017ffe8000","0x3","0x480480017fff8000","0x1","0x1104800180018000","0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe70","0x482480017ffe8000","0x3","0x480480017fff8000","0x1","0x480280057ffc8000","0x1104800180018000","0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe69","0x482480017ffe8000","0x3","0x480480017fff8000","0x3","0x4808800c7fff8000","0x4808800a7fff8000","0x480280077ffc8000","0x1104800180018000","0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe60","0x482480017ffe8000","0x3","0x480480017fff8000","0x3","0x480880157fff8000","0x480880117fff8000","0x1104800180018000","0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe58","0x482480017ffe8000","0x3","0x480480017fff8000","0x3","0x480480017fff8000","0x1","0x4808801a7fff8000","0x1104800180018000","0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe4f","0x482480017ffe8000","0x3","0x480480017fff8000","0x3","0x480480017fff8000","0x436169726f5f457870616e6453656564","0x480880227fff8000","0x48087ff87fff8000","0x4808802a7fff8000","0x1104800180018000","0xd2","0x48087ffa7fff8000","0x48087ffb7fff8000","0x48087ffc7fff8000","0x48087ffd7fff8000","0x480880047fff8000","0x48087ff97fff8000","0x1104800180018000","0x3","0x208b7fff7fff7ffe","0x1104800180018000","0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe39","0x482480017ffe8000","0x3","0x480480017fff8000","0x3","0x48087ff77fff8000","0x48087ffc7fff8000","0x480280047ffa8000","0x20580017fff8008","0xf","0x480480017fff8000","0x1","0x48087ff67fff8000","0x48087ff87fff8000","0x480880047fff8000","0x480880097fff8000","0x48087ff97fff8000","0x48087ffa7fff8000","0x48087ffb7fff8000","0x48087ffd7fff8000","0x1104800180018000","0x10","0x208b7fff7fff7ffe","0x480480017fff8000","0x0","0x48087ff67fff8000","0x48087ff87fff8000","0x480880047fff8000","0x480880097fff8000","0x48087ff97fff8000","0x48087ffa7fff8000","0x48087ffb7fff8000","0x48087ffd7fff8000","0x1104800180018000","0x3","0x208b7fff7fff7ffe","0x1104800180018000","0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe14","0x482480017ffe8000","0x3","0x480480017fff8000","0x3","0x48087ff97fff8000","0x48087ff87fff8000","0x480280027ffb8000","0x1104800180018000","0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe0b","0x482480017ffe8000","0x3","0x480480017fff8000","0x3","0x480880087fff8000","0x480880047fff8000","0x1104800180018000","0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe03","0x482480017ffe8000","0x3","0x480480017fff8000","0x3","0x48087ffd7fff8000","0x4808800d7fff8000","0x480280057ffb8000","0x1104800180018000","0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffdfa","0x482480017ffe8000","0x3","0x480480017fff8000","0x3","0x480880197fff8000","0x480880157fff8000","0x1104800180018000","0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffdf2","0x482480017ffe8000","0x3","0x480480017fff8000","0x3","0x48087ff77fff8000","0x4808801e7fff8000","0x480280037ffb8000","0x1104800180018000","0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffde9","0x482480017ffe8000","0x3","0x480480017fff8000","0x3","0x4808802a7fff8000","0x480880267fff8000","0x480280017ffb8000","0x1104800180018000","0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffde0","0x482480017ffe8000","0x3","0x480480017fff8000","0x3","0x480880337fff8000","0x4808802f7fff8000","0x480280007ffb8000","0x1104800180018000","0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffdd7","0x482480017ffe8000","0x3","0x480480017fff8000","0x3","0x4808803c7fff8000","0x480880387fff8000","0x48087ff67fff8000","0x480880417fff8000","0x1104800180018000","0x5b","0x48087ff77fff8000","0x48087ffa7fff8000","0x48087ffb7fff8000","0x48087ffc7fff8000","0x48087ffd7fff8000","0x1104800180018000","0x3","0x208b7fff7fff7ffe","0x20580017fff7ffc","0x9","0x48087ff87fff8000","0x48087ff77fff8000","0x48087ffa7fff8000","0x480880007fff8000","0x1104800180018000","0x39","0x208b7fff7fff7ffe","0x1104800180018000","0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffdba","0x482480017ffe8000","0x3","0x480480017fff8000","0x1","0x1104800180018000","0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffdb4","0x482480017ffe8000","0x3","0x480480017fff8000","0x3","0x48087ff87fff8000","0x480880047fff8000","0x1104800180018000","0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffdac","0x482480017ffe8000","0x3","0x480480017fff8000","0x3","0x48087ffd7fff8000","0x4808800a7fff8000","0x480280057ffb8000","0x1104800180018000","0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffda3","0x482480017ffe8000","0x3","0x480480017fff8000","0x3","0x480880167fff8000","0x480880127fff8000","0x1104800180018000","0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd9b","0x482480017ffe8000","0x3","0x480480017fff8000","0x3","0x48087ff97fff8000","0x4808801b7fff8000","0x48087ff77fff8000","0x480880237fff8000","0x1104800180018000","0x1f","0x48087ffa7fff8000","0x1104800180018000","0x3","0x208b7fff7fff7ffe","0x48087ffc7fff8000","0x48087ffb7fff8000","0x48087ffd7fff8000","0x480880007fff8000","0x1104800180018000","0x3","0x208b7fff7fff7ffe","0x48087ffb7fff8000","0x48087ffc7fff8000","0x48087ffd7fff8000","0x1104800180018000","0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe8d","0x48087ffd7fff8000","0x1104800180018000","0x3","0x208b7fff7fff7ffe","0x1104800180018000","0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd7b","0x482480017ffe8000","0x3","0x48087ffd7fff8000","0x48087ffc7fff8000","0x48087ffb7fff8000","0x480880047fff8000","0x208b7fff7fff7ffe","0x1104800180018000","0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd72","0x482480017ffe8000","0x3","0x480480017fff8000","0x0","0x480480017fff8000","0x0","0x480480017fff8000","0x0","0x48087ffc7fff8000","0x48087ffd7fff8000","0x480880047fff8000","0x1104800180018000","0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe15","0x1104800180018000","0x3","0x208b7fff7fff7ffe","0x480280007ffd8000","0x48087ffc7fff8000","0x480880007fff8000","0x208b7fff7fff7ffe","0x4002800080007ffe","0x4002800180007fff","0x4826800180008000","0x2","0x48107ffa7fff8000","0x48107ffa7fff8000","0x48107ffa7fff8000","0x10780017fff7fff","0x0"],"hints":{"10":[{"accessible_scopes":[],"code":"Input(self_resource)","flow_tracking_data":{"ap_tracking":{"group":0,"offset":0},"reference_ids":{}}}],"8":[{"accessible_scopes":[],"code":"Input(merkle_path)","flow_tracking_data":{"ap_tracking":{"group":0,"offset":0},"reference_ids":{}}}],"9":[{"accessible_scopes":[],"code":"Input(resource_nf_key)","flow_tracking_data":{"ap_tracking":{"group":0,"offset":0},"reference_ids":{}}}]},"identifiers":{"__main__.__end__":{"pc":703,"type":"label"},"__main__.__start__":{"pc":0,"type":"label"},"__main__.main":{"decorators":[],"pc":0,"type":"function"}},"main_scope":"__main__","prime":"0x800000000000011000000000000000000000000000000000000000000000001","reference_manager":{"references":[]}}

‎native/cairo_vm/trivial_resource_logic.juvix

Lines changed: 117 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,117 @@
1+
module trivial_resource_logic;
2+
3+
import Stdlib.Prelude open;
4+
import Stdlib.Cairo.Ec as Ec;
5+
import Stdlib.Cairo.Poseidon open;
6+
import Stdlib.Cairo.Pedersen open;
7+
8+
type Resource :=
9+
mkResource {
10+
logic : Field;
11+
label : Field;
12+
quantity : Field;
13+
data : Field;
14+
eph : Bool;
15+
nonce : Field;
16+
npk : Field;
17+
rseed : Field
18+
};
19+
20+
type LogicResult :=
21+
mkResult {
22+
-- nullifier of input resource or commitment of output resource
23+
self_resource_id : Field;
24+
-- The merkle root of resources
25+
root : Field;
26+
};
27+
28+
check_merkle (current_root : Field) : Pair Field Bool -> Field
29+
| (node, is_left) :=
30+
let
31+
pair :=
32+
if
33+
| is_left := node, current_root
34+
| else := current_root, node;
35+
36+
in case pair of lhs, rhs := poseidonHash2 lhs rhs;
37+
38+
--- Check the merkle tree path validity and return the root
39+
check_merkle_path
40+
(cur : Field) : List (Pair Field Bool) -> Field
41+
| [] := cur
42+
| (p :: ps) := check_merkle_path (check_merkle cur p) ps;
43+
44+
main
45+
(self_resource : Resource)
46+
(resource_nf_key : Field)
47+
(merkle_path : List (Pair Field Bool))
48+
: LogicResult :=
49+
50+
-- Check the self_resource resource commitment:
51+
let
52+
generated_npk : Field := poseidonHash2 resource_nf_key 0;
53+
54+
is_output_resource := case merkle_path of
55+
-- merkle_path can not be empty
56+
| nil := true
57+
| (_, is_left) :: t := is_left;
58+
59+
-- Actual npk
60+
actual_npk :=
61+
if
62+
| is_output_resource := Resource.npk self_resource
63+
| else := generated_npk;
64+
65+
-- check outside of circuit: assert resource_npk == (Resource.npk self_resource)
66+
67+
-- PRF_EXPAND_PERSONALIZATION_FELT is from cairo_prover/src/lib.rs/PRF_EXPAND_PERSONALIZATION_FELT
68+
PRF_EXPAND_PERSONALIZATION_FELT :=
69+
89564067232354163924078705540990330212;
70+
resource_psi :=
71+
poseidonHashList
72+
[ PRF_EXPAND_PERSONALIZATION_FELT
73+
; 0
74+
; Resource.rseed self_resource
75+
; Resource.nonce self_resource
76+
];
77+
resource_rcm :=
78+
poseidonHashList
79+
[ PRF_EXPAND_PERSONALIZATION_FELT
80+
; 1
81+
; Resource.rseed self_resource
82+
; Resource.nonce self_resource
83+
];
84+
85+
resource_eph_field : Field :=
86+
if
87+
| Resource.eph self_resource := 1
88+
| else := 0;
89+
resource_cm :=
90+
poseidonHashList
91+
[ Resource.logic self_resource
92+
; Resource.label self_resource
93+
; Resource.data self_resource
94+
; actual_npk
95+
; Resource.nonce self_resource
96+
; resource_psi
97+
; Resource.quantity self_resource
98+
; resource_eph_field
99+
; resource_rcm
100+
];
101+
102+
-- Generate the nullifier of self_resource resource
103+
resource_nullifier_ :=
104+
poseidonHashList
105+
[actual_npk; Resource.nonce self_resource; resource_psi; resource_cm];
106+
107+
self_resource_id_ :=
108+
if
109+
| is_output_resource := resource_cm
110+
| else := resource_nullifier_;
111+
112+
root_ := check_merkle_path self_resource_id_ merkle_path
113+
114+
in mkResult@{
115+
self_resource_id := self_resource_id_;
116+
root := root_;
117+
};

‎native/cairo_vm/trivial_resource_logic_input.json

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,14 @@
1+
{
2+
"self_resource": {
3+
"logic" : "0x6de91eadc72a84989a824b25f16b1b3566556013025c8cedaddf2dd2c95ef6a",
4+
"label" : "0x12",
5+
"quantity" : "0x13",
6+
"data" : "0x14",
7+
"eph" : false,
8+
"nonce" : "0x26",
9+
"npk" : "0x7752582c54a42fe0fa35c40f07293bb7d8efe90e21d8d2c06a7db52d7d9b7a1",
10+
"rseed" : "0x48"
11+
},
12+
"resource_nf_key": "0x1",
13+
"merkle_path": [{"fst": "0x33", "snd": true}, {"fst": "0x83", "snd": false}, {"fst": "0x73", "snd": false}, {"fst": "0x23", "snd": false}]
14+
}

0 commit comments

Comments
 (0)