@aztec/noir-protocol-circuits-types 0.24.0
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 +1 -0
- package/dest/index.d.ts +69 -0
- package/dest/index.d.ts.map +1 -0
- package/dest/index.js +268 -0
- package/dest/scripts/generate_ts_from_abi.d.ts +2 -0
- package/dest/scripts/generate_ts_from_abi.d.ts.map +1 -0
- package/dest/scripts/generate_ts_from_abi.js +180 -0
- package/dest/target/private_kernel_init.json +1 -0
- package/dest/target/private_kernel_init_simulated.json +1 -0
- package/dest/target/private_kernel_inner.json +1 -0
- package/dest/target/private_kernel_inner_simulated.json +1 -0
- package/dest/target/private_kernel_tail.json +1 -0
- package/dest/target/private_kernel_tail_simulated.json +1 -0
- package/dest/target/public_kernel_app_logic.json +1 -0
- package/dest/target/public_kernel_app_logic_simulated.json +1 -0
- package/dest/target/public_kernel_setup.json +1 -0
- package/dest/target/public_kernel_setup_simulated.json +1 -0
- package/dest/target/rollup_base.json +1 -0
- package/dest/target/rollup_base_simulated.json +1 -0
- package/dest/target/rollup_merge.json +1 -0
- package/dest/target/rollup_root.json +1 -0
- package/dest/type_conversion.d.ts +574 -0
- package/dest/type_conversion.d.ts.map +1 -0
- package/dest/type_conversion.js +1115 -0
- package/dest/types/private_kernel_init_types.d.ts +232 -0
- package/dest/types/private_kernel_init_types.d.ts.map +1 -0
- package/dest/types/private_kernel_init_types.js +3 -0
- package/dest/types/private_kernel_inner_types.d.ts +233 -0
- package/dest/types/private_kernel_inner_types.d.ts.map +1 -0
- package/dest/types/private_kernel_inner_types.js +3 -0
- package/dest/types/private_kernel_tail_types.d.ts +182 -0
- package/dest/types/private_kernel_tail_types.d.ts.map +1 -0
- package/dest/types/private_kernel_tail_types.js +3 -0
- package/dest/types/public_kernel_app_logic_types.d.ts +212 -0
- package/dest/types/public_kernel_app_logic_types.d.ts.map +1 -0
- package/dest/types/public_kernel_app_logic_types.js +3 -0
- package/dest/types/public_kernel_setup_types.d.ts +212 -0
- package/dest/types/public_kernel_setup_types.d.ts.map +1 -0
- package/dest/types/public_kernel_setup_types.js +3 -0
- package/dest/types/rollup_base_types.d.ts +220 -0
- package/dest/types/rollup_base_types.d.ts.map +1 -0
- package/dest/types/rollup_base_types.js +3 -0
- package/dest/types/rollup_merge_types.d.ts +71 -0
- package/dest/types/rollup_merge_types.d.ts.map +1 -0
- package/dest/types/rollup_merge_types.js +3 -0
- package/dest/types/rollup_root_types.d.ts +92 -0
- package/dest/types/rollup_root_types.d.ts.map +1 -0
- package/dest/types/rollup_root_types.js +3 -0
- package/package.json +60 -0
- package/src/fixtures/nested-call-private-kernel-init.hex +1 -0
- package/src/fixtures/nested-call-private-kernel-inner.hex +1 -0
- package/src/fixtures/nested-call-private-kernel-ordering.hex +1 -0
- package/src/index.ts +438 -0
- package/src/scripts/generate_ts_from_abi.ts +233 -0
- package/src/target/private_kernel_init.json +1 -0
- package/src/target/private_kernel_init_simulated.json +1 -0
- package/src/target/private_kernel_inner.json +1 -0
- package/src/target/private_kernel_inner_simulated.json +1 -0
- package/src/target/private_kernel_tail.json +1 -0
- package/src/target/private_kernel_tail_simulated.json +1 -0
- package/src/target/public_kernel_app_logic.json +1 -0
- package/src/target/public_kernel_app_logic_simulated.json +1 -0
- package/src/target/public_kernel_setup.json +1 -0
- package/src/target/public_kernel_setup_simulated.json +1 -0
- package/src/target/rollup_base.json +1 -0
- package/src/target/rollup_base_simulated.json +1 -0
- package/src/target/rollup_merge.json +1 -0
- package/src/target/rollup_root.json +1 -0
- package/src/type_conversion.ts +1673 -0
- package/src/types/private_kernel_init_types.ts +272 -0
- package/src/types/private_kernel_inner_types.ts +273 -0
- package/src/types/private_kernel_tail_types.ts +214 -0
- package/src/types/public_kernel_app_logic_types.ts +250 -0
- package/src/types/public_kernel_setup_types.ts +250 -0
- package/src/types/rollup_base_types.ts +259 -0
- package/src/types/rollup_merge_types.ts +85 -0
- package/src/types/rollup_root_types.ts +109 -0
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"private_kernel_tail_types.d.ts","sourceRoot":"","sources":["../../src/types/private_kernel_tail_types.ts"],"names":[],"mappings":"AAIA,MAAM,MAAM,gBAAgB,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,CAAC,GAAG,KAAK,EAAE,GAAG,CAAC,EAAE,GAAG;IAAE,MAAM,EAAE,CAAC,CAAA;CAAE,CAAC;AAEhG,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC;AAC3B,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC;AAEzB,MAAM,WAAW,iBAAiB;CAAG;AAErC,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,KAAK,CAAC;IACb,OAAO,EAAE,GAAG,CAAC;CACd;AAED,MAAM,WAAW,aAAa;IAC5B,CAAC,EAAE,KAAK,CAAC;IACT,CAAC,EAAE,KAAK,CAAC;CACV;AAED,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,KAAK,CAAC;IACZ,GAAG,EAAE,KAAK,CAAC;CACZ;AAED,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,KAAK,CAAC;CACd;AAED,MAAM,WAAW,oCAAoC;IACnD,UAAU,EAAE,aAAa,CAAC;IAC1B,UAAU,EAAE,kBAAkB,CAAC;IAC/B,gBAAgB,EAAE,YAAY,CAAC;CAChC;AAED,MAAM,WAAW,0BAA0B;IACzC,KAAK,EAAE,KAAK,CAAC;IACb,SAAS,EAAE,KAAK,CAAC;IACjB,OAAO,EAAE,GAAG,CAAC;CACd;AAED,MAAM,WAAW,aAAa;IAC5B,UAAU,EAAE,YAAY,CAAC;IACzB,wBAAwB,EAAE,YAAY,CAAC;CACxC;AAED,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,KAAK,CAAC;IACZ,uBAAuB,EAAE,YAAY,CAAC;IACtC,cAAc,EAAE,aAAa,CAAC;IAC9B,yBAAyB,EAAE,GAAG,CAAC;IAC/B,uBAAuB,EAAE,GAAG,CAAC;CAC9B;AAED,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,KAAK,CAAC;CACd;AAED,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,KAAK,CAAC;CACd;AAED,MAAM,WAAW,eAAe;IAC9B,gBAAgB,EAAE,YAAY,CAAC;IAC/B,uBAAuB,EAAE,UAAU,CAAC;IACpC,iBAAiB,EAAE,eAAe,CAAC;CACpC;AAED,MAAM,WAAW,uBAAuB;IACtC,SAAS,EAAE,KAAK,CAAC;IACjB,SAAS,EAAE,KAAK,CAAC;CAClB;AAED,MAAM,WAAW,cAAc;IAC7B,SAAS,EAAE,KAAK,CAAC;IACjB,KAAK,EAAE,KAAK,CAAC;CACd;AAED,MAAM,WAAW,uBAAuB;IACtC,aAAa,EAAE,gBAAgB,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IACjD,iCAAiC,EAAE,gBAAgB,CAAC,oCAAoC,EAAE,CAAC,CAAC,CAAC;IAC7F,eAAe,EAAE,gBAAgB,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IAClD,cAAc,EAAE,gBAAgB,CAAC,0BAA0B,EAAE,EAAE,CAAC,CAAC;IACjE,kBAAkB,EAAE,gBAAgB,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IACrD,iBAAiB,EAAE,gBAAgB,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IACpD,iBAAiB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAC9C,mBAAmB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAChD,qBAAqB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAClD,8BAA8B,EAAE,KAAK,CAAC;IACtC,gCAAgC,EAAE,KAAK,CAAC;IACxC,aAAa,EAAE,gBAAgB,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC;IACpD,2BAA2B,EAAE,gBAAgB,CAAC,uBAAuB,EAAE,EAAE,CAAC,CAAC;IAC3E,iBAAiB,EAAE,gBAAgB,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;CACzD;AAED,MAAM,WAAW,sBAAsB;IACrC,IAAI,EAAE,KAAK,CAAC;IACZ,yBAAyB,EAAE,GAAG,CAAC;CAChC;AAED,MAAM,WAAW,qBAAqB;IACpC,cAAc,EAAE,sBAAsB,CAAC;IACvC,cAAc,EAAE,sBAAsB,CAAC;IACvC,aAAa,EAAE,sBAAsB,CAAC;IACtC,gBAAgB,EAAE,sBAAsB,CAAC;CAC1C;AAED,MAAM,WAAW,cAAc;IAC7B,qBAAqB,EAAE,sBAAsB,CAAC;IAC9C,OAAO,EAAE,qBAAqB,CAAC;CAChC;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,EAAE,KAAK,CAAC;IAChB,OAAO,EAAE,KAAK,CAAC;IACf,YAAY,EAAE,KAAK,CAAC;IACpB,SAAS,EAAE,KAAK,CAAC;IACjB,QAAQ,EAAE,UAAU,CAAC;IACrB,aAAa,EAAE,YAAY,CAAC;CAC7B;AAED,MAAM,WAAW,MAAM;IACrB,YAAY,EAAE,sBAAsB,CAAC;IACrC,SAAS,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACtC,KAAK,EAAE,cAAc,CAAC;IACtB,gBAAgB,EAAE,eAAe,CAAC;CACnC;AAED,MAAM,WAAW,sBAAsB;IACrC,UAAU,EAAE,aAAa,CAAC;IAC1B,mBAAmB,EAAE,KAAK,CAAC;IAC3B,iBAAiB,EAAE,eAAe,CAAC;IACnC,qBAAqB,EAAE,KAAK,CAAC;IAC7B,uBAAuB,EAAE,UAAU,CAAC;CACrC;AAED,MAAM,WAAW,SAAS;IACxB,iBAAiB,EAAE,OAAO,CAAC;IAC3B,oBAAoB,EAAE,OAAO,CAAC;IAC9B,yBAAyB,EAAE,OAAO,CAAC;IACnC,wBAAwB,EAAE,sBAAsB,CAAC;IACjD,QAAQ,EAAE,KAAK,CAAC;IAChB,OAAO,EAAE,KAAK,CAAC;CAChB;AAED,MAAM,WAAW,oBAAoB;IACnC,iBAAiB,EAAE,MAAM,CAAC;IAC1B,UAAU,EAAE,SAAS,CAAC;CACvB;AAED,MAAM,WAAW,qCAAqC;IACpD,kBAAkB,EAAE,iBAAiB,CAAC;IACtC,sCAAsC,EAAE,GAAG,CAAC;IAC5C,GAAG,EAAE,uBAAuB,CAAC;IAC7B,SAAS,EAAE,oBAAoB,CAAC;IAChC,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,MAAM,WAAW,KAAK;CAAG;AAEzB,MAAM,WAAW,eAAe;CAAG;AAEnC,MAAM,WAAW,sBAAsB;IACrC,aAAa,EAAE,qCAAqC,CAAC;IACrD,KAAK,EAAE,KAAK,CAAC;IACb,EAAE,EAAE,eAAe,CAAC;IACpB,QAAQ,EAAE,GAAG,CAAC;IACd,OAAO,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CACrC;AAED,MAAM,WAAW,qCAAqC;IACpD,eAAe,EAAE,sBAAsB,CAAC;IACxC,sBAAsB,EAAE,gBAAgB,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IACzD,8BAA8B,EAAE,gBAAgB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IAC1D,qBAAqB,EAAE,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACpD,qBAAqB,EAAE,gBAAgB,CAAC,0BAA0B,EAAE,EAAE,CAAC,CAAC;IACxE,6BAA6B,EAAE,gBAAgB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IACzD,0BAA0B,EAAE,gBAAgB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACxD,4BAA4B,EAAE,gBAAgB,CAAC,kBAAkB,EAAE,CAAC,CAAC,CAAC;CACvE;AAED,MAAM,WAAW,4BAA4B;IAC3C,eAAe,EAAE,gBAAgB,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;IACjD,cAAc,EAAE,gBAAgB,CAAC,0BAA0B,EAAE,CAAC,CAAC,CAAC;IAChE,iBAAiB,EAAE,gBAAgB,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;CACrD;AAED,MAAM,WAAW,oBAAoB;IACnC,eAAe,EAAE,gBAAgB,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IAClD,cAAc,EAAE,gBAAgB,CAAC,0BAA0B,EAAE,EAAE,CAAC,CAAC;IACjE,kBAAkB,EAAE,gBAAgB,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IACrD,iBAAiB,EAAE,gBAAgB,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IACpD,iBAAiB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAC9C,mBAAmB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAChD,qBAAqB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAClD,8BAA8B,EAAE,KAAK,CAAC;IACtC,gCAAgC,EAAE,KAAK,CAAC;IACxC,aAAa,EAAE,gBAAgB,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC;CACrD;AAED,MAAM,WAAW,oCAAoC;IACnD,kBAAkB,EAAE,iBAAiB,CAAC;IACtC,kBAAkB,EAAE,4BAA4B,CAAC;IACjD,GAAG,EAAE,oBAAoB,CAAC;IAC1B,SAAS,EAAE,oBAAoB,CAAC;IAChC,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,MAAM,MAAM,UAAU,GAAG,oCAAoC,CAAC;AAE9D,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,qCAAqC,CAAC;CAC9C"}
|
|
@@ -0,0 +1,3 @@
|
|
|
1
|
+
/* Autogenerated file, do not edit! */
|
|
2
|
+
export {};
|
|
3
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV9rZXJuZWxfdGFpbF90eXBlcy5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy90eXBlcy9wcml2YXRlX2tlcm5lbF90YWlsX3R5cGVzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLHNDQUFzQyJ9
|
|
@@ -0,0 +1,212 @@
|
|
|
1
|
+
export type FixedLengthArray<T, L extends number> = L extends 0 ? never[] : T[] & {
|
|
2
|
+
length: L;
|
|
3
|
+
};
|
|
4
|
+
export type Field = string;
|
|
5
|
+
export type u32 = string;
|
|
6
|
+
export interface AggregationObject {
|
|
7
|
+
}
|
|
8
|
+
export interface SideEffect {
|
|
9
|
+
value: Field;
|
|
10
|
+
counter: u32;
|
|
11
|
+
}
|
|
12
|
+
export interface SideEffectLinkedToNoteHash {
|
|
13
|
+
value: Field;
|
|
14
|
+
note_hash: Field;
|
|
15
|
+
counter: u32;
|
|
16
|
+
}
|
|
17
|
+
export interface AztecAddress {
|
|
18
|
+
inner: Field;
|
|
19
|
+
}
|
|
20
|
+
export interface CallerContext {
|
|
21
|
+
msg_sender: AztecAddress;
|
|
22
|
+
storage_contract_address: AztecAddress;
|
|
23
|
+
}
|
|
24
|
+
export interface CallRequest {
|
|
25
|
+
hash: Field;
|
|
26
|
+
caller_contract_address: AztecAddress;
|
|
27
|
+
caller_context: CallerContext;
|
|
28
|
+
start_side_effect_counter: u32;
|
|
29
|
+
end_side_effect_counter: u32;
|
|
30
|
+
}
|
|
31
|
+
export interface AccumulatedNonRevertibleData {
|
|
32
|
+
new_commitments: FixedLengthArray<SideEffect, 8>;
|
|
33
|
+
new_nullifiers: FixedLengthArray<SideEffectLinkedToNoteHash, 8>;
|
|
34
|
+
public_call_stack: FixedLengthArray<CallRequest, 2>;
|
|
35
|
+
}
|
|
36
|
+
export interface GrumpkinPoint {
|
|
37
|
+
x: Field;
|
|
38
|
+
y: Field;
|
|
39
|
+
}
|
|
40
|
+
export interface GrumpkinPrivateKey {
|
|
41
|
+
high: Field;
|
|
42
|
+
low: Field;
|
|
43
|
+
}
|
|
44
|
+
export interface NullifierKeyValidationRequestContext {
|
|
45
|
+
public_key: GrumpkinPoint;
|
|
46
|
+
secret_key: GrumpkinPrivateKey;
|
|
47
|
+
contract_address: AztecAddress;
|
|
48
|
+
}
|
|
49
|
+
export interface EthAddress {
|
|
50
|
+
inner: Field;
|
|
51
|
+
}
|
|
52
|
+
export interface ContractClassId {
|
|
53
|
+
inner: Field;
|
|
54
|
+
}
|
|
55
|
+
export interface NewContractData {
|
|
56
|
+
contract_address: AztecAddress;
|
|
57
|
+
portal_contract_address: EthAddress;
|
|
58
|
+
contract_class_id: ContractClassId;
|
|
59
|
+
}
|
|
60
|
+
export interface PublicDataUpdateRequest {
|
|
61
|
+
leaf_slot: Field;
|
|
62
|
+
new_value: Field;
|
|
63
|
+
}
|
|
64
|
+
export interface PublicDataRead {
|
|
65
|
+
leaf_slot: Field;
|
|
66
|
+
value: Field;
|
|
67
|
+
}
|
|
68
|
+
export interface CombinedAccumulatedData {
|
|
69
|
+
read_requests: FixedLengthArray<SideEffect, 128>;
|
|
70
|
+
nullifier_key_validation_requests: FixedLengthArray<NullifierKeyValidationRequestContext, 4>;
|
|
71
|
+
new_commitments: FixedLengthArray<SideEffect, 64>;
|
|
72
|
+
new_nullifiers: FixedLengthArray<SideEffectLinkedToNoteHash, 64>;
|
|
73
|
+
private_call_stack: FixedLengthArray<CallRequest, 8>;
|
|
74
|
+
public_call_stack: FixedLengthArray<CallRequest, 8>;
|
|
75
|
+
new_l2_to_l1_msgs: FixedLengthArray<Field, 2>;
|
|
76
|
+
encrypted_logs_hash: FixedLengthArray<Field, 2>;
|
|
77
|
+
unencrypted_logs_hash: FixedLengthArray<Field, 2>;
|
|
78
|
+
encrypted_log_preimages_length: Field;
|
|
79
|
+
unencrypted_log_preimages_length: Field;
|
|
80
|
+
new_contracts: FixedLengthArray<NewContractData, 1>;
|
|
81
|
+
public_data_update_requests: FixedLengthArray<PublicDataUpdateRequest, 16>;
|
|
82
|
+
public_data_reads: FixedLengthArray<PublicDataRead, 16>;
|
|
83
|
+
}
|
|
84
|
+
export interface AppendOnlyTreeSnapshot {
|
|
85
|
+
root: Field;
|
|
86
|
+
next_available_leaf_index: u32;
|
|
87
|
+
}
|
|
88
|
+
export interface PartialStateReference {
|
|
89
|
+
note_hash_tree: AppendOnlyTreeSnapshot;
|
|
90
|
+
nullifier_tree: AppendOnlyTreeSnapshot;
|
|
91
|
+
contract_tree: AppendOnlyTreeSnapshot;
|
|
92
|
+
public_data_tree: AppendOnlyTreeSnapshot;
|
|
93
|
+
}
|
|
94
|
+
export interface StateReference {
|
|
95
|
+
l1_to_l2_message_tree: AppendOnlyTreeSnapshot;
|
|
96
|
+
partial: PartialStateReference;
|
|
97
|
+
}
|
|
98
|
+
export interface GlobalVariables {
|
|
99
|
+
chain_id: Field;
|
|
100
|
+
version: Field;
|
|
101
|
+
block_number: Field;
|
|
102
|
+
timestamp: Field;
|
|
103
|
+
coinbase: EthAddress;
|
|
104
|
+
fee_recipient: AztecAddress;
|
|
105
|
+
}
|
|
106
|
+
export interface Header {
|
|
107
|
+
last_archive: AppendOnlyTreeSnapshot;
|
|
108
|
+
body_hash: FixedLengthArray<Field, 2>;
|
|
109
|
+
state: StateReference;
|
|
110
|
+
global_variables: GlobalVariables;
|
|
111
|
+
}
|
|
112
|
+
export interface ContractDeploymentData {
|
|
113
|
+
public_key: GrumpkinPoint;
|
|
114
|
+
initialization_hash: Field;
|
|
115
|
+
contract_class_id: ContractClassId;
|
|
116
|
+
contract_address_salt: Field;
|
|
117
|
+
portal_contract_address: EthAddress;
|
|
118
|
+
}
|
|
119
|
+
export interface TxContext {
|
|
120
|
+
is_fee_payment_tx: boolean;
|
|
121
|
+
is_rebate_payment_tx: boolean;
|
|
122
|
+
is_contract_deployment_tx: boolean;
|
|
123
|
+
contract_deployment_data: ContractDeploymentData;
|
|
124
|
+
chain_id: Field;
|
|
125
|
+
version: Field;
|
|
126
|
+
}
|
|
127
|
+
export interface CombinedConstantData {
|
|
128
|
+
historical_header: Header;
|
|
129
|
+
tx_context: TxContext;
|
|
130
|
+
}
|
|
131
|
+
export interface PublicKernelCircuitPublicInputs {
|
|
132
|
+
aggregation_object: AggregationObject;
|
|
133
|
+
end_non_revertible: AccumulatedNonRevertibleData;
|
|
134
|
+
end: CombinedAccumulatedData;
|
|
135
|
+
constants: CombinedConstantData;
|
|
136
|
+
is_private: boolean;
|
|
137
|
+
}
|
|
138
|
+
export interface Proof {
|
|
139
|
+
}
|
|
140
|
+
export interface VerificationKey {
|
|
141
|
+
}
|
|
142
|
+
export interface PublicKernelData {
|
|
143
|
+
public_inputs: PublicKernelCircuitPublicInputs;
|
|
144
|
+
proof: Proof;
|
|
145
|
+
vk: VerificationKey;
|
|
146
|
+
vk_index: u32;
|
|
147
|
+
vk_path: FixedLengthArray<Field, 3>;
|
|
148
|
+
}
|
|
149
|
+
export interface FunctionSelector {
|
|
150
|
+
inner: u32;
|
|
151
|
+
}
|
|
152
|
+
export interface CallContext {
|
|
153
|
+
msg_sender: AztecAddress;
|
|
154
|
+
storage_contract_address: AztecAddress;
|
|
155
|
+
portal_contract_address: EthAddress;
|
|
156
|
+
function_selector: FunctionSelector;
|
|
157
|
+
is_delegate_call: boolean;
|
|
158
|
+
is_static_call: boolean;
|
|
159
|
+
is_contract_deployment: boolean;
|
|
160
|
+
start_side_effect_counter: u32;
|
|
161
|
+
}
|
|
162
|
+
export interface StorageUpdateRequest {
|
|
163
|
+
storage_slot: Field;
|
|
164
|
+
new_value: Field;
|
|
165
|
+
}
|
|
166
|
+
export interface StorageRead {
|
|
167
|
+
storage_slot: Field;
|
|
168
|
+
current_value: Field;
|
|
169
|
+
}
|
|
170
|
+
export interface PublicCircuitPublicInputs {
|
|
171
|
+
call_context: CallContext;
|
|
172
|
+
args_hash: Field;
|
|
173
|
+
return_values: FixedLengthArray<Field, 4>;
|
|
174
|
+
contract_storage_update_requests: FixedLengthArray<StorageUpdateRequest, 16>;
|
|
175
|
+
contract_storage_reads: FixedLengthArray<StorageRead, 16>;
|
|
176
|
+
public_call_stack_hashes: FixedLengthArray<Field, 4>;
|
|
177
|
+
new_commitments: FixedLengthArray<SideEffect, 16>;
|
|
178
|
+
new_nullifiers: FixedLengthArray<SideEffectLinkedToNoteHash, 16>;
|
|
179
|
+
new_l2_to_l1_msgs: FixedLengthArray<Field, 2>;
|
|
180
|
+
unencrypted_logs_hash: FixedLengthArray<Field, 2>;
|
|
181
|
+
unencrypted_log_preimages_length: Field;
|
|
182
|
+
historical_header: Header;
|
|
183
|
+
prover_address: AztecAddress;
|
|
184
|
+
}
|
|
185
|
+
export interface FunctionData {
|
|
186
|
+
selector: FunctionSelector;
|
|
187
|
+
is_internal: boolean;
|
|
188
|
+
is_private: boolean;
|
|
189
|
+
is_constructor: boolean;
|
|
190
|
+
}
|
|
191
|
+
export interface PublicCallStackItem {
|
|
192
|
+
contract_address: AztecAddress;
|
|
193
|
+
public_inputs: PublicCircuitPublicInputs;
|
|
194
|
+
function_data: FunctionData;
|
|
195
|
+
is_execution_request: boolean;
|
|
196
|
+
}
|
|
197
|
+
export interface PublicCallData {
|
|
198
|
+
call_stack_item: PublicCallStackItem;
|
|
199
|
+
public_call_stack: FixedLengthArray<CallRequest, 4>;
|
|
200
|
+
proof: Proof;
|
|
201
|
+
portal_contract_address: EthAddress;
|
|
202
|
+
bytecode_hash: Field;
|
|
203
|
+
}
|
|
204
|
+
export interface PublicKernelAppLogicCircuitPrivateInputs {
|
|
205
|
+
previous_kernel: PublicKernelData;
|
|
206
|
+
public_call: PublicCallData;
|
|
207
|
+
}
|
|
208
|
+
export type ReturnType = PublicKernelCircuitPublicInputs;
|
|
209
|
+
export interface InputType {
|
|
210
|
+
input: PublicKernelAppLogicCircuitPrivateInputs;
|
|
211
|
+
}
|
|
212
|
+
//# sourceMappingURL=public_kernel_app_logic_types.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"public_kernel_app_logic_types.d.ts","sourceRoot":"","sources":["../../src/types/public_kernel_app_logic_types.ts"],"names":[],"mappings":"AAIA,MAAM,MAAM,gBAAgB,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,CAAC,GAAG,KAAK,EAAE,GAAG,CAAC,EAAE,GAAG;IAAE,MAAM,EAAE,CAAC,CAAA;CAAE,CAAC;AAEhG,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC;AAC3B,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC;AAEzB,MAAM,WAAW,iBAAiB;CAAG;AAErC,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,KAAK,CAAC;IACb,OAAO,EAAE,GAAG,CAAC;CACd;AAED,MAAM,WAAW,0BAA0B;IACzC,KAAK,EAAE,KAAK,CAAC;IACb,SAAS,EAAE,KAAK,CAAC;IACjB,OAAO,EAAE,GAAG,CAAC;CACd;AAED,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,KAAK,CAAC;CACd;AAED,MAAM,WAAW,aAAa;IAC5B,UAAU,EAAE,YAAY,CAAC;IACzB,wBAAwB,EAAE,YAAY,CAAC;CACxC;AAED,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,KAAK,CAAC;IACZ,uBAAuB,EAAE,YAAY,CAAC;IACtC,cAAc,EAAE,aAAa,CAAC;IAC9B,yBAAyB,EAAE,GAAG,CAAC;IAC/B,uBAAuB,EAAE,GAAG,CAAC;CAC9B;AAED,MAAM,WAAW,4BAA4B;IAC3C,eAAe,EAAE,gBAAgB,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;IACjD,cAAc,EAAE,gBAAgB,CAAC,0BAA0B,EAAE,CAAC,CAAC,CAAC;IAChE,iBAAiB,EAAE,gBAAgB,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;CACrD;AAED,MAAM,WAAW,aAAa;IAC5B,CAAC,EAAE,KAAK,CAAC;IACT,CAAC,EAAE,KAAK,CAAC;CACV;AAED,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,KAAK,CAAC;IACZ,GAAG,EAAE,KAAK,CAAC;CACZ;AAED,MAAM,WAAW,oCAAoC;IACnD,UAAU,EAAE,aAAa,CAAC;IAC1B,UAAU,EAAE,kBAAkB,CAAC;IAC/B,gBAAgB,EAAE,YAAY,CAAC;CAChC;AAED,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,KAAK,CAAC;CACd;AAED,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,KAAK,CAAC;CACd;AAED,MAAM,WAAW,eAAe;IAC9B,gBAAgB,EAAE,YAAY,CAAC;IAC/B,uBAAuB,EAAE,UAAU,CAAC;IACpC,iBAAiB,EAAE,eAAe,CAAC;CACpC;AAED,MAAM,WAAW,uBAAuB;IACtC,SAAS,EAAE,KAAK,CAAC;IACjB,SAAS,EAAE,KAAK,CAAC;CAClB;AAED,MAAM,WAAW,cAAc;IAC7B,SAAS,EAAE,KAAK,CAAC;IACjB,KAAK,EAAE,KAAK,CAAC;CACd;AAED,MAAM,WAAW,uBAAuB;IACtC,aAAa,EAAE,gBAAgB,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IACjD,iCAAiC,EAAE,gBAAgB,CAAC,oCAAoC,EAAE,CAAC,CAAC,CAAC;IAC7F,eAAe,EAAE,gBAAgB,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IAClD,cAAc,EAAE,gBAAgB,CAAC,0BAA0B,EAAE,EAAE,CAAC,CAAC;IACjE,kBAAkB,EAAE,gBAAgB,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IACrD,iBAAiB,EAAE,gBAAgB,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IACpD,iBAAiB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAC9C,mBAAmB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAChD,qBAAqB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAClD,8BAA8B,EAAE,KAAK,CAAC;IACtC,gCAAgC,EAAE,KAAK,CAAC;IACxC,aAAa,EAAE,gBAAgB,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC;IACpD,2BAA2B,EAAE,gBAAgB,CAAC,uBAAuB,EAAE,EAAE,CAAC,CAAC;IAC3E,iBAAiB,EAAE,gBAAgB,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;CACzD;AAED,MAAM,WAAW,sBAAsB;IACrC,IAAI,EAAE,KAAK,CAAC;IACZ,yBAAyB,EAAE,GAAG,CAAC;CAChC;AAED,MAAM,WAAW,qBAAqB;IACpC,cAAc,EAAE,sBAAsB,CAAC;IACvC,cAAc,EAAE,sBAAsB,CAAC;IACvC,aAAa,EAAE,sBAAsB,CAAC;IACtC,gBAAgB,EAAE,sBAAsB,CAAC;CAC1C;AAED,MAAM,WAAW,cAAc;IAC7B,qBAAqB,EAAE,sBAAsB,CAAC;IAC9C,OAAO,EAAE,qBAAqB,CAAC;CAChC;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,EAAE,KAAK,CAAC;IAChB,OAAO,EAAE,KAAK,CAAC;IACf,YAAY,EAAE,KAAK,CAAC;IACpB,SAAS,EAAE,KAAK,CAAC;IACjB,QAAQ,EAAE,UAAU,CAAC;IACrB,aAAa,EAAE,YAAY,CAAC;CAC7B;AAED,MAAM,WAAW,MAAM;IACrB,YAAY,EAAE,sBAAsB,CAAC;IACrC,SAAS,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACtC,KAAK,EAAE,cAAc,CAAC;IACtB,gBAAgB,EAAE,eAAe,CAAC;CACnC;AAED,MAAM,WAAW,sBAAsB;IACrC,UAAU,EAAE,aAAa,CAAC;IAC1B,mBAAmB,EAAE,KAAK,CAAC;IAC3B,iBAAiB,EAAE,eAAe,CAAC;IACnC,qBAAqB,EAAE,KAAK,CAAC;IAC7B,uBAAuB,EAAE,UAAU,CAAC;CACrC;AAED,MAAM,WAAW,SAAS;IACxB,iBAAiB,EAAE,OAAO,CAAC;IAC3B,oBAAoB,EAAE,OAAO,CAAC;IAC9B,yBAAyB,EAAE,OAAO,CAAC;IACnC,wBAAwB,EAAE,sBAAsB,CAAC;IACjD,QAAQ,EAAE,KAAK,CAAC;IAChB,OAAO,EAAE,KAAK,CAAC;CAChB;AAED,MAAM,WAAW,oBAAoB;IACnC,iBAAiB,EAAE,MAAM,CAAC;IAC1B,UAAU,EAAE,SAAS,CAAC;CACvB;AAED,MAAM,WAAW,+BAA+B;IAC9C,kBAAkB,EAAE,iBAAiB,CAAC;IACtC,kBAAkB,EAAE,4BAA4B,CAAC;IACjD,GAAG,EAAE,uBAAuB,CAAC;IAC7B,SAAS,EAAE,oBAAoB,CAAC;IAChC,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,MAAM,WAAW,KAAK;CAAG;AAEzB,MAAM,WAAW,eAAe;CAAG;AAEnC,MAAM,WAAW,gBAAgB;IAC/B,aAAa,EAAE,+BAA+B,CAAC;IAC/C,KAAK,EAAE,KAAK,CAAC;IACb,EAAE,EAAE,eAAe,CAAC;IACpB,QAAQ,EAAE,GAAG,CAAC;IACd,OAAO,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CACrC;AAED,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,GAAG,CAAC;CACZ;AAED,MAAM,WAAW,WAAW;IAC1B,UAAU,EAAE,YAAY,CAAC;IACzB,wBAAwB,EAAE,YAAY,CAAC;IACvC,uBAAuB,EAAE,UAAU,CAAC;IACpC,iBAAiB,EAAE,gBAAgB,CAAC;IACpC,gBAAgB,EAAE,OAAO,CAAC;IAC1B,cAAc,EAAE,OAAO,CAAC;IACxB,sBAAsB,EAAE,OAAO,CAAC;IAChC,yBAAyB,EAAE,GAAG,CAAC;CAChC;AAED,MAAM,WAAW,oBAAoB;IACnC,YAAY,EAAE,KAAK,CAAC;IACpB,SAAS,EAAE,KAAK,CAAC;CAClB;AAED,MAAM,WAAW,WAAW;IAC1B,YAAY,EAAE,KAAK,CAAC;IACpB,aAAa,EAAE,KAAK,CAAC;CACtB;AAED,MAAM,WAAW,yBAAyB;IACxC,YAAY,EAAE,WAAW,CAAC;IAC1B,SAAS,EAAE,KAAK,CAAC;IACjB,aAAa,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAC1C,gCAAgC,EAAE,gBAAgB,CAAC,oBAAoB,EAAE,EAAE,CAAC,CAAC;IAC7E,sBAAsB,EAAE,gBAAgB,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IAC1D,wBAAwB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACrD,eAAe,EAAE,gBAAgB,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IAClD,cAAc,EAAE,gBAAgB,CAAC,0BAA0B,EAAE,EAAE,CAAC,CAAC;IACjE,iBAAiB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAC9C,qBAAqB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAClD,gCAAgC,EAAE,KAAK,CAAC;IACxC,iBAAiB,EAAE,MAAM,CAAC;IAC1B,cAAc,EAAE,YAAY,CAAC;CAC9B;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,EAAE,gBAAgB,CAAC;IAC3B,WAAW,EAAE,OAAO,CAAC;IACrB,UAAU,EAAE,OAAO,CAAC;IACpB,cAAc,EAAE,OAAO,CAAC;CACzB;AAED,MAAM,WAAW,mBAAmB;IAClC,gBAAgB,EAAE,YAAY,CAAC;IAC/B,aAAa,EAAE,yBAAyB,CAAC;IACzC,aAAa,EAAE,YAAY,CAAC;IAC5B,oBAAoB,EAAE,OAAO,CAAC;CAC/B;AAED,MAAM,WAAW,cAAc;IAC7B,eAAe,EAAE,mBAAmB,CAAC;IACrC,iBAAiB,EAAE,gBAAgB,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IACpD,KAAK,EAAE,KAAK,CAAC;IACb,uBAAuB,EAAE,UAAU,CAAC;IACpC,aAAa,EAAE,KAAK,CAAC;CACtB;AAED,MAAM,WAAW,wCAAwC;IACvD,eAAe,EAAE,gBAAgB,CAAC;IAClC,WAAW,EAAE,cAAc,CAAC;CAC7B;AAED,MAAM,MAAM,UAAU,GAAG,+BAA+B,CAAC;AAEzD,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,wCAAwC,CAAC;CACjD"}
|
|
@@ -0,0 +1,3 @@
|
|
|
1
|
+
/* Autogenerated file, do not edit! */
|
|
2
|
+
export {};
|
|
3
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHVibGljX2tlcm5lbF9hcHBfbG9naWNfdHlwZXMuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvdHlwZXMvcHVibGljX2tlcm5lbF9hcHBfbG9naWNfdHlwZXMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsc0NBQXNDIn0=
|
|
@@ -0,0 +1,212 @@
|
|
|
1
|
+
export type FixedLengthArray<T, L extends number> = L extends 0 ? never[] : T[] & {
|
|
2
|
+
length: L;
|
|
3
|
+
};
|
|
4
|
+
export type Field = string;
|
|
5
|
+
export type u32 = string;
|
|
6
|
+
export interface AggregationObject {
|
|
7
|
+
}
|
|
8
|
+
export interface SideEffect {
|
|
9
|
+
value: Field;
|
|
10
|
+
counter: u32;
|
|
11
|
+
}
|
|
12
|
+
export interface SideEffectLinkedToNoteHash {
|
|
13
|
+
value: Field;
|
|
14
|
+
note_hash: Field;
|
|
15
|
+
counter: u32;
|
|
16
|
+
}
|
|
17
|
+
export interface AztecAddress {
|
|
18
|
+
inner: Field;
|
|
19
|
+
}
|
|
20
|
+
export interface CallerContext {
|
|
21
|
+
msg_sender: AztecAddress;
|
|
22
|
+
storage_contract_address: AztecAddress;
|
|
23
|
+
}
|
|
24
|
+
export interface CallRequest {
|
|
25
|
+
hash: Field;
|
|
26
|
+
caller_contract_address: AztecAddress;
|
|
27
|
+
caller_context: CallerContext;
|
|
28
|
+
start_side_effect_counter: u32;
|
|
29
|
+
end_side_effect_counter: u32;
|
|
30
|
+
}
|
|
31
|
+
export interface AccumulatedNonRevertibleData {
|
|
32
|
+
new_commitments: FixedLengthArray<SideEffect, 8>;
|
|
33
|
+
new_nullifiers: FixedLengthArray<SideEffectLinkedToNoteHash, 8>;
|
|
34
|
+
public_call_stack: FixedLengthArray<CallRequest, 2>;
|
|
35
|
+
}
|
|
36
|
+
export interface GrumpkinPoint {
|
|
37
|
+
x: Field;
|
|
38
|
+
y: Field;
|
|
39
|
+
}
|
|
40
|
+
export interface GrumpkinPrivateKey {
|
|
41
|
+
high: Field;
|
|
42
|
+
low: Field;
|
|
43
|
+
}
|
|
44
|
+
export interface NullifierKeyValidationRequestContext {
|
|
45
|
+
public_key: GrumpkinPoint;
|
|
46
|
+
secret_key: GrumpkinPrivateKey;
|
|
47
|
+
contract_address: AztecAddress;
|
|
48
|
+
}
|
|
49
|
+
export interface EthAddress {
|
|
50
|
+
inner: Field;
|
|
51
|
+
}
|
|
52
|
+
export interface ContractClassId {
|
|
53
|
+
inner: Field;
|
|
54
|
+
}
|
|
55
|
+
export interface NewContractData {
|
|
56
|
+
contract_address: AztecAddress;
|
|
57
|
+
portal_contract_address: EthAddress;
|
|
58
|
+
contract_class_id: ContractClassId;
|
|
59
|
+
}
|
|
60
|
+
export interface PublicDataUpdateRequest {
|
|
61
|
+
leaf_slot: Field;
|
|
62
|
+
new_value: Field;
|
|
63
|
+
}
|
|
64
|
+
export interface PublicDataRead {
|
|
65
|
+
leaf_slot: Field;
|
|
66
|
+
value: Field;
|
|
67
|
+
}
|
|
68
|
+
export interface CombinedAccumulatedData {
|
|
69
|
+
read_requests: FixedLengthArray<SideEffect, 128>;
|
|
70
|
+
nullifier_key_validation_requests: FixedLengthArray<NullifierKeyValidationRequestContext, 4>;
|
|
71
|
+
new_commitments: FixedLengthArray<SideEffect, 64>;
|
|
72
|
+
new_nullifiers: FixedLengthArray<SideEffectLinkedToNoteHash, 64>;
|
|
73
|
+
private_call_stack: FixedLengthArray<CallRequest, 8>;
|
|
74
|
+
public_call_stack: FixedLengthArray<CallRequest, 8>;
|
|
75
|
+
new_l2_to_l1_msgs: FixedLengthArray<Field, 2>;
|
|
76
|
+
encrypted_logs_hash: FixedLengthArray<Field, 2>;
|
|
77
|
+
unencrypted_logs_hash: FixedLengthArray<Field, 2>;
|
|
78
|
+
encrypted_log_preimages_length: Field;
|
|
79
|
+
unencrypted_log_preimages_length: Field;
|
|
80
|
+
new_contracts: FixedLengthArray<NewContractData, 1>;
|
|
81
|
+
public_data_update_requests: FixedLengthArray<PublicDataUpdateRequest, 16>;
|
|
82
|
+
public_data_reads: FixedLengthArray<PublicDataRead, 16>;
|
|
83
|
+
}
|
|
84
|
+
export interface AppendOnlyTreeSnapshot {
|
|
85
|
+
root: Field;
|
|
86
|
+
next_available_leaf_index: u32;
|
|
87
|
+
}
|
|
88
|
+
export interface PartialStateReference {
|
|
89
|
+
note_hash_tree: AppendOnlyTreeSnapshot;
|
|
90
|
+
nullifier_tree: AppendOnlyTreeSnapshot;
|
|
91
|
+
contract_tree: AppendOnlyTreeSnapshot;
|
|
92
|
+
public_data_tree: AppendOnlyTreeSnapshot;
|
|
93
|
+
}
|
|
94
|
+
export interface StateReference {
|
|
95
|
+
l1_to_l2_message_tree: AppendOnlyTreeSnapshot;
|
|
96
|
+
partial: PartialStateReference;
|
|
97
|
+
}
|
|
98
|
+
export interface GlobalVariables {
|
|
99
|
+
chain_id: Field;
|
|
100
|
+
version: Field;
|
|
101
|
+
block_number: Field;
|
|
102
|
+
timestamp: Field;
|
|
103
|
+
coinbase: EthAddress;
|
|
104
|
+
fee_recipient: AztecAddress;
|
|
105
|
+
}
|
|
106
|
+
export interface Header {
|
|
107
|
+
last_archive: AppendOnlyTreeSnapshot;
|
|
108
|
+
body_hash: FixedLengthArray<Field, 2>;
|
|
109
|
+
state: StateReference;
|
|
110
|
+
global_variables: GlobalVariables;
|
|
111
|
+
}
|
|
112
|
+
export interface ContractDeploymentData {
|
|
113
|
+
public_key: GrumpkinPoint;
|
|
114
|
+
initialization_hash: Field;
|
|
115
|
+
contract_class_id: ContractClassId;
|
|
116
|
+
contract_address_salt: Field;
|
|
117
|
+
portal_contract_address: EthAddress;
|
|
118
|
+
}
|
|
119
|
+
export interface TxContext {
|
|
120
|
+
is_fee_payment_tx: boolean;
|
|
121
|
+
is_rebate_payment_tx: boolean;
|
|
122
|
+
is_contract_deployment_tx: boolean;
|
|
123
|
+
contract_deployment_data: ContractDeploymentData;
|
|
124
|
+
chain_id: Field;
|
|
125
|
+
version: Field;
|
|
126
|
+
}
|
|
127
|
+
export interface CombinedConstantData {
|
|
128
|
+
historical_header: Header;
|
|
129
|
+
tx_context: TxContext;
|
|
130
|
+
}
|
|
131
|
+
export interface PublicKernelCircuitPublicInputs {
|
|
132
|
+
aggregation_object: AggregationObject;
|
|
133
|
+
end_non_revertible: AccumulatedNonRevertibleData;
|
|
134
|
+
end: CombinedAccumulatedData;
|
|
135
|
+
constants: CombinedConstantData;
|
|
136
|
+
is_private: boolean;
|
|
137
|
+
}
|
|
138
|
+
export interface Proof {
|
|
139
|
+
}
|
|
140
|
+
export interface VerificationKey {
|
|
141
|
+
}
|
|
142
|
+
export interface PublicKernelData {
|
|
143
|
+
public_inputs: PublicKernelCircuitPublicInputs;
|
|
144
|
+
proof: Proof;
|
|
145
|
+
vk: VerificationKey;
|
|
146
|
+
vk_index: u32;
|
|
147
|
+
vk_path: FixedLengthArray<Field, 3>;
|
|
148
|
+
}
|
|
149
|
+
export interface FunctionSelector {
|
|
150
|
+
inner: u32;
|
|
151
|
+
}
|
|
152
|
+
export interface CallContext {
|
|
153
|
+
msg_sender: AztecAddress;
|
|
154
|
+
storage_contract_address: AztecAddress;
|
|
155
|
+
portal_contract_address: EthAddress;
|
|
156
|
+
function_selector: FunctionSelector;
|
|
157
|
+
is_delegate_call: boolean;
|
|
158
|
+
is_static_call: boolean;
|
|
159
|
+
is_contract_deployment: boolean;
|
|
160
|
+
start_side_effect_counter: u32;
|
|
161
|
+
}
|
|
162
|
+
export interface StorageUpdateRequest {
|
|
163
|
+
storage_slot: Field;
|
|
164
|
+
new_value: Field;
|
|
165
|
+
}
|
|
166
|
+
export interface StorageRead {
|
|
167
|
+
storage_slot: Field;
|
|
168
|
+
current_value: Field;
|
|
169
|
+
}
|
|
170
|
+
export interface PublicCircuitPublicInputs {
|
|
171
|
+
call_context: CallContext;
|
|
172
|
+
args_hash: Field;
|
|
173
|
+
return_values: FixedLengthArray<Field, 4>;
|
|
174
|
+
contract_storage_update_requests: FixedLengthArray<StorageUpdateRequest, 16>;
|
|
175
|
+
contract_storage_reads: FixedLengthArray<StorageRead, 16>;
|
|
176
|
+
public_call_stack_hashes: FixedLengthArray<Field, 4>;
|
|
177
|
+
new_commitments: FixedLengthArray<SideEffect, 16>;
|
|
178
|
+
new_nullifiers: FixedLengthArray<SideEffectLinkedToNoteHash, 16>;
|
|
179
|
+
new_l2_to_l1_msgs: FixedLengthArray<Field, 2>;
|
|
180
|
+
unencrypted_logs_hash: FixedLengthArray<Field, 2>;
|
|
181
|
+
unencrypted_log_preimages_length: Field;
|
|
182
|
+
historical_header: Header;
|
|
183
|
+
prover_address: AztecAddress;
|
|
184
|
+
}
|
|
185
|
+
export interface FunctionData {
|
|
186
|
+
selector: FunctionSelector;
|
|
187
|
+
is_internal: boolean;
|
|
188
|
+
is_private: boolean;
|
|
189
|
+
is_constructor: boolean;
|
|
190
|
+
}
|
|
191
|
+
export interface PublicCallStackItem {
|
|
192
|
+
contract_address: AztecAddress;
|
|
193
|
+
public_inputs: PublicCircuitPublicInputs;
|
|
194
|
+
function_data: FunctionData;
|
|
195
|
+
is_execution_request: boolean;
|
|
196
|
+
}
|
|
197
|
+
export interface PublicCallData {
|
|
198
|
+
call_stack_item: PublicCallStackItem;
|
|
199
|
+
public_call_stack: FixedLengthArray<CallRequest, 4>;
|
|
200
|
+
proof: Proof;
|
|
201
|
+
portal_contract_address: EthAddress;
|
|
202
|
+
bytecode_hash: Field;
|
|
203
|
+
}
|
|
204
|
+
export interface PublicKernelSetupCircuitPrivateInputs {
|
|
205
|
+
previous_kernel: PublicKernelData;
|
|
206
|
+
public_call: PublicCallData;
|
|
207
|
+
}
|
|
208
|
+
export type ReturnType = PublicKernelCircuitPublicInputs;
|
|
209
|
+
export interface InputType {
|
|
210
|
+
input: PublicKernelSetupCircuitPrivateInputs;
|
|
211
|
+
}
|
|
212
|
+
//# sourceMappingURL=public_kernel_setup_types.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"public_kernel_setup_types.d.ts","sourceRoot":"","sources":["../../src/types/public_kernel_setup_types.ts"],"names":[],"mappings":"AAIA,MAAM,MAAM,gBAAgB,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,CAAC,GAAG,KAAK,EAAE,GAAG,CAAC,EAAE,GAAG;IAAE,MAAM,EAAE,CAAC,CAAA;CAAE,CAAC;AAEhG,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC;AAC3B,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC;AAEzB,MAAM,WAAW,iBAAiB;CAAG;AAErC,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,KAAK,CAAC;IACb,OAAO,EAAE,GAAG,CAAC;CACd;AAED,MAAM,WAAW,0BAA0B;IACzC,KAAK,EAAE,KAAK,CAAC;IACb,SAAS,EAAE,KAAK,CAAC;IACjB,OAAO,EAAE,GAAG,CAAC;CACd;AAED,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,KAAK,CAAC;CACd;AAED,MAAM,WAAW,aAAa;IAC5B,UAAU,EAAE,YAAY,CAAC;IACzB,wBAAwB,EAAE,YAAY,CAAC;CACxC;AAED,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,KAAK,CAAC;IACZ,uBAAuB,EAAE,YAAY,CAAC;IACtC,cAAc,EAAE,aAAa,CAAC;IAC9B,yBAAyB,EAAE,GAAG,CAAC;IAC/B,uBAAuB,EAAE,GAAG,CAAC;CAC9B;AAED,MAAM,WAAW,4BAA4B;IAC3C,eAAe,EAAE,gBAAgB,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;IACjD,cAAc,EAAE,gBAAgB,CAAC,0BAA0B,EAAE,CAAC,CAAC,CAAC;IAChE,iBAAiB,EAAE,gBAAgB,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;CACrD;AAED,MAAM,WAAW,aAAa;IAC5B,CAAC,EAAE,KAAK,CAAC;IACT,CAAC,EAAE,KAAK,CAAC;CACV;AAED,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,KAAK,CAAC;IACZ,GAAG,EAAE,KAAK,CAAC;CACZ;AAED,MAAM,WAAW,oCAAoC;IACnD,UAAU,EAAE,aAAa,CAAC;IAC1B,UAAU,EAAE,kBAAkB,CAAC;IAC/B,gBAAgB,EAAE,YAAY,CAAC;CAChC;AAED,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,KAAK,CAAC;CACd;AAED,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,KAAK,CAAC;CACd;AAED,MAAM,WAAW,eAAe;IAC9B,gBAAgB,EAAE,YAAY,CAAC;IAC/B,uBAAuB,EAAE,UAAU,CAAC;IACpC,iBAAiB,EAAE,eAAe,CAAC;CACpC;AAED,MAAM,WAAW,uBAAuB;IACtC,SAAS,EAAE,KAAK,CAAC;IACjB,SAAS,EAAE,KAAK,CAAC;CAClB;AAED,MAAM,WAAW,cAAc;IAC7B,SAAS,EAAE,KAAK,CAAC;IACjB,KAAK,EAAE,KAAK,CAAC;CACd;AAED,MAAM,WAAW,uBAAuB;IACtC,aAAa,EAAE,gBAAgB,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IACjD,iCAAiC,EAAE,gBAAgB,CAAC,oCAAoC,EAAE,CAAC,CAAC,CAAC;IAC7F,eAAe,EAAE,gBAAgB,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IAClD,cAAc,EAAE,gBAAgB,CAAC,0BAA0B,EAAE,EAAE,CAAC,CAAC;IACjE,kBAAkB,EAAE,gBAAgB,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IACrD,iBAAiB,EAAE,gBAAgB,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IACpD,iBAAiB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAC9C,mBAAmB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAChD,qBAAqB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAClD,8BAA8B,EAAE,KAAK,CAAC;IACtC,gCAAgC,EAAE,KAAK,CAAC;IACxC,aAAa,EAAE,gBAAgB,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC;IACpD,2BAA2B,EAAE,gBAAgB,CAAC,uBAAuB,EAAE,EAAE,CAAC,CAAC;IAC3E,iBAAiB,EAAE,gBAAgB,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;CACzD;AAED,MAAM,WAAW,sBAAsB;IACrC,IAAI,EAAE,KAAK,CAAC;IACZ,yBAAyB,EAAE,GAAG,CAAC;CAChC;AAED,MAAM,WAAW,qBAAqB;IACpC,cAAc,EAAE,sBAAsB,CAAC;IACvC,cAAc,EAAE,sBAAsB,CAAC;IACvC,aAAa,EAAE,sBAAsB,CAAC;IACtC,gBAAgB,EAAE,sBAAsB,CAAC;CAC1C;AAED,MAAM,WAAW,cAAc;IAC7B,qBAAqB,EAAE,sBAAsB,CAAC;IAC9C,OAAO,EAAE,qBAAqB,CAAC;CAChC;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,EAAE,KAAK,CAAC;IAChB,OAAO,EAAE,KAAK,CAAC;IACf,YAAY,EAAE,KAAK,CAAC;IACpB,SAAS,EAAE,KAAK,CAAC;IACjB,QAAQ,EAAE,UAAU,CAAC;IACrB,aAAa,EAAE,YAAY,CAAC;CAC7B;AAED,MAAM,WAAW,MAAM;IACrB,YAAY,EAAE,sBAAsB,CAAC;IACrC,SAAS,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACtC,KAAK,EAAE,cAAc,CAAC;IACtB,gBAAgB,EAAE,eAAe,CAAC;CACnC;AAED,MAAM,WAAW,sBAAsB;IACrC,UAAU,EAAE,aAAa,CAAC;IAC1B,mBAAmB,EAAE,KAAK,CAAC;IAC3B,iBAAiB,EAAE,eAAe,CAAC;IACnC,qBAAqB,EAAE,KAAK,CAAC;IAC7B,uBAAuB,EAAE,UAAU,CAAC;CACrC;AAED,MAAM,WAAW,SAAS;IACxB,iBAAiB,EAAE,OAAO,CAAC;IAC3B,oBAAoB,EAAE,OAAO,CAAC;IAC9B,yBAAyB,EAAE,OAAO,CAAC;IACnC,wBAAwB,EAAE,sBAAsB,CAAC;IACjD,QAAQ,EAAE,KAAK,CAAC;IAChB,OAAO,EAAE,KAAK,CAAC;CAChB;AAED,MAAM,WAAW,oBAAoB;IACnC,iBAAiB,EAAE,MAAM,CAAC;IAC1B,UAAU,EAAE,SAAS,CAAC;CACvB;AAED,MAAM,WAAW,+BAA+B;IAC9C,kBAAkB,EAAE,iBAAiB,CAAC;IACtC,kBAAkB,EAAE,4BAA4B,CAAC;IACjD,GAAG,EAAE,uBAAuB,CAAC;IAC7B,SAAS,EAAE,oBAAoB,CAAC;IAChC,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,MAAM,WAAW,KAAK;CAAG;AAEzB,MAAM,WAAW,eAAe;CAAG;AAEnC,MAAM,WAAW,gBAAgB;IAC/B,aAAa,EAAE,+BAA+B,CAAC;IAC/C,KAAK,EAAE,KAAK,CAAC;IACb,EAAE,EAAE,eAAe,CAAC;IACpB,QAAQ,EAAE,GAAG,CAAC;IACd,OAAO,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CACrC;AAED,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,GAAG,CAAC;CACZ;AAED,MAAM,WAAW,WAAW;IAC1B,UAAU,EAAE,YAAY,CAAC;IACzB,wBAAwB,EAAE,YAAY,CAAC;IACvC,uBAAuB,EAAE,UAAU,CAAC;IACpC,iBAAiB,EAAE,gBAAgB,CAAC;IACpC,gBAAgB,EAAE,OAAO,CAAC;IAC1B,cAAc,EAAE,OAAO,CAAC;IACxB,sBAAsB,EAAE,OAAO,CAAC;IAChC,yBAAyB,EAAE,GAAG,CAAC;CAChC;AAED,MAAM,WAAW,oBAAoB;IACnC,YAAY,EAAE,KAAK,CAAC;IACpB,SAAS,EAAE,KAAK,CAAC;CAClB;AAED,MAAM,WAAW,WAAW;IAC1B,YAAY,EAAE,KAAK,CAAC;IACpB,aAAa,EAAE,KAAK,CAAC;CACtB;AAED,MAAM,WAAW,yBAAyB;IACxC,YAAY,EAAE,WAAW,CAAC;IAC1B,SAAS,EAAE,KAAK,CAAC;IACjB,aAAa,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAC1C,gCAAgC,EAAE,gBAAgB,CAAC,oBAAoB,EAAE,EAAE,CAAC,CAAC;IAC7E,sBAAsB,EAAE,gBAAgB,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IAC1D,wBAAwB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACrD,eAAe,EAAE,gBAAgB,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IAClD,cAAc,EAAE,gBAAgB,CAAC,0BAA0B,EAAE,EAAE,CAAC,CAAC;IACjE,iBAAiB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAC9C,qBAAqB,EAAE,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAClD,gCAAgC,EAAE,KAAK,CAAC;IACxC,iBAAiB,EAAE,MAAM,CAAC;IAC1B,cAAc,EAAE,YAAY,CAAC;CAC9B;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,EAAE,gBAAgB,CAAC;IAC3B,WAAW,EAAE,OAAO,CAAC;IACrB,UAAU,EAAE,OAAO,CAAC;IACpB,cAAc,EAAE,OAAO,CAAC;CACzB;AAED,MAAM,WAAW,mBAAmB;IAClC,gBAAgB,EAAE,YAAY,CAAC;IAC/B,aAAa,EAAE,yBAAyB,CAAC;IACzC,aAAa,EAAE,YAAY,CAAC;IAC5B,oBAAoB,EAAE,OAAO,CAAC;CAC/B;AAED,MAAM,WAAW,cAAc;IAC7B,eAAe,EAAE,mBAAmB,CAAC;IACrC,iBAAiB,EAAE,gBAAgB,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IACpD,KAAK,EAAE,KAAK,CAAC;IACb,uBAAuB,EAAE,UAAU,CAAC;IACpC,aAAa,EAAE,KAAK,CAAC;CACtB;AAED,MAAM,WAAW,qCAAqC;IACpD,eAAe,EAAE,gBAAgB,CAAC;IAClC,WAAW,EAAE,cAAc,CAAC;CAC7B;AAED,MAAM,MAAM,UAAU,GAAG,+BAA+B,CAAC;AAEzD,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,qCAAqC,CAAC;CAC9C"}
|
|
@@ -0,0 +1,3 @@
|
|
|
1
|
+
/* Autogenerated file, do not edit! */
|
|
2
|
+
export {};
|
|
3
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHVibGljX2tlcm5lbF9zZXR1cF90eXBlcy5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy90eXBlcy9wdWJsaWNfa2VybmVsX3NldHVwX3R5cGVzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLHNDQUFzQyJ9
|