@midnames/sdk 1.0.6 → 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.
Files changed (142) hide show
  1. package/README.md +4 -43
  2. package/dist/contract.d.ts +5 -0
  3. package/dist/contract.js +5 -0
  4. package/dist/core.d.ts +27 -9
  5. package/dist/core.js +196 -233
  6. package/dist/errors.d.ts +0 -3
  7. package/dist/errors.js +9 -17
  8. package/dist/holographic-card.css +1 -1
  9. package/dist/index.d.ts +10 -10
  10. package/dist/index.js +15 -11
  11. package/{node_modules/@midnames/ns/dist/managed/leaf → dist/managed}/compiler/contract-info.json +298 -232
  12. package/dist/managed/contract/index.d.ts +237 -0
  13. package/{node_modules/@midnames/ns/dist/managed/leaf → dist/managed}/contract/index.js +2044 -1713
  14. package/dist/managed/keys/add_domain_field.prover +0 -0
  15. package/dist/managed/keys/add_multiple_fields.prover +0 -0
  16. package/dist/managed/keys/change_field_limit.prover +0 -0
  17. package/dist/managed/keys/change_root_enable_subdomains.prover +0 -0
  18. package/dist/managed/keys/clear_domain_fields.prover +0 -0
  19. package/dist/managed/keys/create_domain.prover +0 -0
  20. package/dist/managed/keys/lock_payment_config.prover +0 -0
  21. package/dist/managed/keys/lock_target.prover +0 -0
  22. package/dist/managed/keys/remove_domain_field.prover +0 -0
  23. package/dist/managed/keys/transfer_domain.prover +0 -0
  24. package/dist/managed/keys/update_domain_default_field.prover +0 -0
  25. package/dist/managed/keys/update_payment_config.prover +0 -0
  26. package/dist/managed/keys/update_target.prover +0 -0
  27. package/dist/operations.d.ts +32 -20
  28. package/dist/operations.js +86 -103
  29. package/dist/provider.d.ts +6 -7
  30. package/dist/provider.js +11 -7
  31. package/dist/react/DomainProfileWidget.d.ts +1 -1
  32. package/dist/react/DomainProfileWidget.js +14 -36
  33. package/dist/react/HolographicCard.d.ts +1 -17
  34. package/dist/react/HolographicCard.js +1 -6
  35. package/dist/results.d.ts +0 -25
  36. package/dist/results.js +2 -75
  37. package/dist/styles.css +0 -1
  38. package/dist/types.d.ts +19 -4
  39. package/dist/types.js +1 -2
  40. package/dist/utils/address.d.ts +6 -1
  41. package/dist/utils/address.js +23 -6
  42. package/dist/utils/domain.d.ts +0 -4
  43. package/dist/utils/domain.js +15 -40
  44. package/dist/utils/sanitize.js +0 -4
  45. package/dist/witnesses.d.ts +8 -0
  46. package/dist/witnesses.js +6 -0
  47. package/package.json +45 -83
  48. package/dist/controller-types.d.ts +0 -108
  49. package/dist/controller-types.js +0 -17
  50. package/dist/controller-types.js.map +0 -1
  51. package/dist/core.js.map +0 -1
  52. package/dist/errors.js.map +0 -1
  53. package/dist/index.js.map +0 -1
  54. package/dist/operations.js.map +0 -1
  55. package/dist/provider.js.map +0 -1
  56. package/dist/react/DomainProfileWidget/index.d.ts +0 -2
  57. package/dist/react/DomainProfileWidget/index.js +0 -2
  58. package/dist/react/DomainProfileWidget/index.js.map +0 -1
  59. package/dist/react/DomainProfileWidget.js.map +0 -1
  60. package/dist/react/HolographicCard/index.d.ts +0 -3
  61. package/dist/react/HolographicCard/index.js +0 -3
  62. package/dist/react/HolographicCard/index.js.map +0 -1
  63. package/dist/react/HolographicCard.js.map +0 -1
  64. package/dist/react/index.d.ts +0 -3
  65. package/dist/react/index.js +0 -3
  66. package/dist/react/index.js.map +0 -1
  67. package/dist/results.js.map +0 -1
  68. package/dist/types.js.map +0 -1
  69. package/dist/utils/address.js.map +0 -1
  70. package/dist/utils/domain.js.map +0 -1
  71. package/dist/utils/imageResolver.d.ts +0 -8
  72. package/dist/utils/imageResolver.js +0 -90
  73. package/dist/utils/imageResolver.js.map +0 -1
  74. package/dist/utils/index.d.ts +0 -2
  75. package/dist/utils/index.js +0 -3
  76. package/dist/utils/index.js.map +0 -1
  77. package/dist/utils/sanitize.js.map +0 -1
  78. package/node_modules/@midnames/ns/dist/index.d.ts +0 -5
  79. package/node_modules/@midnames/ns/dist/index.js +0 -6
  80. package/node_modules/@midnames/ns/dist/index.js.map +0 -1
  81. package/node_modules/@midnames/ns/dist/leaf.compact +0 -290
  82. package/node_modules/@midnames/ns/dist/managed/leaf/contract/index.d.ts +0 -197
  83. package/node_modules/@midnames/ns/dist/managed/leaf/contract/index.js.map +0 -8
  84. package/node_modules/@midnames/ns/dist/managed/leaf/keys/add_multiple_fields.prover +0 -0
  85. package/node_modules/@midnames/ns/dist/managed/leaf/keys/add_multiple_fields.verifier +0 -0
  86. package/node_modules/@midnames/ns/dist/managed/leaf/keys/buy_domain_for.prover +0 -0
  87. package/node_modules/@midnames/ns/dist/managed/leaf/keys/buy_domain_for.verifier +0 -0
  88. package/node_modules/@midnames/ns/dist/managed/leaf/keys/change_owner.prover +0 -0
  89. package/node_modules/@midnames/ns/dist/managed/leaf/keys/change_owner.verifier +0 -0
  90. package/node_modules/@midnames/ns/dist/managed/leaf/keys/clear_all_fields.prover +0 -0
  91. package/node_modules/@midnames/ns/dist/managed/leaf/keys/clear_all_fields.verifier +0 -0
  92. package/node_modules/@midnames/ns/dist/managed/leaf/keys/clear_field.prover +0 -0
  93. package/node_modules/@midnames/ns/dist/managed/leaf/keys/clear_field.verifier +0 -0
  94. package/node_modules/@midnames/ns/dist/managed/leaf/keys/insert_field.prover +0 -0
  95. package/node_modules/@midnames/ns/dist/managed/leaf/keys/insert_field.verifier +0 -0
  96. package/node_modules/@midnames/ns/dist/managed/leaf/keys/register_domain_for.prover +0 -0
  97. package/node_modules/@midnames/ns/dist/managed/leaf/keys/register_domain_for.verifier +0 -0
  98. package/node_modules/@midnames/ns/dist/managed/leaf/keys/set_resolver.prover +0 -0
  99. package/node_modules/@midnames/ns/dist/managed/leaf/keys/set_resolver.verifier +0 -0
  100. package/node_modules/@midnames/ns/dist/managed/leaf/keys/transfer_domain.prover +0 -0
  101. package/node_modules/@midnames/ns/dist/managed/leaf/keys/transfer_domain.verifier +0 -0
  102. package/node_modules/@midnames/ns/dist/managed/leaf/keys/update_color.prover +0 -0
  103. package/node_modules/@midnames/ns/dist/managed/leaf/keys/update_color.verifier +0 -0
  104. package/node_modules/@midnames/ns/dist/managed/leaf/keys/update_costs.prover +0 -0
  105. package/node_modules/@midnames/ns/dist/managed/leaf/keys/update_costs.verifier +0 -0
  106. package/node_modules/@midnames/ns/dist/managed/leaf/keys/update_domain_target.prover +0 -0
  107. package/node_modules/@midnames/ns/dist/managed/leaf/keys/update_domain_target.verifier +0 -0
  108. package/node_modules/@midnames/ns/dist/managed/leaf/keys/update_target_and_fields.prover +0 -0
  109. package/node_modules/@midnames/ns/dist/managed/leaf/keys/update_target_and_fields.verifier +0 -0
  110. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/add_multiple_fields.bzkir +0 -0
  111. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/add_multiple_fields.zkir +0 -424
  112. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/buy_domain_for.bzkir +0 -0
  113. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/buy_domain_for.zkir +0 -1456
  114. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/change_owner.bzkir +0 -0
  115. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/change_owner.zkir +0 -57
  116. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/clear_all_fields.bzkir +0 -0
  117. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/clear_all_fields.zkir +0 -53
  118. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/clear_field.bzkir +0 -0
  119. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/clear_field.zkir +0 -58
  120. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/insert_field.bzkir +0 -0
  121. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/insert_field.zkir +0 -65
  122. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/register_domain_for.bzkir +0 -0
  123. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/register_domain_for.zkir +0 -401
  124. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/set_resolver.bzkir +0 -0
  125. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/set_resolver.zkir +0 -109
  126. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/transfer_domain.bzkir +0 -0
  127. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/transfer_domain.zkir +0 -212
  128. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/update_color.bzkir +0 -0
  129. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/update_color.zkir +0 -58
  130. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/update_costs.bzkir +0 -0
  131. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/update_costs.zkir +0 -88
  132. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/update_domain_target.bzkir +0 -0
  133. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/update_domain_target.zkir +0 -66
  134. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/update_target_and_fields.bzkir +0 -0
  135. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/update_target_and_fields.zkir +0 -450
  136. package/node_modules/@midnames/ns/dist/utils.d.ts +0 -5
  137. package/node_modules/@midnames/ns/dist/utils.js +0 -19
  138. package/node_modules/@midnames/ns/dist/utils.js.map +0 -1
  139. package/node_modules/@midnames/ns/dist/witnesses.d.ts +0 -4
  140. package/node_modules/@midnames/ns/dist/witnesses.js +0 -3
  141. package/node_modules/@midnames/ns/dist/witnesses.js.map +0 -1
  142. package/node_modules/@midnames/ns/package.json +0 -55
