@aztec/stdlib 0.81.0 → 0.82.1-alpha-testnet.1
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/dest/abi/abi.d.ts +5 -1
- package/dest/abi/abi.d.ts.map +1 -1
- package/dest/abi/abi.js +2 -1
- package/dest/auth_witness/auth_witness.d.ts +21 -0
- package/dest/auth_witness/auth_witness.d.ts.map +1 -1
- package/dest/auth_witness/auth_witness.js +29 -0
- package/dest/avm/avm.d.ts +24 -48
- package/dest/avm/avm.d.ts.map +1 -1
- package/dest/avm/avm_circuit_public_inputs.d.ts +18 -36
- package/dest/avm/avm_circuit_public_inputs.d.ts.map +1 -1
- package/dest/avm/avm_proving_request.d.ts +27 -54
- package/dest/avm/avm_proving_request.d.ts.map +1 -1
- package/dest/block/index.d.ts +0 -1
- package/dest/block/index.d.ts.map +1 -1
- package/dest/block/index.js +0 -1
- package/dest/block/l2_block_downloader/l2_block_stream.d.ts.map +1 -1
- package/dest/block/l2_block_downloader/l2_block_stream.js +0 -2
- package/dest/block/l2_block_source.d.ts +6 -0
- package/dest/block/l2_block_source.d.ts.map +1 -1
- package/dest/contract/contract_class.d.ts.map +1 -1
- package/dest/contract/contract_class.js +3 -21
- package/dest/contract/interfaces/contract_class.d.ts +1 -143
- package/dest/contract/interfaces/contract_class.d.ts.map +1 -1
- package/dest/contract/interfaces/contract_class.js +0 -5
- package/dest/contract/interfaces/contract_data_source.d.ts +3 -8
- package/dest/contract/interfaces/contract_data_source.d.ts.map +1 -1
- package/dest/database-version/version_manager.d.ts +5 -0
- package/dest/database-version/version_manager.d.ts.map +1 -1
- package/dest/database-version/version_manager.js +7 -0
- package/dest/hash/hash.d.ts +8 -1
- package/dest/hash/hash.d.ts.map +1 -1
- package/dest/hash/hash.js +12 -1
- package/dest/interfaces/archiver.d.ts +1 -2
- package/dest/interfaces/archiver.d.ts.map +1 -1
- package/dest/interfaces/archiver.js +2 -4
- package/dest/interfaces/aztec-node-admin.d.ts +20 -0
- package/dest/interfaces/aztec-node-admin.d.ts.map +1 -0
- package/dest/interfaces/aztec-node-admin.js +16 -0
- package/dest/interfaces/aztec-node.d.ts +8 -38
- package/dest/interfaces/aztec-node.d.ts.map +1 -1
- package/dest/interfaces/aztec-node.js +4 -12
- package/dest/interfaces/client.d.ts +1 -0
- package/dest/interfaces/client.d.ts.map +1 -1
- package/dest/interfaces/client.js +1 -0
- package/dest/interfaces/private_kernel_prover.d.ts +2 -3
- package/dest/interfaces/private_kernel_prover.d.ts.map +1 -1
- package/dest/interfaces/prover-client.js +1 -1
- package/dest/interfaces/prover-node.d.ts +1 -2
- package/dest/interfaces/prover-node.d.ts.map +1 -1
- package/dest/interfaces/prover-node.js +5 -4
- package/dest/interfaces/proving-job.d.ts +27 -54
- package/dest/interfaces/proving-job.d.ts.map +1 -1
- package/dest/interfaces/pxe.d.ts +21 -39
- package/dest/interfaces/pxe.d.ts.map +1 -1
- package/dest/interfaces/pxe.js +10 -9
- package/dest/kernel/index.d.ts +1 -1
- package/dest/kernel/index.d.ts.map +1 -1
- package/dest/kernel/index.js +1 -1
- package/dest/kernel/private_kernel_prover_output.d.ts +49 -0
- package/dest/kernel/private_kernel_prover_output.d.ts.map +1 -0
- package/dest/kernel/private_kernel_prover_output.js +8 -0
- package/dest/kernel/private_kernel_simulated_output.d.ts +3 -7
- package/dest/kernel/private_kernel_simulated_output.d.ts.map +1 -1
- package/dest/kernel/public_call_request.d.ts +14 -19
- package/dest/kernel/public_call_request.d.ts.map +1 -1
- package/dest/kernel/public_call_request.js +19 -20
- package/dest/logs/log_with_tx_data.js +2 -2
- package/dest/noir/index.d.ts +5 -1
- package/dest/noir/index.d.ts.map +1 -1
- package/dest/proofs/client_ivc_proof.d.ts +1 -2
- package/dest/proofs/client_ivc_proof.d.ts.map +1 -1
- package/dest/proofs/client_ivc_proof.js +6 -9
- package/dest/rollup/tube_inputs.d.ts +7 -2
- package/dest/rollup/tube_inputs.d.ts.map +1 -1
- package/dest/rollup/tube_inputs.js +10 -4
- package/dest/stats/stats.d.ts +1 -1
- package/dest/stats/stats.d.ts.map +1 -1
- package/dest/tests/factories.d.ts +2 -2
- package/dest/tests/factories.d.ts.map +1 -1
- package/dest/tests/factories.js +3 -13
- package/dest/tests/mocks.d.ts +3 -4
- package/dest/tests/mocks.d.ts.map +1 -1
- package/dest/tests/mocks.js +13 -48
- package/dest/trees/nullifier_membership_witness.d.ts +4 -0
- package/dest/trees/nullifier_membership_witness.d.ts.map +1 -1
- package/dest/trees/nullifier_membership_witness.js +10 -0
- package/dest/trees/public_data_witness.d.ts +5 -5
- package/dest/trees/public_data_witness.d.ts.map +1 -1
- package/dest/trees/public_data_witness.js +13 -0
- package/dest/tx/call_context.d.ts +1 -1
- package/dest/tx/hashed_values.d.ts +16 -4
- package/dest/tx/hashed_values.d.ts.map +1 -1
- package/dest/tx/hashed_values.js +26 -9
- package/dest/tx/index.d.ts +3 -1
- package/dest/tx/index.d.ts.map +1 -1
- package/dest/tx/index.js +3 -1
- package/dest/tx/private_execution_result.d.ts +10 -26
- package/dest/tx/private_execution_result.d.ts.map +1 -1
- package/dest/tx/private_execution_result.js +18 -70
- package/dest/tx/profiled_tx.d.ts +9 -0
- package/dest/tx/profiled_tx.d.ts.map +1 -0
- package/dest/tx/profiled_tx.js +27 -0
- package/dest/tx/proven_tx.d.ts +33 -0
- package/dest/tx/proven_tx.d.ts.map +1 -0
- package/dest/tx/proven_tx.js +33 -0
- package/dest/tx/public_call_request_with_calldata.d.ts +41 -0
- package/dest/tx/public_call_request_with_calldata.d.ts.map +1 -0
- package/dest/tx/public_call_request_with_calldata.js +57 -0
- package/dest/tx/simulated_tx.d.ts +8 -44
- package/dest/tx/simulated_tx.d.ts.map +1 -1
- package/dest/tx/simulated_tx.js +19 -44
- package/dest/tx/tx.d.ts +16 -20
- package/dest/tx/tx.d.ts.map +1 -1
- package/dest/tx/tx.js +56 -42
- package/dest/tx/tx_execution_request.js +1 -1
- package/dest/tx/tx_receipt.d.ts +1 -30
- package/dest/tx/tx_receipt.d.ts.map +1 -1
- package/dest/tx/tx_receipt.js +3 -13
- package/package.json +6 -7
- package/src/abi/abi.ts +7 -2
- package/src/auth_witness/auth_witness.ts +29 -0
- package/src/block/index.ts +0 -1
- package/src/block/l2_block_downloader/l2_block_stream.ts +0 -2
- package/src/block/l2_block_source.ts +7 -0
- package/src/contract/contract_class.ts +7 -26
- package/src/contract/interfaces/contract_class.ts +2 -18
- package/src/contract/interfaces/contract_data_source.ts +3 -9
- package/src/database-version/version_manager.ts +10 -0
- package/src/hash/hash.ts +15 -1
- package/src/interfaces/archiver.ts +3 -12
- package/src/interfaces/aztec-node-admin.ts +39 -0
- package/src/interfaces/aztec-node.ts +9 -71
- package/src/interfaces/client.ts +1 -0
- package/src/interfaces/private_kernel_prover.ts +2 -3
- package/src/interfaces/prover-client.ts +1 -1
- package/src/interfaces/prover-node.ts +2 -4
- package/src/interfaces/pxe.ts +34 -56
- package/src/kernel/index.ts +1 -1
- package/src/kernel/private_kernel_prover_output.ts +44 -0
- package/src/kernel/private_kernel_simulated_output.ts +4 -13
- package/src/kernel/public_call_request.ts +22 -27
- package/src/logs/log_with_tx_data.ts +2 -2
- package/src/noir/index.ts +6 -1
- package/src/proofs/client_ivc_proof.ts +5 -15
- package/src/rollup/tube_inputs.ts +8 -4
- package/src/stats/stats.ts +1 -1
- package/src/tests/factories.ts +3 -24
- package/src/tests/mocks.ts +28 -80
- package/src/trees/nullifier_membership_witness.ts +12 -0
- package/src/trees/public_data_witness.ts +15 -0
- package/src/tx/hashed_values.ts +29 -9
- package/src/tx/index.ts +3 -1
- package/src/tx/private_execution_result.ts +16 -81
- package/src/tx/profiled_tx.ts +27 -0
- package/src/tx/proven_tx.ts +50 -0
- package/src/tx/public_call_request_with_calldata.ts +72 -0
- package/src/tx/simulated_tx.ts +12 -69
- package/src/tx/tx.ts +57 -70
- package/src/tx/tx_execution_request.ts +1 -1
- package/src/tx/tx_receipt.ts +0 -36
- package/dest/block/nullifier_with_block_source.d.ts +0 -6
- package/dest/block/nullifier_with_block_source.d.ts.map +0 -1
- package/dest/block/nullifier_with_block_source.js +0 -1
- package/dest/kernel/private_kernel_prover_profile_result.d.ts +0 -25
- package/dest/kernel/private_kernel_prover_profile_result.d.ts.map +0 -1
- package/dest/kernel/private_kernel_prover_profile_result.js +0 -7
- package/dest/tx/public_execution_request.d.ts +0 -45
- package/dest/tx/public_execution_request.d.ts.map +0 -1
- package/dest/tx/public_execution_request.js +0 -72
- package/src/block/nullifier_with_block_source.ts +0 -7
- package/src/kernel/private_kernel_prover_profile_result.ts +0 -7
- package/src/tx/public_execution_request.ts +0 -97
|
@@ -964,77 +964,65 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
964
964
|
publicSetupCallRequests: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
965
965
|
msgSender: ZodFor<import("../aztec-address/index.js").AztecAddress>;
|
|
966
966
|
contractAddress: ZodFor<import("../aztec-address/index.js").AztecAddress>;
|
|
967
|
-
functionSelector: ZodFor<import("../abi/function_selector.js").FunctionSelector>;
|
|
968
967
|
isStaticCall: z.ZodBoolean;
|
|
969
|
-
|
|
968
|
+
calldataHash: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
970
969
|
}, "strip", z.ZodTypeAny, {
|
|
971
970
|
contractAddress: import("../aztec-address/index.js").AztecAddress;
|
|
972
971
|
msgSender: import("../aztec-address/index.js").AztecAddress;
|
|
973
|
-
functionSelector: import("../abi/function_selector.js").FunctionSelector;
|
|
974
972
|
isStaticCall: boolean;
|
|
975
|
-
|
|
973
|
+
calldataHash: import("@aztec/foundation/schemas").Fr;
|
|
976
974
|
}, {
|
|
977
975
|
isStaticCall: boolean;
|
|
978
|
-
|
|
976
|
+
calldataHash: string;
|
|
979
977
|
contractAddress?: any;
|
|
980
978
|
msgSender?: any;
|
|
981
|
-
functionSelector?: any;
|
|
982
979
|
}>, import("../kernel/public_call_request.js").PublicCallRequest, {
|
|
983
980
|
isStaticCall: boolean;
|
|
984
|
-
|
|
981
|
+
calldataHash: string;
|
|
985
982
|
contractAddress?: any;
|
|
986
983
|
msgSender?: any;
|
|
987
|
-
functionSelector?: any;
|
|
988
984
|
}>, "many">;
|
|
989
985
|
publicAppLogicCallRequests: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
990
986
|
msgSender: ZodFor<import("../aztec-address/index.js").AztecAddress>;
|
|
991
987
|
contractAddress: ZodFor<import("../aztec-address/index.js").AztecAddress>;
|
|
992
|
-
functionSelector: ZodFor<import("../abi/function_selector.js").FunctionSelector>;
|
|
993
988
|
isStaticCall: z.ZodBoolean;
|
|
994
|
-
|
|
989
|
+
calldataHash: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
995
990
|
}, "strip", z.ZodTypeAny, {
|
|
996
991
|
contractAddress: import("../aztec-address/index.js").AztecAddress;
|
|
997
992
|
msgSender: import("../aztec-address/index.js").AztecAddress;
|
|
998
|
-
functionSelector: import("../abi/function_selector.js").FunctionSelector;
|
|
999
993
|
isStaticCall: boolean;
|
|
1000
|
-
|
|
994
|
+
calldataHash: import("@aztec/foundation/schemas").Fr;
|
|
1001
995
|
}, {
|
|
1002
996
|
isStaticCall: boolean;
|
|
1003
|
-
|
|
997
|
+
calldataHash: string;
|
|
1004
998
|
contractAddress?: any;
|
|
1005
999
|
msgSender?: any;
|
|
1006
|
-
functionSelector?: any;
|
|
1007
1000
|
}>, import("../kernel/public_call_request.js").PublicCallRequest, {
|
|
1008
1001
|
isStaticCall: boolean;
|
|
1009
|
-
|
|
1002
|
+
calldataHash: string;
|
|
1010
1003
|
contractAddress?: any;
|
|
1011
1004
|
msgSender?: any;
|
|
1012
|
-
functionSelector?: any;
|
|
1013
1005
|
}>, "many">;
|
|
1014
1006
|
publicTeardownCallRequest: z.ZodEffects<z.ZodObject<{
|
|
1015
1007
|
msgSender: ZodFor<import("../aztec-address/index.js").AztecAddress>;
|
|
1016
1008
|
contractAddress: ZodFor<import("../aztec-address/index.js").AztecAddress>;
|
|
1017
|
-
functionSelector: ZodFor<import("../abi/function_selector.js").FunctionSelector>;
|
|
1018
1009
|
isStaticCall: z.ZodBoolean;
|
|
1019
|
-
|
|
1010
|
+
calldataHash: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
|
|
1020
1011
|
}, "strip", z.ZodTypeAny, {
|
|
1021
1012
|
contractAddress: import("../aztec-address/index.js").AztecAddress;
|
|
1022
1013
|
msgSender: import("../aztec-address/index.js").AztecAddress;
|
|
1023
|
-
functionSelector: import("../abi/function_selector.js").FunctionSelector;
|
|
1024
1014
|
isStaticCall: boolean;
|
|
1025
|
-
|
|
1015
|
+
calldataHash: import("@aztec/foundation/schemas").Fr;
|
|
1026
1016
|
}, {
|
|
1027
1017
|
isStaticCall: boolean;
|
|
1028
|
-
|
|
1018
|
+
calldataHash: string;
|
|
1029
1019
|
contractAddress?: any;
|
|
1030
1020
|
msgSender?: any;
|
|
1031
|
-
functionSelector?: any;
|
|
1032
1021
|
}>, import("../kernel/public_call_request.js").PublicCallRequest, {
|
|
1033
1022
|
isStaticCall: boolean;
|
|
1034
|
-
|
|
1023
|
+
calldataHash: string;
|
|
1035
1024
|
contractAddress?: any;
|
|
1036
1025
|
msgSender?: any;
|
|
1037
|
-
functionSelector?: any;
|
|
1038
1026
|
}>;
|
|
1039
1027
|
previousNonRevertibleAccumulatedDataArrayLengths: z.ZodEffects<z.ZodObject<{
|
|
1040
1028
|
noteHashes: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
|
|
@@ -1479,24 +1467,21 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
1479
1467
|
};
|
|
1480
1468
|
publicSetupCallRequests: {
|
|
1481
1469
|
isStaticCall: boolean;
|
|
1482
|
-
|
|
1470
|
+
calldataHash: string;
|
|
1483
1471
|
contractAddress?: any;
|
|
1484
1472
|
msgSender?: any;
|
|
1485
|
-
functionSelector?: any;
|
|
1486
1473
|
}[];
|
|
1487
1474
|
publicAppLogicCallRequests: {
|
|
1488
1475
|
isStaticCall: boolean;
|
|
1489
|
-
|
|
1476
|
+
calldataHash: string;
|
|
1490
1477
|
contractAddress?: any;
|
|
1491
1478
|
msgSender?: any;
|
|
1492
|
-
functionSelector?: any;
|
|
1493
1479
|
}[];
|
|
1494
1480
|
publicTeardownCallRequest: {
|
|
1495
1481
|
isStaticCall: boolean;
|
|
1496
|
-
|
|
1482
|
+
calldataHash: string;
|
|
1497
1483
|
contractAddress?: any;
|
|
1498
1484
|
msgSender?: any;
|
|
1499
|
-
functionSelector?: any;
|
|
1500
1485
|
};
|
|
1501
1486
|
previousNonRevertibleAccumulatedDataArrayLengths: {
|
|
1502
1487
|
noteHashes: string | number | bigint;
|
|
@@ -1630,24 +1615,21 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
1630
1615
|
};
|
|
1631
1616
|
publicSetupCallRequests: {
|
|
1632
1617
|
isStaticCall: boolean;
|
|
1633
|
-
|
|
1618
|
+
calldataHash: string;
|
|
1634
1619
|
contractAddress?: any;
|
|
1635
1620
|
msgSender?: any;
|
|
1636
|
-
functionSelector?: any;
|
|
1637
1621
|
}[];
|
|
1638
1622
|
publicAppLogicCallRequests: {
|
|
1639
1623
|
isStaticCall: boolean;
|
|
1640
|
-
|
|
1624
|
+
calldataHash: string;
|
|
1641
1625
|
contractAddress?: any;
|
|
1642
1626
|
msgSender?: any;
|
|
1643
|
-
functionSelector?: any;
|
|
1644
1627
|
}[];
|
|
1645
1628
|
publicTeardownCallRequest: {
|
|
1646
1629
|
isStaticCall: boolean;
|
|
1647
|
-
|
|
1630
|
+
calldataHash: string;
|
|
1648
1631
|
contractAddress?: any;
|
|
1649
1632
|
msgSender?: any;
|
|
1650
|
-
functionSelector?: any;
|
|
1651
1633
|
};
|
|
1652
1634
|
previousNonRevertibleAccumulatedDataArrayLengths: {
|
|
1653
1635
|
noteHashes: string | number | bigint;
|
|
@@ -1890,24 +1872,21 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
1890
1872
|
};
|
|
1891
1873
|
publicSetupCallRequests: {
|
|
1892
1874
|
isStaticCall: boolean;
|
|
1893
|
-
|
|
1875
|
+
calldataHash: string;
|
|
1894
1876
|
contractAddress?: any;
|
|
1895
1877
|
msgSender?: any;
|
|
1896
|
-
functionSelector?: any;
|
|
1897
1878
|
}[];
|
|
1898
1879
|
publicAppLogicCallRequests: {
|
|
1899
1880
|
isStaticCall: boolean;
|
|
1900
|
-
|
|
1881
|
+
calldataHash: string;
|
|
1901
1882
|
contractAddress?: any;
|
|
1902
1883
|
msgSender?: any;
|
|
1903
|
-
functionSelector?: any;
|
|
1904
1884
|
}[];
|
|
1905
1885
|
publicTeardownCallRequest: {
|
|
1906
1886
|
isStaticCall: boolean;
|
|
1907
|
-
|
|
1887
|
+
calldataHash: string;
|
|
1908
1888
|
contractAddress?: any;
|
|
1909
1889
|
msgSender?: any;
|
|
1910
|
-
functionSelector?: any;
|
|
1911
1890
|
};
|
|
1912
1891
|
previousNonRevertibleAccumulatedDataArrayLengths: {
|
|
1913
1892
|
noteHashes: string | number | bigint;
|
|
@@ -2145,24 +2124,21 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
2145
2124
|
};
|
|
2146
2125
|
publicSetupCallRequests: {
|
|
2147
2126
|
isStaticCall: boolean;
|
|
2148
|
-
|
|
2127
|
+
calldataHash: string;
|
|
2149
2128
|
contractAddress?: any;
|
|
2150
2129
|
msgSender?: any;
|
|
2151
|
-
functionSelector?: any;
|
|
2152
2130
|
}[];
|
|
2153
2131
|
publicAppLogicCallRequests: {
|
|
2154
2132
|
isStaticCall: boolean;
|
|
2155
|
-
|
|
2133
|
+
calldataHash: string;
|
|
2156
2134
|
contractAddress?: any;
|
|
2157
2135
|
msgSender?: any;
|
|
2158
|
-
functionSelector?: any;
|
|
2159
2136
|
}[];
|
|
2160
2137
|
publicTeardownCallRequest: {
|
|
2161
2138
|
isStaticCall: boolean;
|
|
2162
|
-
|
|
2139
|
+
calldataHash: string;
|
|
2163
2140
|
contractAddress?: any;
|
|
2164
2141
|
msgSender?: any;
|
|
2165
|
-
functionSelector?: any;
|
|
2166
2142
|
};
|
|
2167
2143
|
previousNonRevertibleAccumulatedDataArrayLengths: {
|
|
2168
2144
|
noteHashes: string | number | bigint;
|
|
@@ -2406,24 +2382,21 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
|
|
|
2406
2382
|
};
|
|
2407
2383
|
publicSetupCallRequests: {
|
|
2408
2384
|
isStaticCall: boolean;
|
|
2409
|
-
|
|
2385
|
+
calldataHash: string;
|
|
2410
2386
|
contractAddress?: any;
|
|
2411
2387
|
msgSender?: any;
|
|
2412
|
-
functionSelector?: any;
|
|
2413
2388
|
}[];
|
|
2414
2389
|
publicAppLogicCallRequests: {
|
|
2415
2390
|
isStaticCall: boolean;
|
|
2416
|
-
|
|
2391
|
+
calldataHash: string;
|
|
2417
2392
|
contractAddress?: any;
|
|
2418
2393
|
msgSender?: any;
|
|
2419
|
-
functionSelector?: any;
|
|
2420
2394
|
}[];
|
|
2421
2395
|
publicTeardownCallRequest: {
|
|
2422
2396
|
isStaticCall: boolean;
|
|
2423
|
-
|
|
2397
|
+
calldataHash: string;
|
|
2424
2398
|
contractAddress?: any;
|
|
2425
2399
|
msgSender?: any;
|
|
2426
|
-
functionSelector?: any;
|
|
2427
2400
|
};
|
|
2428
2401
|
previousNonRevertibleAccumulatedDataArrayLengths: {
|
|
2429
2402
|
noteHashes: string | number | bigint;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"proving-job.d.ts","sourceRoot":"","sources":["../../src/interfaces/proving-job.ts"],"names":[],"mappings":";;AAAA,OAAO,EACL,0BAA0B,EAC1B,6BAA6B,EAC7B,yCAAyC,EACzC,sBAAsB,EACtB,iBAAiB,EAClB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AAExD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAEjD,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACnE,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACnE,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,EAAE,6BAA6B,EAAE,MAAM,iDAAiD,CAAC;AAChG,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,iCAAiC,EAAE,MAAM,sDAAsD,CAAC;AACzG,OAAO,EAAE,qBAAqB,EAAE,6BAA6B,EAAE,MAAM,gCAAgC,CAAC;AACtG,OAAO,EAAE,0BAA0B,EAAE,MAAM,6CAA6C,CAAC;AACzF,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AAClF,OAAO,EAAE,sBAAsB,EAAE,MAAM,wCAAwC,CAAC;AAChF,OAAO,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AACpF,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AACtD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAC3D,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAEjE,MAAM,MAAM,uBAAuB,CAAC,CAAC,SAAS,MAAM,IAAI;IACtD,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC;IACzB,eAAe,EAAE,mBAAmB,CAAC;CACtC,CAAC;AAWF,wBAAgB,2BAA2B,CAAC,CAAC,SAAS,MAAM,EAC1D,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,EACxB,eAAe,EAAE,mBAAmB,GACnC,uBAAuB,CAAC,CAAC,CAAC,CAE5B;AAED,MAAM,MAAM,6BAA6B,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,OAAO,6BAA6B,IAAI;IACtG,MAAM,EAAE,CAAC,CAAC;IACV,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC;IACzB,eAAe,EAAE,mBAAmB,CAAC;CACtC,CAAC;AAaF,wBAAgB,iCAAiC,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,OAAO,6BAA6B,EAC1G,MAAM,EAAE,CAAC,EACT,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,EACxB,eAAe,EAAE,mBAAmB,GACnC,6BAA6B,CAAC,CAAC,EAAE,CAAC,CAAC,CAErC;AAED,wBAAgB,kCAAkC,CAAC,IAAI,EAAE,kBAAkB,GAAG,iBAAiB,CA+B9F;AAED,eAAO,MAAM,gBAAgB
|
|
1
|
+
{"version":3,"file":"proving-job.d.ts","sourceRoot":"","sources":["../../src/interfaces/proving-job.ts"],"names":[],"mappings":";;AAAA,OAAO,EACL,0BAA0B,EAC1B,6BAA6B,EAC7B,yCAAyC,EACzC,sBAAsB,EACtB,iBAAiB,EAClB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AAExD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAEjD,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACnE,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACnE,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,EAAE,6BAA6B,EAAE,MAAM,iDAAiD,CAAC;AAChG,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,iCAAiC,EAAE,MAAM,sDAAsD,CAAC;AACzG,OAAO,EAAE,qBAAqB,EAAE,6BAA6B,EAAE,MAAM,gCAAgC,CAAC;AACtG,OAAO,EAAE,0BAA0B,EAAE,MAAM,6CAA6C,CAAC;AACzF,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AAClF,OAAO,EAAE,sBAAsB,EAAE,MAAM,wCAAwC,CAAC;AAChF,OAAO,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AACpF,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AACtD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAC3D,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAEjE,MAAM,MAAM,uBAAuB,CAAC,CAAC,SAAS,MAAM,IAAI;IACtD,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC;IACzB,eAAe,EAAE,mBAAmB,CAAC;CACtC,CAAC;AAWF,wBAAgB,2BAA2B,CAAC,CAAC,SAAS,MAAM,EAC1D,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,EACxB,eAAe,EAAE,mBAAmB,GACnC,uBAAuB,CAAC,CAAC,CAAC,CAE5B;AAED,MAAM,MAAM,6BAA6B,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,OAAO,6BAA6B,IAAI;IACtG,MAAM,EAAE,CAAC,CAAC;IACV,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC;IACzB,eAAe,EAAE,mBAAmB,CAAC;CACtC,CAAC;AAaF,wBAAgB,iCAAiC,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,OAAO,6BAA6B,EAC1G,MAAM,EAAE,CAAC,EACT,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,EACxB,eAAe,EAAE,mBAAmB,GACnC,6BAA6B,CAAC,CAAC,EAAE,CAAC,CAAC,CAErC;AAED,wBAAgB,kCAAkC,CAAC,IAAI,EAAE,kBAAkB,GAAG,iBAAiB,CA+B9F;AAED,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAgB3B,CAAC;AAEH,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,kBAAkB,mWA+BlE;AAED,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAEhE,MAAM,MAAM,mBAAmB,GAAG;IAChC,CAAC,kBAAkB,CAAC,SAAS,CAAC,EAAE,gBAAgB,CAAC;IACjD,CAAC,kBAAkB,CAAC,mBAAmB,CAAC,EAAE,uBAAuB,CAAC;IAClE,CAAC,kBAAkB,CAAC,kBAAkB,CAAC,EAAE,sBAAsB,CAAC;IAChE,CAAC,kBAAkB,CAAC,YAAY,CAAC,EAAE,iBAAiB,CAAC;IACrD,CAAC,kBAAkB,CAAC,uBAAuB,CAAC,EAAE,0BAA0B,CAAC;IACzE,CAAC,kBAAkB,CAAC,iBAAiB,CAAC,EAAE,qBAAqB,CAAC;IAC9D,CAAC,kBAAkB,CAAC,2BAA2B,CAAC,EAAE,6BAA6B,CAAC;IAChF,CAAC,kBAAkB,CAAC,kBAAkB,CAAC,EAAE,sBAAsB,CAAC;IAChE,CAAC,kBAAkB,CAAC,WAAW,CAAC,EAAE,gBAAgB,CAAC;IACnD,CAAC,kBAAkB,CAAC,WAAW,CAAC,EAAE,gBAAgB,CAAC;IACnD,CAAC,kBAAkB,CAAC,WAAW,CAAC,EAAE,gBAAgB,CAAC;IACnD,CAAC,kBAAkB,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;CAC7C,CAAC;AAEF,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAsE3B,CAAC;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAChE,MAAM,MAAM,oBAAoB,GAAG;IACjC,CAAC,kBAAkB,CAAC,SAAS,CAAC,EAAE,uBAAuB,CAAC,OAAO,0BAA0B,CAAC,CAAC;IAC3F,CAAC,kBAAkB,CAAC,mBAAmB,CAAC,EAAE,6BAA6B,CACrE,6BAA6B,EAC7B,OAAO,yCAAyC,CACjD,CAAC;IACF,CAAC,kBAAkB,CAAC,kBAAkB,CAAC,EAAE,6BAA6B,CACpE,6BAA6B,EAC7B,OAAO,yCAAyC,CACjD,CAAC;IACF,CAAC,kBAAkB,CAAC,YAAY,CAAC,EAAE,6BAA6B,CAC9D,6BAA6B,EAC7B,OAAO,yCAAyC,CACjD,CAAC;IACF,CAAC,kBAAkB,CAAC,uBAAuB,CAAC,EAAE,6BAA6B,CACzE,iCAAiC,EACjC,OAAO,yCAAyC,CACjD,CAAC;IACF,CAAC,kBAAkB,CAAC,2BAA2B,CAAC,EAAE,6BAA6B,CAC7E,iCAAiC,EACjC,OAAO,yCAAyC,CACjD,CAAC;IACF,CAAC,kBAAkB,CAAC,iBAAiB,CAAC,EAAE,6BAA6B,CACnE,iCAAiC,EACjC,OAAO,yCAAyC,CACjD,CAAC;IACF,CAAC,kBAAkB,CAAC,kBAAkB,CAAC,EAAE,6BAA6B,CACpE,iCAAiC,EACjC,OAAO,yCAAyC,CACjD,CAAC;IACF,CAAC,kBAAkB,CAAC,WAAW,CAAC,EAAE,6BAA6B,CAAC,sBAAsB,CAAC,CAAC;IACxF,CAAC,kBAAkB,CAAC,WAAW,CAAC,EAAE,6BAA6B,CAAC,kBAAkB,EAAE,OAAO,sBAAsB,CAAC,CAAC;IACnH,CAAC,kBAAkB,CAAC,WAAW,CAAC,EAAE,6BAA6B,CAC7D,kBAAkB,EAClB,OAAO,6BAA6B,CACrC,CAAC;IACF,CAAC,kBAAkB,CAAC,UAAU,CAAC,EAAE,uBAAuB,CAAC,OAAO,iBAAiB,CAAC,CAAC;CACpF,CAAC;AAEF,MAAM,MAAM,uBAAuB,CAAC,CAAC,SAAS,kBAAkB,IAAI;IAAE,IAAI,EAAE,CAAC,CAAC;IAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC,CAAC,CAAA;CAAE,CAAC;AAEjH,eAAO,MAAM,YAAY,aAAa,CAAC;AAEvC,eAAO,MAAM,QAAQ,4CAAoC,CAAC;AAC1D,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,QAAQ,CAAC,CAAC;AAEhD,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC;AACxD,eAAO,MAAM,UAAU;;;;;;;;;;;;;;;EAKrB,CAAC;AAEH,eAAO,MAAM,gBAAgB,gBAAiB,MAAM,QAAQ,kBAAkB,cAAc,MAAM,WAEjG,CAAC;AAEF,eAAO,MAAM,wBAAwB,OAAQ,YAAY,WAOxD,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,UAAU,CAAC,CAAC;AAEpD,wBAAgB,wBAAwB,CACtC,IAAI,EAAE,kBAAkB,EACxB,MAAM,EAAE,gBAAgB,CAAC,QAAQ,CAAC,GACjC,gBAAgB,CAElB;AAED,eAAO,MAAM,yBAAyB;;;;;;;;;EAGpC,CAAC;AACH,MAAM,MAAM,yBAAyB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAElF,eAAO,MAAM,wBAAwB;;;;;;;;;EAGnC,CAAC;AACH,MAAM,MAAM,wBAAwB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAEhF,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;IAGlC,CAAC;AACH,MAAM,MAAM,uBAAuB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAE9E,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAM3B,CAAC;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC"}
|
package/dest/interfaces/pxe.d.ts
CHANGED
|
@@ -14,7 +14,9 @@ import { GasFees } from '../gas/gas_fees.js';
|
|
|
14
14
|
import { type LogFilter } from '../logs/log_filter.js';
|
|
15
15
|
import { UniqueNote } from '../note/extended_note.js';
|
|
16
16
|
import { type NotesFilter } from '../note/notes_filter.js';
|
|
17
|
-
import { PrivateExecutionResult, Tx, TxExecutionRequest, TxHash,
|
|
17
|
+
import { PrivateExecutionResult, Tx, TxExecutionRequest, TxHash, TxReceipt, TxSimulationResult } from '../tx/index.js';
|
|
18
|
+
import { TxProfileResult } from '../tx/profiled_tx.js';
|
|
19
|
+
import { TxProvingResult } from '../tx/proven_tx.js';
|
|
18
20
|
import { TxEffect } from '../tx/tx_effect.js';
|
|
19
21
|
import { type GetContractClassLogsResponse, type GetPublicLogsResponse } from './get_logs_response.js';
|
|
20
22
|
/**
|
|
@@ -30,35 +32,6 @@ export interface PXE {
|
|
|
30
32
|
* @returns Whether the message is synced and ready to be included in a block.
|
|
31
33
|
*/
|
|
32
34
|
isL1ToL2MessageSynced(l1ToL2Message: Fr): Promise<boolean>;
|
|
33
|
-
/**
|
|
34
|
-
* Insert an auth witness for a given message hash. Auth witnesses are used to authorize actions on
|
|
35
|
-
* behalf of a user. For instance, a token transfer initiated by a different address may request
|
|
36
|
-
* authorization from the user to move their tokens. This authorization is granted by the user
|
|
37
|
-
* account contract by verifying an auth witness requested to the execution oracle. Witnesses are
|
|
38
|
-
* usually a signature over a hash of the action to be authorized, but their actual contents depend
|
|
39
|
-
* on the account contract that consumes them.
|
|
40
|
-
*
|
|
41
|
-
* @param authWitness - The auth witness to insert. Composed of an identifier, which is the hash of
|
|
42
|
-
* the action to be authorized, and the actual witness as an array of fields, which are to be
|
|
43
|
-
* deserialized and processed by the account contract.
|
|
44
|
-
*/
|
|
45
|
-
addAuthWitness(authWitness: AuthWitness): Promise<void>;
|
|
46
|
-
/**
|
|
47
|
-
* Fetches the serialized auth witness for a given message hash or returns undefined if not found.
|
|
48
|
-
* @param messageHash - The hash of the message for which to get the auth witness.
|
|
49
|
-
* @returns The serialized auth witness for the given message hash.
|
|
50
|
-
*/
|
|
51
|
-
getAuthWitness(messageHash: Fr): Promise<Fr[] | undefined>;
|
|
52
|
-
/**
|
|
53
|
-
* Adds a capsule.
|
|
54
|
-
* @param contract - The address of the contract to add the capsule to.
|
|
55
|
-
* @param storageSlot - The storage slot to add the capsule to.
|
|
56
|
-
* @param capsule - An array of field elements representing the capsule.
|
|
57
|
-
* @remarks A capsule is a "blob" of data that is passed to the contract through an oracle. It works similarly
|
|
58
|
-
* to public contract storage in that it's indexed by the contract address and storage slot but instead of the global
|
|
59
|
-
* network state it's backed by local PXE db.
|
|
60
|
-
*/
|
|
61
|
-
storeCapsule(contract: AztecAddress, storageSlot: Fr, capsule: Fr[]): Promise<void>;
|
|
62
35
|
/**
|
|
63
36
|
* Registers a user account in PXE given its master encryption private key.
|
|
64
37
|
* Once a new account is registered, the PXE Service will trial-decrypt all published notes on
|
|
@@ -126,14 +99,13 @@ export interface PXE {
|
|
|
126
99
|
*/
|
|
127
100
|
getContracts(): Promise<AztecAddress[]>;
|
|
128
101
|
/**
|
|
129
|
-
*
|
|
130
|
-
*
|
|
131
|
-
* It returns an object that contains the proof and public inputs of the tail circuit, which can be converted into a Tx ready to be sent to the network
|
|
102
|
+
* Proves the private portion of a simulated transaction, ready to send to the network
|
|
103
|
+
* (where valiators prove the public portion).
|
|
132
104
|
*
|
|
133
105
|
* @param txRequest - An authenticated tx request ready for proving
|
|
134
106
|
* @param privateExecutionResult - The result of the private execution of the transaction
|
|
135
|
-
* @returns A
|
|
136
|
-
* @throws If
|
|
107
|
+
* @returns A result containing the proof and public inputs of the tail circuit.
|
|
108
|
+
* @throws If contract code not found, or public simulation reverts.
|
|
137
109
|
* Also throws if simulatePublic is true and public simulation reverts.
|
|
138
110
|
*/
|
|
139
111
|
proveTx(txRequest: TxExecutionRequest, privateExecutionResult: PrivateExecutionResult): Promise<TxProvingResult>;
|
|
@@ -152,13 +124,23 @@ export interface PXE {
|
|
|
152
124
|
* @param simulatePublic - Whether to simulate the public part of the transaction.
|
|
153
125
|
* @param msgSender - (Optional) The message sender to use for the simulation.
|
|
154
126
|
* @param skipTxValidation - (Optional) If false, this function throws if the transaction is unable to be included in a block at the current state.
|
|
155
|
-
* @param
|
|
127
|
+
* @param skipFeeEnforcement - (Optional) If false, fees are enforced.
|
|
156
128
|
* @param scopes - (Optional) The accounts whose notes we can access in this call. Currently optional and will default to all.
|
|
157
129
|
* @returns A simulated transaction result object that includes public and private return values.
|
|
158
|
-
* @throws If the code for the functions executed in this transaction
|
|
130
|
+
* @throws If the code for the functions executed in this transaction have not been made available via `addContracts`.
|
|
159
131
|
* Also throws if simulatePublic is true and public simulation reverts.
|
|
160
132
|
*/
|
|
161
|
-
simulateTx(txRequest: TxExecutionRequest, simulatePublic: boolean, msgSender?: AztecAddress, skipTxValidation?: boolean, skipFeeEnforcement?: boolean,
|
|
133
|
+
simulateTx(txRequest: TxExecutionRequest, simulatePublic: boolean, msgSender?: AztecAddress, skipTxValidation?: boolean, skipFeeEnforcement?: boolean, scopes?: AztecAddress[]): Promise<TxSimulationResult>;
|
|
134
|
+
/**
|
|
135
|
+
* Profiles a transaction, reporting gate counts (unless disabled) and returns an execution trace.
|
|
136
|
+
*
|
|
137
|
+
* @param txRequest - An authenticated tx request ready for simulation
|
|
138
|
+
* @param msgSender - (Optional) The message sender to use for the simulation.
|
|
139
|
+
* @param skipTxValidation - (Optional) If false, this function throws if the transaction is unable to be included in a block at the current state.
|
|
140
|
+
* @returns A trace of the program execution with gate counts.
|
|
141
|
+
* @throws If the code for the functions executed in this transaction have not been made available via `addContracts`.
|
|
142
|
+
*/
|
|
143
|
+
profileTx(txRequest: TxExecutionRequest, profileMode: 'gates' | 'execution-steps' | 'full', msgSender?: AztecAddress): Promise<TxProfileResult>;
|
|
162
144
|
/**
|
|
163
145
|
* Sends a transaction to an Aztec node to be broadcasted to the network and mined.
|
|
164
146
|
* @param tx - The transaction as created via `proveTx`.
|
|
@@ -238,7 +220,7 @@ export interface PXE {
|
|
|
238
220
|
* @param scopes - (Optional) The accounts whose notes we can access in this call. Currently optional and will default to all.
|
|
239
221
|
* @returns The result of the view function call, structured based on the function ABI.
|
|
240
222
|
*/
|
|
241
|
-
simulateUnconstrained(functionName: string, args: any[], to: AztecAddress, from?: AztecAddress, scopes?: AztecAddress[]): Promise<AbiDecoded>;
|
|
223
|
+
simulateUnconstrained(functionName: string, args: any[], to: AztecAddress, authwits?: AuthWitness[], from?: AztecAddress, scopes?: AztecAddress[]): Promise<AbiDecoded>;
|
|
242
224
|
/**
|
|
243
225
|
* Gets public logs based on the provided filter.
|
|
244
226
|
* @param filter - The filter to apply to the logs.
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"pxe.d.ts","sourceRoot":"","sources":["../../src/interfaces/pxe.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AAC5D,OAAO,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,KAAK,EAAE,YAAY,EAAU,MAAM,2BAA2B,CAAC;AACtE,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAItD,OAAO,EAAE,KAAK,OAAO,EAAiB,KAAK,gBAAgB,EAA0B,MAAM,eAAe,CAAC;AAC3G,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAC9D,OAAO,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAC9D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,KAAK,OAAO,EAAoB,MAAM,sBAAsB,CAAC;AACtE,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAC/C,OAAO,EACL,eAAe,EACf,KAAK,mBAAmB,EAExB,KAAK,2BAA2B,EAEhC,KAAK,QAAQ,EAEb,KAAK,cAAc,EACnB,KAAK,yBAAyB,EAE/B,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAC7C,OAAO,EAAE,KAAK,SAAS,EAAmB,MAAM,uBAAuB,CAAC;AACxE,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AACtD,OAAO,EAAE,KAAK,WAAW,EAAqB,MAAM,yBAAyB,CAAC;AAE9E,OAAO,
|
|
1
|
+
{"version":3,"file":"pxe.d.ts","sourceRoot":"","sources":["../../src/interfaces/pxe.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AAC5D,OAAO,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,KAAK,EAAE,YAAY,EAAU,MAAM,2BAA2B,CAAC;AACtE,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAItD,OAAO,EAAE,KAAK,OAAO,EAAiB,KAAK,gBAAgB,EAA0B,MAAM,eAAe,CAAC;AAC3G,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAC9D,OAAO,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAC9D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,KAAK,OAAO,EAAoB,MAAM,sBAAsB,CAAC;AACtE,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAC/C,OAAO,EACL,eAAe,EACf,KAAK,mBAAmB,EAExB,KAAK,2BAA2B,EAEhC,KAAK,QAAQ,EAEb,KAAK,cAAc,EACnB,KAAK,yBAAyB,EAE/B,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAC7C,OAAO,EAAE,KAAK,SAAS,EAAmB,MAAM,uBAAuB,CAAC;AACxE,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AACtD,OAAO,EAAE,KAAK,WAAW,EAAqB,MAAM,yBAAyB,CAAC;AAE9E,OAAO,EAAE,sBAAsB,EAAE,EAAE,EAAE,kBAAkB,EAAE,MAAM,EAAE,SAAS,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AACvH,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EACL,KAAK,4BAA4B,EAEjC,KAAK,qBAAqB,EAE3B,MAAM,wBAAwB,CAAC;AAGhC;;;;;GAKG;AACH,MAAM,WAAW,GAAG;IAClB;;;;OAIG;IACH,qBAAqB,CAAC,aAAa,EAAE,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAE3D;;;;;;;;;OASG;IACH,eAAe,CAAC,SAAS,EAAE,EAAE,EAAE,cAAc,EAAE,cAAc,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC;IAEzF;;;OAGG;IACH,qBAAqB,IAAI,OAAO,CAAC,eAAe,EAAE,CAAC,CAAC;IAEpD;;;;;;;;OAQG;IACH,cAAc,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;IAE7D;;;OAGG;IACH,UAAU,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC;IAEtC;;OAEG;IACH,YAAY,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAEnD;;;;OAIG;IACH,qBAAqB,CAAC,QAAQ,EAAE,gBAAgB,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAEjE;;;;;;;OAOG;IACH,gBAAgB,CAAC,QAAQ,EAAE;QAAE,QAAQ,EAAE,2BAA2B,CAAC;QAAC,QAAQ,CAAC,EAAE,gBAAgB,CAAA;KAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAElH;;;;;;OAMG;IACH,cAAc,CAAC,eAAe,EAAE,YAAY,EAAE,QAAQ,EAAE,gBAAgB,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAEzF;;;OAGG;IACH,YAAY,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC;IAExC;;;;;;;;;OASG;IACH,OAAO,CAAC,SAAS,EAAE,kBAAkB,EAAE,sBAAsB,EAAE,sBAAsB,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC;IAEjH;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,UAAU,CACR,SAAS,EAAE,kBAAkB,EAC7B,cAAc,EAAE,OAAO,EACvB,SAAS,CAAC,EAAE,YAAY,EACxB,gBAAgB,CAAC,EAAE,OAAO,EAC1B,kBAAkB,CAAC,EAAE,OAAO,EAC5B,MAAM,CAAC,EAAE,YAAY,EAAE,GACtB,OAAO,CAAC,kBAAkB,CAAC,CAAC;IAE/B;;;;;;;;OAQG;IACH,SAAS,CACP,SAAS,EAAE,kBAAkB,EAC7B,WAAW,EAAE,OAAO,GAAG,iBAAiB,GAAG,MAAM,EACjD,SAAS,CAAC,EAAE,YAAY,GACvB,OAAO,CAAC,eAAe,CAAC,CAAC;IAE5B;;;;OAIG;IACH,MAAM,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAEhC;;;;;;;OAOG;IACH,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;IAEjD;;;;OAIG;IACH,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,SAAS,CAAC,CAAC;IAEpE;;;;;;;;;;OAUG;IACH,kBAAkB,CAAC,QAAQ,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;IAElE;;;;OAIG;IACH,QAAQ,CAAC,MAAM,EAAE,WAAW,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC;IAErD;;;;;;;OAOG;IACH,0BAA0B,CACxB,eAAe,EAAE,YAAY,EAC7B,WAAW,EAAE,EAAE,EACf,MAAM,EAAE,EAAE,GACT,OAAO,CAAC,CAAC,MAAM,EAAE,WAAW,CAAC,OAAO,wBAAwB,CAAC,CAAC,CAAC,CAAC;IAEnE;;;;;OAKG;IACH,0BAA0B,CAAC,WAAW,EAAE,MAAM,EAAE,aAAa,EAAE,EAAE,GAAG,OAAO,CAAC,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAE3G;;;;OAIG;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,GAAG,SAAS,CAAC,CAAC;IAEvD;;;OAGG;IACH,kBAAkB,IAAI,OAAO,CAAC,OAAO,CAAC,CAAC;IAEvC;;;;;;;;;;;;OAYG;IACH,qBAAqB,CACnB,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,GAAG,EAAE,EACX,EAAE,EAAE,YAAY,EAChB,QAAQ,CAAC,EAAE,WAAW,EAAE,EACxB,IAAI,CAAC,EAAE,YAAY,EACnB,MAAM,CAAC,EAAE,YAAY,EAAE,GACtB,OAAO,CAAC,UAAU,CAAC,CAAC;IAEvB;;;;OAIG;IACH,aAAa,CAAC,MAAM,EAAE,SAAS,GAAG,OAAO,CAAC,qBAAqB,CAAC,CAAC;IAEjE;;;;OAIG;IACH,oBAAoB,CAAC,MAAM,EAAE,SAAS,GAAG,OAAO,CAAC,4BAA4B,CAAC,CAAC;IAE/E;;;OAGG;IACH,cAAc,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAElC;;;OAGG;IACH,oBAAoB,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAExC;;;;OAIG;IACH,WAAW,IAAI,OAAO,CAAC,QAAQ,CAAC,CAAC;IAEjC;;OAEG;IACH,UAAU,IAAI,OAAO,CAAC,OAAO,CAAC,CAAC;IAE/B;;;;;;;;;;OAUG;IACH,mBAAmB,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAEtE;;;;;;;;;;;;;OAaG;IACH,wBAAwB,CAAC,EAAE,EAAE,EAAE,EAAE,eAAe,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,qBAAqB,CAAC,CAAC;IAE5F;;;;;;;OAOG;IACH,gBAAgB,CAAC,CAAC,EAAE,aAAa,EAAE,uBAAuB,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC;IAEtH;;;;;;OAMG;IACH,eAAe,CAAC,CAAC,EAAE,aAAa,EAAE,uBAAuB,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC;CACvG;AAGD,MAAM,MAAM,uBAAuB,GAAG;IACpC,aAAa,EAAE,aAAa,CAAC;IAC7B,OAAO,EAAE,OAAO,CAAC;IACjB,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB,CAAC;AAQF,oDAAoD;AACpD,oBAAY,SAAS;IACnB,SAAS,cAAc;IACvB,WAAW,gBAAgB;CAC5B;AAED,wDAAwD;AACxD,MAAM,WAAW,OAAO;IACtB,2DAA2D;IAC3D,UAAU,EAAE,MAAM,CAAC;IACnB,kCAAkC;IAClC,yBAAyB,EAAE,yBAAyB,CAAC;CACtD;AAED,MAAM,WAAW,gBAAgB;IAC/B,gBAAgB,CAAC,EAAE,2BAA2B,GAAG,SAAS,CAAC;IAC3D,qBAAqB,EAAE,OAAO,CAAC;IAC/B,0BAA0B,EAAE,OAAO,CAAC;CACrC;AAED,MAAM,WAAW,qBAAqB;IACpC,aAAa,CAAC,EAAE,mBAAmB,GAAG,SAAS,CAAC;IAChD,iCAAiC,EAAE,OAAO,CAAC;IAC3C,QAAQ,CAAC,EAAE,gBAAgB,GAAG,SAAS,CAAC;CACzC;AAmBD,eAAO,MAAM,SAAS,EAAE,YAAY,CAAC,GAAG,CAmFvC,CAAC"}
|
package/dest/interfaces/pxe.js
CHANGED
|
@@ -11,7 +11,9 @@ import { LogFilterSchema } from '../logs/log_filter.js';
|
|
|
11
11
|
import { UniqueNote } from '../note/extended_note.js';
|
|
12
12
|
import { NotesFilterSchema } from '../note/notes_filter.js';
|
|
13
13
|
import { AbiDecodedSchema, optional, schemas } from '../schemas/schemas.js';
|
|
14
|
-
import { PrivateExecutionResult, Tx, TxExecutionRequest, TxHash,
|
|
14
|
+
import { PrivateExecutionResult, Tx, TxExecutionRequest, TxHash, TxReceipt, TxSimulationResult } from '../tx/index.js';
|
|
15
|
+
import { TxProfileResult } from '../tx/profiled_tx.js';
|
|
16
|
+
import { TxProvingResult } from '../tx/proven_tx.js';
|
|
15
17
|
import { TxEffect } from '../tx/tx_effect.js';
|
|
16
18
|
import { GetContractClassLogsResponseSchema, GetPublicLogsResponseSchema } from './get_logs_response.js';
|
|
17
19
|
const EventMetadataDefinitionSchema = z.object({
|
|
@@ -49,12 +51,6 @@ const PXEInfoSchema = z.object({
|
|
|
49
51
|
});
|
|
50
52
|
export const PXESchema = {
|
|
51
53
|
isL1ToL2MessageSynced: z.function().args(schemas.Fr).returns(z.boolean()),
|
|
52
|
-
addAuthWitness: z.function().args(AuthWitness.schema).returns(z.void()),
|
|
53
|
-
getAuthWitness: z.function().args(schemas.Fr).returns(z.union([
|
|
54
|
-
z.undefined(),
|
|
55
|
-
z.array(schemas.Fr)
|
|
56
|
-
])),
|
|
57
|
-
storeCapsule: z.function().args(schemas.AztecAddress, schemas.Fr, z.array(schemas.Fr)).returns(z.void()),
|
|
58
54
|
registerAccount: z.function().args(schemas.Fr, schemas.Fr).returns(CompleteAddress.schema),
|
|
59
55
|
getRegisteredAccounts: z.function().returns(z.array(CompleteAddress.schema)),
|
|
60
56
|
registerSender: z.function().args(schemas.AztecAddress).returns(schemas.AztecAddress),
|
|
@@ -68,7 +64,12 @@ export const PXESchema = {
|
|
|
68
64
|
updateContract: z.function().args(schemas.AztecAddress, ContractArtifactSchema).returns(z.void()),
|
|
69
65
|
getContracts: z.function().returns(z.array(schemas.AztecAddress)),
|
|
70
66
|
proveTx: z.function().args(TxExecutionRequest.schema, PrivateExecutionResult.schema).returns(TxProvingResult.schema),
|
|
71
|
-
|
|
67
|
+
profileTx: z.function().args(TxExecutionRequest.schema, z.union([
|
|
68
|
+
z.literal('gates'),
|
|
69
|
+
z.literal('full'),
|
|
70
|
+
z.literal('execution-steps')
|
|
71
|
+
]), optional(schemas.AztecAddress)).returns(TxProfileResult.schema),
|
|
72
|
+
simulateTx: z.function().args(TxExecutionRequest.schema, z.boolean(), optional(schemas.AztecAddress), optional(z.boolean()), optional(z.boolean()), optional(z.array(schemas.AztecAddress))).returns(TxSimulationResult.schema),
|
|
72
73
|
sendTx: z.function().args(Tx.schema).returns(TxHash.schema),
|
|
73
74
|
getTxReceipt: z.function().args(TxHash.schema).returns(TxReceipt.schema),
|
|
74
75
|
getTxEffect: z.function().args(TxHash.schema).returns(z.union([
|
|
@@ -90,7 +91,7 @@ export const PXESchema = {
|
|
|
90
91
|
z.undefined()
|
|
91
92
|
])),
|
|
92
93
|
getCurrentBaseFees: z.function().returns(GasFees.schema),
|
|
93
|
-
simulateUnconstrained: z.function().args(z.string(), z.array(z.any()), schemas.AztecAddress, optional(schemas.AztecAddress), optional(z.array(schemas.AztecAddress))).returns(AbiDecodedSchema),
|
|
94
|
+
simulateUnconstrained: z.function().args(z.string(), z.array(z.any()), schemas.AztecAddress, optional(z.array(AuthWitness.schema)), optional(schemas.AztecAddress), optional(z.array(schemas.AztecAddress))).returns(AbiDecodedSchema),
|
|
94
95
|
getPublicLogs: z.function().args(LogFilterSchema).returns(GetPublicLogsResponseSchema),
|
|
95
96
|
getContractClassLogs: z.function().args(LogFilterSchema).returns(GetContractClassLogsResponseSchema),
|
|
96
97
|
getBlockNumber: z.function().returns(z.number()),
|
package/dest/kernel/index.d.ts
CHANGED
|
@@ -26,6 +26,6 @@ export * from './note_hash.js';
|
|
|
26
26
|
export * from './private_log_data.js';
|
|
27
27
|
export * from './private_call_request.js';
|
|
28
28
|
export * from './private_validation_requests.js';
|
|
29
|
-
export * from './private_kernel_prover_profile_result.js';
|
|
30
29
|
export * from './private_kernel_simulated_output.js';
|
|
30
|
+
export * from './private_kernel_prover_output.js';
|
|
31
31
|
//# sourceMappingURL=index.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/kernel/index.ts"],"names":[],"mappings":"AAAA,cAAc,yCAAyC,CAAC;AACxD,cAAc,6BAA6B,CAAC;AAC5C,cAAc,qDAAqD,CAAC;AACpE,cAAc,+BAA+B,CAAC;AAC9C,cAAc,wBAAwB,CAAC;AACvC,cAAc,2CAA2C,CAAC;AAC1D,cAAc,0BAA0B,CAAC;AACzC,cAAc,iDAAiD,CAAC;AAChE,cAAc,kDAAkD,CAAC;AACjE,cAAc,kDAAkD,CAAC;AACjE,cAAc,sCAAsC,CAAC;AACrD,cAAc,iDAAiD,CAAC;AAChE,cAAc,gDAAgD,CAAC;AAC/D,cAAc,sCAAsC,CAAC;AACrD,cAAc,yCAAyC,CAAC;AACxD,cAAc,iDAAiD,CAAC;AAChE,cAAc,qDAAqD,CAAC;AACpE,cAAc,kBAAkB,CAAC;AACjC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,6BAA6B,CAAC;AAC5C,cAAc,eAAe,CAAC;AAC9B,cAAc,oCAAoC,CAAC;AACnD,cAAc,kBAAkB,CAAC;AACjC,cAAc,0BAA0B,CAAC;AACzC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,uBAAuB,CAAC;AACtC,cAAc,2BAA2B,CAAC;AAC1C,cAAc,kCAAkC,CAAC;AACjD,cAAc,
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/kernel/index.ts"],"names":[],"mappings":"AAAA,cAAc,yCAAyC,CAAC;AACxD,cAAc,6BAA6B,CAAC;AAC5C,cAAc,qDAAqD,CAAC;AACpE,cAAc,+BAA+B,CAAC;AAC9C,cAAc,wBAAwB,CAAC;AACvC,cAAc,2CAA2C,CAAC;AAC1D,cAAc,0BAA0B,CAAC;AACzC,cAAc,iDAAiD,CAAC;AAChE,cAAc,kDAAkD,CAAC;AACjE,cAAc,kDAAkD,CAAC;AACjE,cAAc,sCAAsC,CAAC;AACrD,cAAc,iDAAiD,CAAC;AAChE,cAAc,gDAAgD,CAAC;AAC/D,cAAc,sCAAsC,CAAC;AACrD,cAAc,yCAAyC,CAAC;AACxD,cAAc,iDAAiD,CAAC;AAChE,cAAc,qDAAqD,CAAC;AACpE,cAAc,kBAAkB,CAAC;AACjC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,6BAA6B,CAAC;AAC5C,cAAc,eAAe,CAAC;AAC9B,cAAc,oCAAoC,CAAC;AACnD,cAAc,kBAAkB,CAAC;AACjC,cAAc,0BAA0B,CAAC;AACzC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,uBAAuB,CAAC;AACtC,cAAc,2BAA2B,CAAC;AAC1C,cAAc,kCAAkC,CAAC;AACjD,cAAc,sCAAsC,CAAC;AACrD,cAAc,mCAAmC,CAAC"}
|
package/dest/kernel/index.js
CHANGED
|
@@ -26,5 +26,5 @@ export * from './note_hash.js';
|
|
|
26
26
|
export * from './private_log_data.js';
|
|
27
27
|
export * from './private_call_request.js';
|
|
28
28
|
export * from './private_validation_requests.js';
|
|
29
|
-
export * from './private_kernel_prover_profile_result.js';
|
|
30
29
|
export * from './private_kernel_simulated_output.js';
|
|
30
|
+
export * from './private_kernel_prover_output.js';
|
|
@@ -0,0 +1,49 @@
|
|
|
1
|
+
/// <reference types="node" resolution-mode="require"/>
|
|
2
|
+
/// <reference types="node" resolution-mode="require"/>
|
|
3
|
+
import type { WitnessMap } from '@aztec/noir-acvm_js';
|
|
4
|
+
import { z } from 'zod';
|
|
5
|
+
import type { ClientIvcProof } from '../proofs/client_ivc_proof.js';
|
|
6
|
+
import type { VerificationKeyAsFields } from '../vks/verification_key.js';
|
|
7
|
+
import type { PrivateKernelCircuitPublicInputs } from './private_kernel_circuit_public_inputs.js';
|
|
8
|
+
import type { PrivateKernelTailCircuitPublicInputs } from './private_kernel_tail_circuit_public_inputs.js';
|
|
9
|
+
export declare const PrivateExecutionStepSchema: z.ZodObject<{
|
|
10
|
+
functionName: z.ZodString;
|
|
11
|
+
gateCount: z.ZodOptional<z.ZodNumber>;
|
|
12
|
+
bytecode: z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, Buffer, string>;
|
|
13
|
+
witness: import("@aztec/foundation/schemas").ZodFor<Map<number, string>>;
|
|
14
|
+
}, "strip", z.ZodTypeAny, {
|
|
15
|
+
bytecode: Buffer;
|
|
16
|
+
functionName: string;
|
|
17
|
+
witness: Map<number, string>;
|
|
18
|
+
gateCount?: number | undefined;
|
|
19
|
+
}, {
|
|
20
|
+
bytecode: string;
|
|
21
|
+
functionName: string;
|
|
22
|
+
gateCount?: number | undefined;
|
|
23
|
+
witness?: any;
|
|
24
|
+
}>;
|
|
25
|
+
/**
|
|
26
|
+
* Represents either a simulated private kernel circuit or one of our application function circuits.
|
|
27
|
+
*/
|
|
28
|
+
export interface PrivateExecutionStep {
|
|
29
|
+
functionName: string;
|
|
30
|
+
gateCount?: number;
|
|
31
|
+
bytecode: Buffer;
|
|
32
|
+
witness: WitnessMap;
|
|
33
|
+
}
|
|
34
|
+
/** Represents the output of proven PrivateKernelSimulateOutput.*/
|
|
35
|
+
export interface PrivateKernelExecutionProofOutput<PublicInputsType extends PrivateKernelCircuitPublicInputs | PrivateKernelTailCircuitPublicInputs> {
|
|
36
|
+
/** The public inputs used by the proof generation process. */
|
|
37
|
+
publicInputs: PublicInputsType;
|
|
38
|
+
/** The private IVC proof optimized for user devices. It will be consumed by an Aztec prover,
|
|
39
|
+
* which recursively verifies it through the "tube" circuit.*/
|
|
40
|
+
clientIvcProof: ClientIvcProof;
|
|
41
|
+
verificationKey: VerificationKeyAsFields;
|
|
42
|
+
/**
|
|
43
|
+
* The trace the clientIvcProof corresponds to.
|
|
44
|
+
* A trace of app circuits interleaved with private kernel circuits.
|
|
45
|
+
* If simulate is ran with profiling mode, also includes gate counts.
|
|
46
|
+
*/
|
|
47
|
+
executionSteps: PrivateExecutionStep[];
|
|
48
|
+
}
|
|
49
|
+
//# sourceMappingURL=private_kernel_prover_output.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"private_kernel_prover_output.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_prover_output.ts"],"names":[],"mappings":";;AACA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAEtD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AACpE,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AAC1E,OAAO,KAAK,EAAE,gCAAgC,EAAE,MAAM,2CAA2C,CAAC;AAClG,OAAO,KAAK,EAAE,oCAAoC,EAAE,MAAM,gDAAgD,CAAC;AAE3G,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;EAKrC,CAAC;AAEH;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,YAAY,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,UAAU,CAAC;CACrB;AAED,kEAAkE;AAClE,MAAM,WAAW,iCAAiC,CAChD,gBAAgB,SAAS,gCAAgC,GAAG,oCAAoC;IAEhG,8DAA8D;IAC9D,YAAY,EAAE,gBAAgB,CAAC;IAC/B;kEAC8D;IAC9D,cAAc,EAAE,cAAc,CAAC;IAC/B,eAAe,EAAE,uBAAuB,CAAC;IACzC;;;;OAIG;IACH,cAAc,EAAE,oBAAoB,EAAE,CAAC;CACxC"}
|
|
@@ -0,0 +1,8 @@
|
|
|
1
|
+
import { bufferSchema, mapSchema } from '@aztec/foundation/schemas';
|
|
2
|
+
import { z } from 'zod';
|
|
3
|
+
export const PrivateExecutionStepSchema = z.object({
|
|
4
|
+
functionName: z.string(),
|
|
5
|
+
gateCount: z.number().optional(),
|
|
6
|
+
bytecode: bufferSchema,
|
|
7
|
+
witness: mapSchema(z.number(), z.string())
|
|
8
|
+
});
|
|
@@ -1,24 +1,20 @@
|
|
|
1
1
|
/// <reference types="node" resolution-mode="require"/>
|
|
2
2
|
/// <reference types="node" resolution-mode="require"/>
|
|
3
3
|
import type { WitnessMap } from '@aztec/noir-acvm_js';
|
|
4
|
-
import type { ClientIvcProof } from '../proofs/client_ivc_proof.js';
|
|
5
4
|
import type { VerificationKeyAsFields } from '../vks/verification_key.js';
|
|
6
5
|
import type { PrivateKernelCircuitPublicInputs } from './private_kernel_circuit_public_inputs.js';
|
|
7
|
-
import type { PrivateKernelProverProfileResult } from './private_kernel_prover_profile_result.js';
|
|
8
6
|
import type { PrivateKernelTailCircuitPublicInputs } from './private_kernel_tail_circuit_public_inputs.js';
|
|
9
7
|
/**
|
|
10
8
|
* Represents the output of the proof creation process for init and inner private kernel circuit.
|
|
11
9
|
* Contains the public inputs required for the init and inner private kernel circuit and the generated proof.
|
|
12
10
|
*/
|
|
13
|
-
export
|
|
11
|
+
export interface PrivateKernelSimulateOutput<PublicInputsType extends PrivateKernelCircuitPublicInputs | PrivateKernelTailCircuitPublicInputs> {
|
|
14
12
|
/** The public inputs required for the proof generation process. */
|
|
15
13
|
publicInputs: PublicInputsType;
|
|
16
|
-
clientIvcProof?: ClientIvcProof;
|
|
17
|
-
verificationKey: VerificationKeyAsFields;
|
|
18
14
|
outputWitness: WitnessMap;
|
|
15
|
+
verificationKey: VerificationKeyAsFields;
|
|
19
16
|
bytecode: Buffer;
|
|
20
|
-
|
|
21
|
-
};
|
|
17
|
+
}
|
|
22
18
|
/**
|
|
23
19
|
* Represents the output of the circuit simulation process for init and inner private kernel circuit.
|
|
24
20
|
*/
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"private_kernel_simulated_output.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_simulated_output.ts"],"names":[],"mappings":";;AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAEtD,OAAO,KAAK,EAAE,
|
|
1
|
+
{"version":3,"file":"private_kernel_simulated_output.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_simulated_output.ts"],"names":[],"mappings":";;AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAEtD,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AAC1E,OAAO,KAAK,EAAE,gCAAgC,EAAE,MAAM,2CAA2C,CAAC;AAClG,OAAO,KAAK,EAAE,oCAAoC,EAAE,MAAM,gDAAgD,CAAC;AAE3G;;;GAGG;AACH,MAAM,WAAW,2BAA2B,CAC1C,gBAAgB,SAAS,gCAAgC,GAAG,oCAAoC;IAEhG,mEAAmE;IACnE,YAAY,EAAE,gBAAgB,CAAC;IAC/B,aAAa,EAAE,UAAU,CAAC;IAC1B,eAAe,EAAE,uBAAuB,CAAC;IACzC,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,MAAM,wBAAwB,GAAG;IACrC,eAAe,EAAE,uBAAuB,CAAC;CAC1C,CAAC"}
|