@midnames/sdk 1.0.5 → 2.0.0-rc1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +4 -43
- package/dist/contract.d.ts +5 -0
- package/dist/contract.js +5 -0
- package/dist/core.d.ts +27 -9
- package/dist/core.js +196 -233
- package/dist/errors.d.ts +0 -3
- package/dist/errors.js +9 -17
- package/dist/holographic-card.css +1 -1
- package/dist/index.d.ts +10 -10
- package/dist/index.js +15 -11
- package/{node_modules/@midnames/ns/dist/managed/leaf → dist/managed}/compiler/contract-info.json +298 -232
- package/dist/managed/contract/index.d.ts +237 -0
- package/{node_modules/@midnames/ns/dist/managed/leaf → dist/managed}/contract/index.js +2044 -1713
- package/dist/managed/keys/add_domain_field.prover +0 -0
- package/dist/managed/keys/add_multiple_fields.prover +0 -0
- package/dist/managed/keys/change_field_limit.prover +0 -0
- package/dist/managed/keys/change_root_enable_subdomains.prover +0 -0
- package/dist/managed/keys/clear_domain_fields.prover +0 -0
- package/dist/managed/keys/create_domain.prover +0 -0
- package/dist/managed/keys/lock_payment_config.prover +0 -0
- package/dist/managed/keys/lock_target.prover +0 -0
- package/dist/managed/keys/remove_domain_field.prover +0 -0
- package/dist/managed/keys/transfer_domain.prover +0 -0
- package/dist/managed/keys/update_domain_default_field.prover +0 -0
- package/dist/managed/keys/update_payment_config.prover +0 -0
- package/dist/managed/keys/update_target.prover +0 -0
- package/dist/operations.d.ts +32 -20
- package/dist/operations.js +86 -103
- package/dist/provider.d.ts +6 -7
- package/dist/provider.js +11 -7
- package/dist/react/DomainProfileWidget.d.ts +1 -1
- package/dist/react/DomainProfileWidget.js +14 -36
- package/dist/react/HolographicCard.d.ts +1 -17
- package/dist/react/HolographicCard.js +1 -6
- package/dist/results.d.ts +0 -25
- package/dist/results.js +2 -75
- package/dist/styles.css +0 -1
- package/dist/types.d.ts +19 -4
- package/dist/types.js +1 -2
- package/dist/utils/address.d.ts +6 -1
- package/dist/utils/address.js +23 -6
- package/dist/utils/domain.d.ts +0 -4
- package/dist/utils/domain.js +15 -40
- package/dist/utils/sanitize.js +0 -4
- package/dist/witnesses.d.ts +8 -0
- package/dist/witnesses.js +6 -0
- package/package.json +45 -83
- package/dist/controller-types.d.ts +0 -108
- package/dist/controller-types.js +0 -17
- package/dist/controller-types.js.map +0 -1
- package/dist/core.js.map +0 -1
- package/dist/errors.js.map +0 -1
- package/dist/index.js.map +0 -1
- package/dist/operations.js.map +0 -1
- package/dist/provider.js.map +0 -1
- package/dist/react/DomainProfileWidget/index.d.ts +0 -2
- package/dist/react/DomainProfileWidget/index.js +0 -2
- package/dist/react/DomainProfileWidget/index.js.map +0 -1
- package/dist/react/DomainProfileWidget.js.map +0 -1
- package/dist/react/HolographicCard/index.d.ts +0 -3
- package/dist/react/HolographicCard/index.js +0 -3
- package/dist/react/HolographicCard/index.js.map +0 -1
- package/dist/react/HolographicCard.js.map +0 -1
- package/dist/react/index.d.ts +0 -3
- package/dist/react/index.js +0 -3
- package/dist/react/index.js.map +0 -1
- package/dist/results.js.map +0 -1
- package/dist/types.js.map +0 -1
- package/dist/utils/address.js.map +0 -1
- package/dist/utils/domain.js.map +0 -1
- package/dist/utils/imageResolver.d.ts +0 -8
- package/dist/utils/imageResolver.js +0 -90
- package/dist/utils/imageResolver.js.map +0 -1
- package/dist/utils/index.d.ts +0 -2
- package/dist/utils/index.js +0 -3
- package/dist/utils/index.js.map +0 -1
- package/dist/utils/sanitize.js.map +0 -1
- package/node_modules/@midnames/ns/dist/index.d.ts +0 -5
- package/node_modules/@midnames/ns/dist/index.js +0 -6
- package/node_modules/@midnames/ns/dist/index.js.map +0 -1
- package/node_modules/@midnames/ns/dist/leaf.compact +0 -290
- package/node_modules/@midnames/ns/dist/managed/leaf/contract/index.d.ts +0 -197
- package/node_modules/@midnames/ns/dist/managed/leaf/contract/index.js.map +0 -8
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/add_multiple_fields.prover +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/add_multiple_fields.verifier +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/buy_domain_for.prover +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/buy_domain_for.verifier +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/change_owner.prover +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/change_owner.verifier +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/clear_all_fields.prover +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/clear_all_fields.verifier +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/clear_field.prover +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/clear_field.verifier +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/insert_field.prover +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/insert_field.verifier +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/register_domain_for.prover +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/register_domain_for.verifier +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/set_resolver.prover +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/set_resolver.verifier +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/transfer_domain.prover +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/transfer_domain.verifier +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/update_color.prover +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/update_color.verifier +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/update_costs.prover +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/update_costs.verifier +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/update_domain_target.prover +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/update_domain_target.verifier +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/update_target_and_fields.prover +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/update_target_and_fields.verifier +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/add_multiple_fields.bzkir +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/add_multiple_fields.zkir +0 -424
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/buy_domain_for.bzkir +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/buy_domain_for.zkir +0 -1456
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/change_owner.bzkir +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/change_owner.zkir +0 -57
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/clear_all_fields.bzkir +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/clear_all_fields.zkir +0 -53
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/clear_field.bzkir +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/clear_field.zkir +0 -58
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/insert_field.bzkir +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/insert_field.zkir +0 -65
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/register_domain_for.bzkir +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/register_domain_for.zkir +0 -401
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/set_resolver.bzkir +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/set_resolver.zkir +0 -109
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/transfer_domain.bzkir +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/transfer_domain.zkir +0 -212
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/update_color.bzkir +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/update_color.zkir +0 -58
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/update_costs.bzkir +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/update_costs.zkir +0 -88
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/update_domain_target.bzkir +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/update_domain_target.zkir +0 -66
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/update_target_and_fields.bzkir +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/update_target_and_fields.zkir +0 -450
- package/node_modules/@midnames/ns/dist/utils.d.ts +0 -5
- package/node_modules/@midnames/ns/dist/utils.js +0 -19
- package/node_modules/@midnames/ns/dist/utils.js.map +0 -1
- package/node_modules/@midnames/ns/dist/witnesses.d.ts +0 -4
- package/node_modules/@midnames/ns/dist/witnesses.js +0 -3
- package/node_modules/@midnames/ns/dist/witnesses.js.map +0 -1
- package/node_modules/@midnames/ns/package.json +0 -55
|
@@ -1,197 +0,0 @@
|
|
|
1
|
-
import type * as __compactRuntime from '@midnight-ntwrk/compact-runtime';
|
|
2
|
-
|
|
3
|
-
export type DomainData = { owner: { bytes: Uint8Array };
|
|
4
|
-
resolver: { bytes: Uint8Array }
|
|
5
|
-
};
|
|
6
|
-
|
|
7
|
-
export type Either<A, B> = { is_left: boolean; left: A; right: B };
|
|
8
|
-
|
|
9
|
-
export type Maybe<T> = { is_some: boolean; value: T };
|
|
10
|
-
|
|
11
|
-
export type Witnesses<PS> = {
|
|
12
|
-
}
|
|
13
|
-
|
|
14
|
-
export type ImpureCircuits<PS> = {
|
|
15
|
-
update_color(context: __compactRuntime.CircuitContext<PS>, c_0: Uint8Array): __compactRuntime.CircuitResults<PS, []>;
|
|
16
|
-
update_costs(context: __compactRuntime.CircuitContext<PS>,
|
|
17
|
-
cost_short_0: bigint,
|
|
18
|
-
cost_med_0: bigint,
|
|
19
|
-
cost_long_0: bigint): __compactRuntime.CircuitResults<PS, []>;
|
|
20
|
-
update_target_and_fields(context: __compactRuntime.CircuitContext<PS>,
|
|
21
|
-
new_target_0: Either<{ bytes: Uint8Array },
|
|
22
|
-
{ bytes: Uint8Array }>,
|
|
23
|
-
kvs_0: Maybe<[string, string]>[]): __compactRuntime.CircuitResults<PS, []>;
|
|
24
|
-
buy_domain_for(context: __compactRuntime.CircuitContext<PS>,
|
|
25
|
-
owner_0: { bytes: Uint8Array },
|
|
26
|
-
domain_0: Uint8Array,
|
|
27
|
-
len_0: bigint,
|
|
28
|
-
resolver_0: { bytes: Uint8Array }): __compactRuntime.CircuitResults<PS, []>;
|
|
29
|
-
add_multiple_fields(context: __compactRuntime.CircuitContext<PS>,
|
|
30
|
-
kvs_0: Maybe<[string, string]>[]): __compactRuntime.CircuitResults<PS, []>;
|
|
31
|
-
insert_field(context: __compactRuntime.CircuitContext<PS>,
|
|
32
|
-
k_0: string,
|
|
33
|
-
v_0: string): __compactRuntime.CircuitResults<PS, []>;
|
|
34
|
-
clear_field(context: __compactRuntime.CircuitContext<PS>, k_0: string): __compactRuntime.CircuitResults<PS, []>;
|
|
35
|
-
clear_all_fields(context: __compactRuntime.CircuitContext<PS>): __compactRuntime.CircuitResults<PS, []>;
|
|
36
|
-
register_domain_for(context: __compactRuntime.CircuitContext<PS>,
|
|
37
|
-
owner_0: { bytes: Uint8Array },
|
|
38
|
-
domain_0: Uint8Array,
|
|
39
|
-
len_0: bigint,
|
|
40
|
-
resolver_0: { bytes: Uint8Array }): __compactRuntime.CircuitResults<PS, []>;
|
|
41
|
-
set_resolver(context: __compactRuntime.CircuitContext<PS>,
|
|
42
|
-
domain_0: Uint8Array,
|
|
43
|
-
resolver_0: { bytes: Uint8Array }): __compactRuntime.CircuitResults<PS, []>;
|
|
44
|
-
update_domain_target(context: __compactRuntime.CircuitContext<PS>,
|
|
45
|
-
new_target_0: Either<{ bytes: Uint8Array },
|
|
46
|
-
{ bytes: Uint8Array }>): __compactRuntime.CircuitResults<PS, []>;
|
|
47
|
-
transfer_domain(context: __compactRuntime.CircuitContext<PS>,
|
|
48
|
-
domain_0: Uint8Array,
|
|
49
|
-
new_owner_0: { bytes: Uint8Array }): __compactRuntime.CircuitResults<PS, []>;
|
|
50
|
-
change_owner(context: __compactRuntime.CircuitContext<PS>,
|
|
51
|
-
new_owner_0: { bytes: Uint8Array }): __compactRuntime.CircuitResults<PS, []>;
|
|
52
|
-
}
|
|
53
|
-
|
|
54
|
-
export type ProvableCircuits<PS> = {
|
|
55
|
-
update_color(context: __compactRuntime.CircuitContext<PS>, c_0: Uint8Array): __compactRuntime.CircuitResults<PS, []>;
|
|
56
|
-
update_costs(context: __compactRuntime.CircuitContext<PS>,
|
|
57
|
-
cost_short_0: bigint,
|
|
58
|
-
cost_med_0: bigint,
|
|
59
|
-
cost_long_0: bigint): __compactRuntime.CircuitResults<PS, []>;
|
|
60
|
-
update_target_and_fields(context: __compactRuntime.CircuitContext<PS>,
|
|
61
|
-
new_target_0: Either<{ bytes: Uint8Array },
|
|
62
|
-
{ bytes: Uint8Array }>,
|
|
63
|
-
kvs_0: Maybe<[string, string]>[]): __compactRuntime.CircuitResults<PS, []>;
|
|
64
|
-
buy_domain_for(context: __compactRuntime.CircuitContext<PS>,
|
|
65
|
-
owner_0: { bytes: Uint8Array },
|
|
66
|
-
domain_0: Uint8Array,
|
|
67
|
-
len_0: bigint,
|
|
68
|
-
resolver_0: { bytes: Uint8Array }): __compactRuntime.CircuitResults<PS, []>;
|
|
69
|
-
add_multiple_fields(context: __compactRuntime.CircuitContext<PS>,
|
|
70
|
-
kvs_0: Maybe<[string, string]>[]): __compactRuntime.CircuitResults<PS, []>;
|
|
71
|
-
insert_field(context: __compactRuntime.CircuitContext<PS>,
|
|
72
|
-
k_0: string,
|
|
73
|
-
v_0: string): __compactRuntime.CircuitResults<PS, []>;
|
|
74
|
-
clear_field(context: __compactRuntime.CircuitContext<PS>, k_0: string): __compactRuntime.CircuitResults<PS, []>;
|
|
75
|
-
clear_all_fields(context: __compactRuntime.CircuitContext<PS>): __compactRuntime.CircuitResults<PS, []>;
|
|
76
|
-
register_domain_for(context: __compactRuntime.CircuitContext<PS>,
|
|
77
|
-
owner_0: { bytes: Uint8Array },
|
|
78
|
-
domain_0: Uint8Array,
|
|
79
|
-
len_0: bigint,
|
|
80
|
-
resolver_0: { bytes: Uint8Array }): __compactRuntime.CircuitResults<PS, []>;
|
|
81
|
-
set_resolver(context: __compactRuntime.CircuitContext<PS>,
|
|
82
|
-
domain_0: Uint8Array,
|
|
83
|
-
resolver_0: { bytes: Uint8Array }): __compactRuntime.CircuitResults<PS, []>;
|
|
84
|
-
update_domain_target(context: __compactRuntime.CircuitContext<PS>,
|
|
85
|
-
new_target_0: Either<{ bytes: Uint8Array },
|
|
86
|
-
{ bytes: Uint8Array }>): __compactRuntime.CircuitResults<PS, []>;
|
|
87
|
-
transfer_domain(context: __compactRuntime.CircuitContext<PS>,
|
|
88
|
-
domain_0: Uint8Array,
|
|
89
|
-
new_owner_0: { bytes: Uint8Array }): __compactRuntime.CircuitResults<PS, []>;
|
|
90
|
-
change_owner(context: __compactRuntime.CircuitContext<PS>,
|
|
91
|
-
new_owner_0: { bytes: Uint8Array }): __compactRuntime.CircuitResults<PS, []>;
|
|
92
|
-
}
|
|
93
|
-
|
|
94
|
-
export type PureCircuits = {
|
|
95
|
-
}
|
|
96
|
-
|
|
97
|
-
export type Circuits<PS> = {
|
|
98
|
-
update_color(context: __compactRuntime.CircuitContext<PS>, c_0: Uint8Array): __compactRuntime.CircuitResults<PS, []>;
|
|
99
|
-
update_costs(context: __compactRuntime.CircuitContext<PS>,
|
|
100
|
-
cost_short_0: bigint,
|
|
101
|
-
cost_med_0: bigint,
|
|
102
|
-
cost_long_0: bigint): __compactRuntime.CircuitResults<PS, []>;
|
|
103
|
-
update_target_and_fields(context: __compactRuntime.CircuitContext<PS>,
|
|
104
|
-
new_target_0: Either<{ bytes: Uint8Array },
|
|
105
|
-
{ bytes: Uint8Array }>,
|
|
106
|
-
kvs_0: Maybe<[string, string]>[]): __compactRuntime.CircuitResults<PS, []>;
|
|
107
|
-
buy_domain_for(context: __compactRuntime.CircuitContext<PS>,
|
|
108
|
-
owner_0: { bytes: Uint8Array },
|
|
109
|
-
domain_0: Uint8Array,
|
|
110
|
-
len_0: bigint,
|
|
111
|
-
resolver_0: { bytes: Uint8Array }): __compactRuntime.CircuitResults<PS, []>;
|
|
112
|
-
add_multiple_fields(context: __compactRuntime.CircuitContext<PS>,
|
|
113
|
-
kvs_0: Maybe<[string, string]>[]): __compactRuntime.CircuitResults<PS, []>;
|
|
114
|
-
insert_field(context: __compactRuntime.CircuitContext<PS>,
|
|
115
|
-
k_0: string,
|
|
116
|
-
v_0: string): __compactRuntime.CircuitResults<PS, []>;
|
|
117
|
-
clear_field(context: __compactRuntime.CircuitContext<PS>, k_0: string): __compactRuntime.CircuitResults<PS, []>;
|
|
118
|
-
clear_all_fields(context: __compactRuntime.CircuitContext<PS>): __compactRuntime.CircuitResults<PS, []>;
|
|
119
|
-
register_domain_for(context: __compactRuntime.CircuitContext<PS>,
|
|
120
|
-
owner_0: { bytes: Uint8Array },
|
|
121
|
-
domain_0: Uint8Array,
|
|
122
|
-
len_0: bigint,
|
|
123
|
-
resolver_0: { bytes: Uint8Array }): __compactRuntime.CircuitResults<PS, []>;
|
|
124
|
-
set_resolver(context: __compactRuntime.CircuitContext<PS>,
|
|
125
|
-
domain_0: Uint8Array,
|
|
126
|
-
resolver_0: { bytes: Uint8Array }): __compactRuntime.CircuitResults<PS, []>;
|
|
127
|
-
update_domain_target(context: __compactRuntime.CircuitContext<PS>,
|
|
128
|
-
new_target_0: Either<{ bytes: Uint8Array },
|
|
129
|
-
{ bytes: Uint8Array }>): __compactRuntime.CircuitResults<PS, []>;
|
|
130
|
-
transfer_domain(context: __compactRuntime.CircuitContext<PS>,
|
|
131
|
-
domain_0: Uint8Array,
|
|
132
|
-
new_owner_0: { bytes: Uint8Array }): __compactRuntime.CircuitResults<PS, []>;
|
|
133
|
-
change_owner(context: __compactRuntime.CircuitContext<PS>,
|
|
134
|
-
new_owner_0: { bytes: Uint8Array }): __compactRuntime.CircuitResults<PS, []>;
|
|
135
|
-
}
|
|
136
|
-
|
|
137
|
-
export type Ledger = {
|
|
138
|
-
readonly PARENT_DOMAIN: Maybe<Uint8Array>;
|
|
139
|
-
readonly PARENT_RESOLVER: { bytes: Uint8Array };
|
|
140
|
-
readonly DOMAIN: Maybe<Uint8Array>;
|
|
141
|
-
readonly DOMAIN_OWNER: { bytes: Uint8Array };
|
|
142
|
-
readonly DOMAIN_TARGET: Either<{ bytes: Uint8Array }, { bytes: Uint8Array }>;
|
|
143
|
-
domains: {
|
|
144
|
-
isEmpty(): boolean;
|
|
145
|
-
size(): bigint;
|
|
146
|
-
member(key_0: Uint8Array): boolean;
|
|
147
|
-
lookup(key_0: Uint8Array): DomainData;
|
|
148
|
-
[Symbol.iterator](): Iterator<[Uint8Array, DomainData]>
|
|
149
|
-
};
|
|
150
|
-
domains_owned: {
|
|
151
|
-
isEmpty(): boolean;
|
|
152
|
-
size(): bigint;
|
|
153
|
-
member(key_0: { bytes: Uint8Array }): boolean;
|
|
154
|
-
lookup(key_0: { bytes: Uint8Array }): {
|
|
155
|
-
isEmpty(): boolean;
|
|
156
|
-
size(): bigint;
|
|
157
|
-
member(elem_0: Uint8Array): boolean;
|
|
158
|
-
[Symbol.iterator](): Iterator<Uint8Array>
|
|
159
|
-
}
|
|
160
|
-
};
|
|
161
|
-
fields: {
|
|
162
|
-
isEmpty(): boolean;
|
|
163
|
-
size(): bigint;
|
|
164
|
-
member(key_0: string): boolean;
|
|
165
|
-
lookup(key_0: string): string;
|
|
166
|
-
[Symbol.iterator](): Iterator<[string, string]>
|
|
167
|
-
};
|
|
168
|
-
readonly COIN_COLOR: Uint8Array;
|
|
169
|
-
readonly COST_SHORT: bigint;
|
|
170
|
-
readonly COST_MED: bigint;
|
|
171
|
-
readonly COST_LONG: bigint;
|
|
172
|
-
}
|
|
173
|
-
|
|
174
|
-
export type ContractReferenceLocations = any;
|
|
175
|
-
|
|
176
|
-
export declare const contractReferenceLocations : ContractReferenceLocations;
|
|
177
|
-
|
|
178
|
-
export declare class Contract<PS = any, W extends Witnesses<PS> = Witnesses<PS>> {
|
|
179
|
-
witnesses: W;
|
|
180
|
-
circuits: Circuits<PS>;
|
|
181
|
-
impureCircuits: ImpureCircuits<PS>;
|
|
182
|
-
provableCircuits: ProvableCircuits<PS>;
|
|
183
|
-
constructor(witnesses: W);
|
|
184
|
-
initialState(context: __compactRuntime.ConstructorContext<PS>,
|
|
185
|
-
parent_domain_0: Maybe<Uint8Array>,
|
|
186
|
-
parent_resolver_0: { bytes: Uint8Array },
|
|
187
|
-
target_0: Either<{ bytes: Uint8Array }, { bytes: Uint8Array }>,
|
|
188
|
-
domain_0: Maybe<Uint8Array>,
|
|
189
|
-
coin_color_0: Uint8Array,
|
|
190
|
-
cost_short_0: bigint,
|
|
191
|
-
cost_med_0: bigint,
|
|
192
|
-
cost_long_0: bigint,
|
|
193
|
-
kvs_0: Maybe<[string, string]>[]): __compactRuntime.ConstructorResult<PS>;
|
|
194
|
-
}
|
|
195
|
-
|
|
196
|
-
export declare function ledger(state: __compactRuntime.StateValue | __compactRuntime.ChargedState): Ledger;
|
|
197
|
-
export declare const pureCircuits: PureCircuits;
|
|
@@ -1,8 +0,0 @@
|
|
|
1
|
-
{
|
|
2
|
-
"version": 3,
|
|
3
|
-
"file": "index.js",
|
|
4
|
-
"sourceRoot": "../../../../",
|
|
5
|
-
"sources": ["src/leaf.compact", "compiler/standard-library.compact"],
|
|
6
|
-
"names": [],
|
|
7
|
-
"mappings": ";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAoDA;;;;;;;;;;MAoCA,AAAA,YAGC;;;;;cAH2B,GAAY;;;;;;;;;;;;;;;;;;yCAAZ,GAAY;;;;;;;yEAAZ,GAAY;;;OAGvC;MAED,AAAA,YAKC;;;;;cAL2B,YAAqB;cAAE,UAAmB;cAAE,WAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;yCAAhE,YAAqB,+BAAE,UAAmB,+BAAE,WAAoB;;;;;;;;;8CAAhE,YAAqB;8CAAE,UAAmB;8CAAE,WAAoB;;;OAK3F;MAED,AAAA,wBAYC;;;;;cAXG,YAAuD;cACvD,KAA4D;;;;;;;;;;;;;;;;;;;;;;;;;yCAD5D,YAAuD,gCACvD,KAA4D;;;;;;;;;0DAD5D,YAAuD;0DACvD,KAA4D;;;OAU/D;MAED,AAAA,cAuCC;;;;;cAvC6B,OAAyB;cAAE,QAAiB;cAAE,KAAa;cAAE,UAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;yCAAtF,OAAyB,+BAAE,QAAiB,+BAAE,KAAa,+BAAE,UAAyB;;;;;;;;;gDAAtF,OAAyB;gDAAE,QAAiB;gDAAE,KAAa;gDAAE,UAAyB;;;OAuCnH;MAED,AAAA,mBAOC;;;;;cAPkC,KAA4D;;;;;;;;;;;;;;;;;;0CAA5D,KAA4D;;;;;;;;;qDAA5D,KAA4D;;;OAO9F;MAED,AAAA,YAGC;;;;;cAH2B,GAAmB;cAAE,GAAmB;;;;;;;;;;;yCAAxC,GAAmB,+BAAE,GAAmB;;;;;;;;;8CAAxC,GAAmB;8CAAE,GAAmB;;;OAGnE;MAED,AAAA,WAGC;;;;;cAH0B,GAAmB;;;;;;;;;;;yCAAnB,GAAmB;;;;;;;wEAAnB,GAAmB;;;OAG7C;MAED,AAAA,gBAGC;;;;;;;;;;;;;;;;;;;;;;OAAA;MAED,AAAA,mBA4BC;;;;;cA5BkC,OAAyB;cAAE,QAAiB;cAAE,KAAa;cAAE,UAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;yCAAtF,OAAyB,+BAAE,QAAiB,+BAAE,KAAa,+BAAE,UAAyB;;;;;;;;;qDAAtF,OAAyB;qDAAE,QAAiB;qDAAE,KAAa;qDAAE,UAAyB;;;OA4BxH;MAED,AAAA,YAYC;;;;;cAZ2B,QAAiB;cAAE,UAAyB;;;;;;;;;;;;;;;;;;;;;;;;;yCAA5C,QAAiB,+BAAE,UAAyB;;;;;;;;;8CAA5C,QAAiB;8CAAE,UAAyB;;;OAYvE;MAED,AAAA,oBAIC;;;;;cAJmC,YAAuD;;;;;;;;;;;;;;;;;;yCAAvD,YAAuD;;;;;;;;;sDAAvD,YAAuD;;;OAI1F;MAED,AAAA,eAmBC;;;;;cAnB8B,QAAiB;cAAE,WAA6B;;;;;;;;;;;;;;;;;;;;;;;;;yCAAhD,QAAiB,+BAAE,WAA6B;;;;;;;;;iDAAhD,QAAiB;iDAAE,WAA6B;;;OAmB9E;MAGD,AAAA,YAGC;;;;;cAH2B,WAA6B;;;;;;;;;;;;;;;;;;yCAA7B,WAA6B;;;;;;;;;8CAA7B,WAA6B;;;OAGxD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAjLA;EAzBD;;;;;UACI,eAA+B;UAC/B,iBAAgC;UAChC,QAAmD;UACnD,QAAwB;UACxB,YAAqB;UACrB,YAAqB;UACrB,UAAmB;UACnB,WAAoB;UACpB,KAA4D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAjChE;;;;;;;;;yEAAqD;IACrD;;;;;;;;;yEAAsD;IACtD;;;;;;;;;yEAA8C;IAE9C;;;;;;;;;yEAA+C;IAE/C;;;;;;;;;yEAAyE;IAGzE;;;;;;;;;;yEAAkD;IAGlD;;;;;;;;;;yEAAqE;IAErE;;;;;;;;;;yEAA8D;IAyC9D;;;;;;;;;yEAAoC;IACpC;;;;;;;;;yEAAoC;IACpC;;;;;;;;;yEAAkC;IAClC;;;;;;;;;yEAAmC;UAvB/B,KAAY;IAAZ;;;;;;;2HAAA,KAAY;;yEAAA;IACZ;;;;;;;4HAAyB,eAAa;;yEAAzB;IACb;;;;;;;2HAA2B,iBAAe;;yEAA3B;IACf;;;;;;;2HAAyB,QAAM;;yEAAlB;IACb;;;;;;;4HAAkB,QAAM;;yEAAlB;IACN;;;;;;;2HAAsB,YAAU;;yEAAtB;IACV;;;;;;;2HAAsB,YAAU;;yEAAtB;IACV;;;;;;;2HAAoB,UAAQ;;yEAApB;IACR;;;;;;;2HAAqB,WAAS;;yEAArB;;;gDACT,GAIC,EAJD,IAIC;;yCAHgB,IAAE;8BACX,KAAM,GAAiB,IAAE;8BAAzB,KAAM,GAAuC,IAAE;wBAA/C;;;;;;;;;;+IAAA,KAAM;;;+IAAN,KAAM;;;;;8EAAA;;6BAFd,GAIC;;;mBAJgB,KAAG;;;;;;;GAKvB;EClDD,AAAA;EAUA,AAAA,QAA0B;kCACkB;;EAG5C,AAAA,SAA2B;yEACqC;;EA+QhE,AAAA,6CAA8B,SAAkB,UAAmB;UACjE,qBAAuD;IAAvD;;;;;;;;;;;4HAAA;;;;;;2HAA+D;;;;;;;;;;;;;UAC/D,qBAA2D;IAA3D;;;;;;;;;;;;8HAAA;;8HAAmE;;;;;;;2HAAW;;;;;;;;;;;;;QAE1E;;sBAAqB;8CAAwB;;;;;;;;;;;;;YAC/C,qBAAsD;MAAtD;;;;;;;;;;;8HAAA;;;;;;6HAA8D;;;;;;;;;;;;;;;;EAIlE,AAAA,gDAAiC,SAAkB;UACjD,qBAAsD;IAAtD;;;;;;;;;;;4HAAA;;;;;;2HAA8D;;;;;;;;;;;;;;;EAnUhE,AAAA;;;;;;;;EDwFA,AAAA,eAGC,4BAH2B,GAAY;kEAC7B;;;;;;;;;;;uIAAY;;;;IACnB;;;;;;;2HAAsB,GAAC;;yEAAb;;GACb;EAED,AAAA,eAKC;;kBAL2B,YAAqB;kBAAE,UAAmB;kBAAE,WAAoB;;kEACjF;;;;;;;;;;;uIAAY;;;;IACnB;;;;;;;2HAAsB,YAAU;;yEAAtB;IACV;;;;;;;2HAAoB,UAAQ;;yEAApB;IACR;;;;;;;2HAAqB,WAAS;;yEAArB;;GACZ;EAED,AAAA,2BAYC,4BAXG,YAAuD,EACvD,KAA4D;kEAErD;;;;;;;;;;;uIAAY;;;;;;gDACnB,GAIC,EAJD,IAIC;;yCAHgB,IAAE;8BACX,KAAM,GAAiB,IAAE;8BAAzB,KAAM,GAAuC,IAAE;wBAA/C;;;;;;;;;;+IAAA,KAAM;;;+IAAN,KAAM;;;;;8EAAA;;6BAFd,GAIC;;;mBAJgB,KAAG;IAKhB;;;;;;;2HAAyB,YAAU;;yEAAtB;;GAEpB;EAED,AAAA,iBAuCC;;oBAvC6B,OAAyB;oBAAE,QAAiB;oBAAE,KAAa;oBAAE,UAAyB;;4BACzG,KAAG;4BACH,KAAG;UAEJ,OAKL;;;;qCAJE,KAAY;qCAAE,MAAa;qCAAE,GAAU;;0CAC7B,GAAqB;6CAA9B,KAAG;;qDAAO,GAAC,EAAF,GAAqB,GAAH,KAAG;;4DAAM,MAAI;;;mCACpC,QAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4BAGP,OAAK;qDAEJ;;;;;;;;;;;4KAAwB,QAAM;;;;0HAAvB;;UAGT,OAAqB,GAAJ,KAAG;QACtB,OAAK;;;wDACa;;;;;;;;;;;6HAAU;wDAAE;;;;;;;;;;;6HAAU;;;qDACzB;;;;;;;;;;;0HAAU;qDAAE;;;;;;;;;;;0HAAU;;uEAA2D;;;;;;;;;;;4IAAY;;wBACrG,OAAK;;;0DACM;;;;;;;;;;;+HAAU;0DAAE;;;;;;;;;;;+HAAQ;;;uDACvB;;;;;;;;;;;4HAAU;uDAAE;;;;;;;;;;;4HAAQ;;yEAA2D;;;;;;;;;;;8IAAY;;;;0DAExF;;;;;;;;;;;+HAAU;0DAAE;;;;;;;;;;;+HAAS;;;uDACxB;;;;;;;;;;;4HAAU;uDAAE;;;;;;;;;;;4HAAS;;yEAA2D;;;;;;;;;;;8IAAY;;;UAGzG,SAAyB,GAAN,OAAK;UACpB,aAGT,YAFG,SAAO,YACE,UAAQ;IAErB;;;;;;;;;;2HAAwB,QAAM;;;2HAAY,aAAW;;;wEAA9C;iCAGF;;;;;;;;;;;wJAAqB,SAAO;;;;sGAAf;;MACd;;;;;;;;;;6HAAqB,SAAO;;;;;;;0EAAf;;IAEjB;;;;;;;;;;+FAAqB,SAAO;;;2HAAkB,QAAM;;;;;wEAAvC;;GAChB;EAED,AAAA,sBAOC,4BAPkC,KAA4D;kEACpF;;;;;;;;;;;uIAAY;;;;;;gDACnB,GAIC,EAJD,IAIC;;yCAHgB,IAAE;8BACX,KAAM,GAAiB,IAAE;8BAAzB,KAAM,GAAuC,IAAE;wBAA/C;;;;;;;;;;+IAAA,KAAM;;;+IAAN,KAAM;;;;;8EAAA;;6BAFd,GAIC;;;mBAJgB,KAAG;;GAKvB;EAED,AAAA,eAGC,4BAH2B,GAAmB,EAAE,GAAmB;mEACzD;;;;;;;;;;;wIAAY;;;;IACnB;;;;;;;;;;2HAAuB,GAAC;;;2HAAW,GAAC;;;wEAA9B;;GACT;EAED,AAAA,cAGC,4BAH0B,GAAmB;mEACnC;;;;;;;;;;;wIAAY;;;;IACnB;;;;;;;;;;2HAAuB,GAAC;;;wEAAlB;;GACT;EAED,AAAA,mBAGC;mEAFU;;;;;;;;;;;wIAAY;;;;IACnB;;;;;;;;;;yEAAM;;GACT;EAED,AAAA,sBA4BC;;yBA5BkC,OAAyB;yBAAE,QAAiB;yBAAE,KAAa;yBAAE,UAAyB;;4BAC9G,KAAG;4BACH,KAAG;UAEJ,OAKL;;;;qCAJE,KAAY;qCAAE,MAAa;qCAAE,GAAU;;0CAC7B,GAAqB;6CAA9B,KAAG;;qDAAO,GAAC,EAAF,GAAqB,GAAH,KAAG;;6DAAM,MAAI;;;mCACpC,QAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4BAGP,OAAK;qDAEJ;;;;;;;;;;;4KAAwB,QAAM;;;;0HAAvB;;mEACR;;;;;;;;;;;wIAAY;;;;UAEb,SAAyB,GAAN,OAAK;UACxB,aAGL,YAFG,SAAO,YACE,UAAQ;IAGrB;;;;;;;;;;2HAAwB,QAAM;;;2HAAY,aAAW;;;wEAA9C;iCAGF;;;;;;;;;;;wJAAqB,SAAO;;;;sGAAf;;MACd;;;;;;;;;;6HAAqB,SAAO;;;;;;;0EAAf;;IAEjB;;;;;;;;;;+FAAqB,SAAO;;;2HAAkB,QAAM;;;;;wEAAvC;;GAChB;EAED,AAAA,eAYC,4BAZ2B,QAAiB,EAAE,UAAyB;oDAC7D;;;;;;;;;;;2KAAwB,QAAM;;;;yHAAvB;;UAER,cAA+C,2BAAhC;;;;;;;;;;;;;;8IAAwB,QAAM;;;wHAAvB;2CACrB,cAAY;;;;UAEb,UAGL,YAFG,cAAY,kBACH,UAAQ;IAGrB;;;;;;;;;;2HAAwB,QAAM;;;2HAAY,UAAQ;;;wEAA3C;;GACV;EAED,AAAA,uBAIC,4BAJmC,YAAuD;mEAChF;;;;;;;;;;;wIAAY;;;;IAEnB;;;;;;;2HAAyB,YAAU;;yEAAtB;;GAChB;EAED,AAAA,kBAmBC,4BAnB8B,QAAiB,EAAE,WAA6B;oDACpE;;;;;;;;;;;2KAAwB,QAAM;;;;yHAAvB;;UAER,cAA+C,2BAAhC;;;;;;;;;;;;;;8IAAwB,QAAM;;;wHAAvB;2CACrB,cAAY;;;;UAEb,UAGL,YAFY,WAAS,YAClB,cAAY;IAGhB;;;;;;;;;;2HAAwB,QAAM;;;2HAAY,UAAQ;;;wEAA3C;UAGP,KAAa;IAAb;;;;;;;;;;+FAAA,KAAa;;;2HAAwC,QAAM;;;wEAA9C;iCACR;;;;;;;;;;;wJAA8B,WAAS;;;;sGAA1B;;MACd;;;;;;;;;;6HAA8B,WAAS;;;;;;;0EAA1B;;IAEjB;;;;;;;;;;+FAA8B,WAAS;;;2HAAmB,QAAM;;;;;wEAAnD;;GAChB;EAGD,AAAA,eAGC,4BAH2B,WAA6B;mEAC9C;;;;;;;;;;;wIAAY;;;;IACnB;;;;;;;2HAAwB,WAAS;;yEAArB;;GACf;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAlOD;sCAAA;;;;;;;;;;;2GAAqD;KAAA;IACrD;qCAAA;;;;;;;;;;;0GAAsD;KAAA;IACtD;sCAAA;;;;;;;;;;;2GAA8C;KAAA;IAE9C;qCAAA;;;;;;;;;;;0GAA+C;KAAA;IAE/C;qCAAA;;;;;;;;;;;0GAAyE;KAAA;IAGzE;;;;;uCAAA;;;;;;;;;;;;;;;;4GAAkD;;;;;;uCAAlD;;;;;;;;;;;;4GAAkD;;;;;;;;;;;;;;uCAAlD;;;;;;;;;;;;;;;4GAAkD;;;;;;;;;;;;;;uCAAlD;;;;;;;;;;;;;;;;;4GAAkD;;;;;;;;;KAAA;IAGlD;;;;;uCAAA;;;;;;;;;;;;;;;;4GAAqE;;;;;;uCAArE;;;;;;;;;;;;4GAAqE;;;;;;;;;;;;;;uCAArE;;;;;;;;;;;;;;;4GAAqE;;;;;;;;;;;;;;0EAArE,KAAqE;;;;;;;;;2CAAhB;;;;;;;;;;;sIAArD,KAAqE;;;;;;;;gHAAF;;;;;;2CAAd;;;;;;;;;;;sIAArD,KAAqE;;;;gHAAF;;;;;;;;;;;;;;2CAAd;;;;;;;;;;;sIAArD,KAAqE;;;;;;;gHAAF;;;;;;yFAAnE,KAAqE;;;;;;KAAA;IAErE;;;;;uCAAA;;;;;;;;;;;;;;;;4GAA8D;;;;;;uCAA9D;;;;;;;;;;;;4GAA8D;;;;;;;uCAA9D;;;;;;;;;;;;;;;4GAA8D;;;;;;;uCAA9D;;;;;;;;;;;;;;;;;4GAA8D;;;;;;;;;KAAA;IAyC9D;qCAAA;;;;;;;;;;;0GAAoC;KAAA;IACpC;qCAAA;;;;;;;;;;;0GAAoC;KAAA;IACpC;qCAAA;;;;;;;;;;;0GAAkC;KAAA;IAClC;qCAAA;;;;;;;;;;;0GAAmC;KAAA;;;;;;;;;;"
|
|
8
|
-
}
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|