@@ -0,0 +1,237 @@
1
+ import type * as __compactRuntime from '@midnight-ntwrk/compact-runtime';
2
+
3
+ export enum AddressType { ContractAddr = 0, ZswapCPKAddr = 1, UnshieldedAddr = 2
4
+ }
5
+
6
+ export type DomainData = { owner_public_key: Uint8Array;
7
+ owner_address: { bytes: Uint8Array };
8
+ target: Uint8Array;
9
+ target_type: AddressType;
10
+ default_field: Maybe<string>;
11
+ payment_config: PaymentConfig;
12
+ target_locked: boolean;
13
+ payment_config_locked: boolean
14
+ };
15
+
16
+ export type DomainReference = { domain: Uint8Array; parent_id: bigint };
17
+
18
+ export type Maybe<T> = { is_some: boolean; value: T };
19
+
20
+ export type PaymentConfig = { cost_short: bigint;
21
+ cost_med: bigint;
22
+ cost_long: bigint;
23
+ coin_color: Uint8Array;
24
+ buy_enabled: boolean
25
+ };
26
+
27
+ export type Witnesses<PS> = {
28
+ domainSecretKey(context: __compactRuntime.WitnessContext<Ledger, PS>): [PS, Uint8Array];
29
+ }
30
+
31
+ export type ImpureCircuits<PS> = {
32
+ change_root_enable_subdomains(context: __compactRuntime.CircuitContext<PS>,
33
+ b_0: boolean): __compactRuntime.CircuitResults<PS, []>;
34
+ change_field_limit(context: __compactRuntime.CircuitContext<PS>,
35
+ val_0: Maybe<bigint>): __compactRuntime.CircuitResults<PS, []>;
36
+ create_domain(context: __compactRuntime.CircuitContext<PS>,
37
+ owner_address_0: { bytes: Uint8Array },
38
+ domain_0: Uint8Array,
39
+ len_0: bigint,
40
+ parent_id_0: bigint,
41
+ target_0: Uint8Array,
42
+ target_type_0: AddressType,
43
+ default_field_0: Maybe<string>,
44
+ payment_config_0: PaymentConfig,
45
+ kvs_0: Maybe<[string, string]>[]): __compactRuntime.CircuitResults<PS, []>;
46
+ update_target(context: __compactRuntime.CircuitContext<PS>,
47
+ id_0: bigint,
48
+ target_0: Uint8Array,
49
+ target_type_0: AddressType): __compactRuntime.CircuitResults<PS, []>;
50
+ update_payment_config(context: __compactRuntime.CircuitContext<PS>,
51
+ id_0: bigint,
52
+ pc_0: PaymentConfig): __compactRuntime.CircuitResults<PS, []>;
53
+ transfer_domain(context: __compactRuntime.CircuitContext<PS>,
54
+ domain_0: Uint8Array,
55
+ parent_id_0: bigint,
56
+ new_owner_0: Uint8Array,
57
+ new_owner_address_0: { bytes: Uint8Array }): __compactRuntime.CircuitResults<PS, []>;
58
+ add_domain_field(context: __compactRuntime.CircuitContext<PS>,
59
+ id_0: bigint,
60
+ k_0: string,
61
+ v_0: string): __compactRuntime.CircuitResults<PS, []>;
62
+ add_multiple_fields(context: __compactRuntime.CircuitContext<PS>,
63
+ id_0: bigint,
64
+ kvs_0: Maybe<[string, string]>[]): __compactRuntime.CircuitResults<PS, []>;
65
+ remove_domain_field(context: __compactRuntime.CircuitContext<PS>,
66
+ id_0: bigint,
67
+ k_0: string): __compactRuntime.CircuitResults<PS, []>;
68
+ clear_domain_fields(context: __compactRuntime.CircuitContext<PS>, id_0: bigint): __compactRuntime.CircuitResults<PS, []>;
69
+ update_domain_default_field(context: __compactRuntime.CircuitContext<PS>,
70
+ id_0: bigint,
71
+ d_0: Maybe<string>): __compactRuntime.CircuitResults<PS, []>;
72
+ lock_target(context: __compactRuntime.CircuitContext<PS>, id_0: bigint): __compactRuntime.CircuitResults<PS, []>;
73
+ lock_payment_config(context: __compactRuntime.CircuitContext<PS>, id_0: bigint): __compactRuntime.CircuitResults<PS, []>;
74
+ }
75
+
76
+ export type ProvableCircuits<PS> = {
77
+ change_root_enable_subdomains(context: __compactRuntime.CircuitContext<PS>,
78
+ b_0: boolean): __compactRuntime.CircuitResults<PS, []>;
79
+ change_field_limit(context: __compactRuntime.CircuitContext<PS>,
80
+ val_0: Maybe<bigint>): __compactRuntime.CircuitResults<PS, []>;
81
+ create_domain(context: __compactRuntime.CircuitContext<PS>,
82
+ owner_address_0: { bytes: Uint8Array },
83
+ domain_0: Uint8Array,
84
+ len_0: bigint,
85
+ parent_id_0: bigint,
86
+ target_0: Uint8Array,
87
+ target_type_0: AddressType,
88
+ default_field_0: Maybe<string>,
89
+ payment_config_0: PaymentConfig,
90
+ kvs_0: Maybe<[string, string]>[]): __compactRuntime.CircuitResults<PS, []>;
91
+ update_target(context: __compactRuntime.CircuitContext<PS>,
92
+ id_0: bigint,
93
+ target_0: Uint8Array,
94
+ target_type_0: AddressType): __compactRuntime.CircuitResults<PS, []>;
95
+ update_payment_config(context: __compactRuntime.CircuitContext<PS>,
96
+ id_0: bigint,
97
+ pc_0: PaymentConfig): __compactRuntime.CircuitResults<PS, []>;
98
+ transfer_domain(context: __compactRuntime.CircuitContext<PS>,
99
+ domain_0: Uint8Array,
100
+ parent_id_0: bigint,
101
+ new_owner_0: Uint8Array,
102
+ new_owner_address_0: { bytes: Uint8Array }): __compactRuntime.CircuitResults<PS, []>;
103
+ add_domain_field(context: __compactRuntime.CircuitContext<PS>,
104
+ id_0: bigint,
105
+ k_0: string,
106
+ v_0: string): __compactRuntime.CircuitResults<PS, []>;
107
+ add_multiple_fields(context: __compactRuntime.CircuitContext<PS>,
108
+ id_0: bigint,
109
+ kvs_0: Maybe<[string, string]>[]): __compactRuntime.CircuitResults<PS, []>;
110
+ remove_domain_field(context: __compactRuntime.CircuitContext<PS>,
111
+ id_0: bigint,
112
+ k_0: string): __compactRuntime.CircuitResults<PS, []>;
113
+ clear_domain_fields(context: __compactRuntime.CircuitContext<PS>, id_0: bigint): __compactRuntime.CircuitResults<PS, []>;
114
+ update_domain_default_field(context: __compactRuntime.CircuitContext<PS>,
115
+ id_0: bigint,
116
+ d_0: Maybe<string>): __compactRuntime.CircuitResults<PS, []>;
117
+ lock_target(context: __compactRuntime.CircuitContext<PS>, id_0: bigint): __compactRuntime.CircuitResults<PS, []>;
118
+ lock_payment_config(context: __compactRuntime.CircuitContext<PS>, id_0: bigint): __compactRuntime.CircuitResults<PS, []>;
119
+ }
120
+
121
+ export type PureCircuits = {
122
+ }
123
+
124
+ export type Circuits<PS> = {
125
+ change_root_enable_subdomains(context: __compactRuntime.CircuitContext<PS>,
126
+ b_0: boolean): __compactRuntime.CircuitResults<PS, []>;
127
+ change_field_limit(context: __compactRuntime.CircuitContext<PS>,
128
+ val_0: Maybe<bigint>): __compactRuntime.CircuitResults<PS, []>;
129
+ create_domain(context: __compactRuntime.CircuitContext<PS>,
130
+ owner_address_0: { bytes: Uint8Array },
131
+ domain_0: Uint8Array,
132
+ len_0: bigint,
133
+ parent_id_0: bigint,
134
+ target_0: Uint8Array,
135
+ target_type_0: AddressType,
136
+ default_field_0: Maybe<string>,
137
+ payment_config_0: PaymentConfig,
138
+ kvs_0: Maybe<[string, string]>[]): __compactRuntime.CircuitResults<PS, []>;
139
+ update_target(context: __compactRuntime.CircuitContext<PS>,
140
+ id_0: bigint,
141
+ target_0: Uint8Array,
142
+ target_type_0: AddressType): __compactRuntime.CircuitResults<PS, []>;
143
+ update_payment_config(context: __compactRuntime.CircuitContext<PS>,
144
+ id_0: bigint,
145
+ pc_0: PaymentConfig): __compactRuntime.CircuitResults<PS, []>;
146
+ transfer_domain(context: __compactRuntime.CircuitContext<PS>,
147
+ domain_0: Uint8Array,
148
+ parent_id_0: bigint,
149
+ new_owner_0: Uint8Array,
150
+ new_owner_address_0: { bytes: Uint8Array }): __compactRuntime.CircuitResults<PS, []>;
151
+ add_domain_field(context: __compactRuntime.CircuitContext<PS>,
152
+ id_0: bigint,
153
+ k_0: string,
154
+ v_0: string): __compactRuntime.CircuitResults<PS, []>;
155
+ add_multiple_fields(context: __compactRuntime.CircuitContext<PS>,
156
+ id_0: bigint,
157
+ kvs_0: Maybe<[string, string]>[]): __compactRuntime.CircuitResults<PS, []>;
158
+ remove_domain_field(context: __compactRuntime.CircuitContext<PS>,
159
+ id_0: bigint,
160
+ k_0: string): __compactRuntime.CircuitResults<PS, []>;
161
+ clear_domain_fields(context: __compactRuntime.CircuitContext<PS>, id_0: bigint): __compactRuntime.CircuitResults<PS, []>;
162
+ update_domain_default_field(context: __compactRuntime.CircuitContext<PS>,
163
+ id_0: bigint,
164
+ d_0: Maybe<string>): __compactRuntime.CircuitResults<PS, []>;
165
+ lock_target(context: __compactRuntime.CircuitContext<PS>, id_0: bigint): __compactRuntime.CircuitResults<PS, []>;
166
+ lock_payment_config(context: __compactRuntime.CircuitContext<PS>, id_0: bigint): __compactRuntime.CircuitResults<PS, []>;
167
+ }
168
+
169
+ export type Ledger = {
170
+ readonly ROOT_ZONE_ID: bigint;
171
+ readonly TLD: string;
172
+ readonly last_id_int: bigint;
173
+ name_to_id: {
174
+ isEmpty(): boolean;
175
+ size(): bigint;
176
+ member(key_0: DomainReference): boolean;
177
+ lookup(key_0: DomainReference): bigint;
178
+ [Symbol.iterator](): Iterator<[DomainReference, bigint]>
179
+ };
180
+ id_to_data: {
181
+ isEmpty(): boolean;
182
+ size(): bigint;
183
+ member(key_0: bigint): boolean;
184
+ lookup(key_0: bigint): DomainData;
185
+ [Symbol.iterator](): Iterator<[bigint, DomainData]>
186
+ };
187
+ addr_to_domains: {
188
+ isEmpty(): boolean;
189
+ size(): bigint;
190
+ member(key_0: Uint8Array): boolean;
191
+ lookup(key_0: Uint8Array): {
192
+ isEmpty(): boolean;
193
+ size(): bigint;
194
+ member(elem_0: DomainReference): boolean;
195
+ [Symbol.iterator](): Iterator<DomainReference>
196
+ }
197
+ };
198
+ domain_fields: {
199
+ isEmpty(): boolean;
200
+ size(): bigint;
201
+ member(key_0: bigint): boolean;
202
+ lookup(key_0: bigint): {
203
+ isEmpty(): boolean;
204
+ size(): bigint;
205
+ member(key_1: string): boolean;
206
+ lookup(key_1: string): string;
207
+ [Symbol.iterator](): Iterator<[string, string]>
208
+ }
209
+ };
210
+ readonly ENABLE_SUBDOMAINS: boolean;
211
+ readonly FIELD_LIMIT: Maybe<bigint>;
212
+ }
213
+
214
+ export type ContractReferenceLocations = any;
215
+
216
+ export declare const contractReferenceLocations : ContractReferenceLocations;
217
+
218
+ export declare class Contract<PS = any, W extends Witnesses<PS> = Witnesses<PS>> {
219
+ witnesses: W;
220
+ circuits: Circuits<PS>;
221
+ impureCircuits: ImpureCircuits<PS>;
222
+ provableCircuits: ProvableCircuits<PS>;
223
+ constructor(witnesses: W);
224
+ initialState(context: __compactRuntime.ConstructorContext<PS>,
225
+ tld_0: string,
226
+ target_0: Uint8Array,
227
+ target_type_0: AddressType,
228
+ default_field_0: Maybe<string>,
229
+ payment_config_0: PaymentConfig,
230
+ owner_address_0: { bytes: Uint8Array },
231
+ kvs_0: Maybe<[string, string]>[],
232
+ field_limit_0: Maybe<bigint>,
233
+ enable_subdomains_0: boolean): __compactRuntime.ConstructorResult<PS>;
234
+ }
235
+
236
+ export declare function ledger(state: __compactRuntime.StateValue | __compactRuntime.ChargedState): Ledger;
237
+ export declare const pureCircuits: PureCircuits;