@aztec/stdlib 3.0.0-nightly.20250918 → 3.0.0-nightly.20250920
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/avm/avm.d.ts +8 -16
- package/dest/avm/avm.d.ts.map +1 -1
- package/dest/avm/avm_accumulated_data.d.ts +9 -21
- package/dest/avm/avm_accumulated_data.d.ts.map +1 -1
- package/dest/avm/avm_accumulated_data.js +15 -22
- package/dest/avm/avm_circuit_public_inputs.d.ts +6 -12
- package/dest/avm/avm_circuit_public_inputs.d.ts.map +1 -1
- package/dest/avm/avm_proving_request.d.ts +9 -18
- package/dest/avm/avm_proving_request.d.ts.map +1 -1
- package/dest/interfaces/block-builder.d.ts +1 -0
- package/dest/interfaces/block-builder.d.ts.map +1 -1
- package/dest/interfaces/epoch-prover.d.ts +4 -4
- package/dest/interfaces/epoch-prover.d.ts.map +1 -1
- package/dest/interfaces/proving-job.d.ts +78 -88
- package/dest/interfaces/proving-job.d.ts.map +1 -1
- package/dest/interfaces/proving-job.js +40 -84
- package/dest/interfaces/pxe.d.ts +193 -118
- package/dest/interfaces/pxe.d.ts.map +1 -1
- package/dest/interfaces/pxe.js +6 -37
- package/dest/interfaces/server_circuit_prover.d.ts +18 -17
- package/dest/interfaces/server_circuit_prover.d.ts.map +1 -1
- package/dest/logs/log_with_tx_data.d.ts +9 -12
- package/dest/logs/log_with_tx_data.d.ts.map +1 -1
- package/dest/logs/log_with_tx_data.js +18 -23
- package/dest/logs/public_log.d.ts +23 -10
- package/dest/logs/public_log.d.ts.map +1 -1
- package/dest/logs/public_log.js +117 -42
- package/dest/parity/index.d.ts +2 -3
- package/dest/parity/index.d.ts.map +1 -1
- package/dest/parity/index.js +2 -3
- package/dest/parity/{base_parity_inputs.d.ts → parity_base_private_inputs.d.ts} +6 -6
- package/dest/parity/parity_base_private_inputs.d.ts.map +1 -0
- package/dest/parity/{base_parity_inputs.js → parity_base_private_inputs.js} +5 -5
- package/dest/parity/parity_root_private_inputs.d.ts +39 -0
- package/dest/parity/parity_root_private_inputs.d.ts.map +1 -0
- package/dest/parity/{root_parity_inputs.js → parity_root_private_inputs.js} +12 -13
- package/dest/proofs/proof_data.d.ts +3 -2
- package/dest/proofs/proof_data.d.ts.map +1 -1
- package/dest/proofs/proving_request_type.d.ts +5 -5
- package/dest/proofs/proving_request_type.d.ts.map +1 -1
- package/dest/proofs/proving_request_type.js +5 -5
- package/dest/rollup/{block_merge_rollup.d.ts → block_merge_rollup_private_inputs.d.ts} +10 -4
- package/dest/rollup/block_merge_rollup_private_inputs.d.ts.map +1 -0
- package/dest/rollup/{block_merge_rollup.js → block_merge_rollup_private_inputs.js} +1 -1
- package/dest/rollup/{block_root_rollup.d.ts → block_root_rollup_private_inputs.d.ts} +23 -34
- package/dest/rollup/block_root_rollup_private_inputs.d.ts.map +1 -0
- package/dest/rollup/{block_root_rollup.js → block_root_rollup_private_inputs.js} +7 -7
- package/dest/rollup/{checkpoint_merge_rollup.d.ts → checkpoint_merge_rollup_private_inputs.d.ts} +6 -6
- package/dest/rollup/checkpoint_merge_rollup_private_inputs.d.ts.map +1 -0
- package/dest/rollup/{checkpoint_root_rollup.d.ts → checkpoint_root_rollup_private_inputs.d.ts} +14 -8
- package/dest/rollup/checkpoint_root_rollup_private_inputs.d.ts.map +1 -0
- package/dest/rollup/index.d.ts +10 -11
- package/dest/rollup/index.d.ts.map +1 -1
- package/dest/rollup/index.js +10 -11
- package/dest/rollup/{private_base_rollup_inputs.d.ts → private_tx_base_rollup_private_inputs.d.ts} +7 -7
- package/dest/rollup/private_tx_base_rollup_private_inputs.d.ts.map +1 -0
- package/dest/rollup/{private_base_rollup_inputs.js → private_tx_base_rollup_private_inputs.js} +6 -6
- package/dest/rollup/{public_base_rollup_inputs.d.ts → public_tx_base_rollup_private_inputs.d.ts} +7 -7
- package/dest/rollup/public_tx_base_rollup_private_inputs.d.ts.map +1 -0
- package/dest/rollup/{public_base_rollup_inputs.js → public_tx_base_rollup_private_inputs.js} +6 -6
- package/dest/rollup/root_rollup_private_inputs.d.ts +67 -0
- package/dest/rollup/root_rollup_private_inputs.d.ts.map +1 -0
- package/dest/rollup/root_rollup_private_inputs.js +69 -0
- package/dest/rollup/{root_rollup.d.ts → root_rollup_public_inputs.d.ts} +2 -65
- package/dest/rollup/root_rollup_public_inputs.d.ts.map +1 -0
- package/dest/rollup/{root_rollup.js → root_rollup_public_inputs.js} +1 -66
- package/dest/rollup/{merge_rollup.d.ts → tx_merge_rollup_private_inputs.d.ts} +11 -10
- package/dest/rollup/tx_merge_rollup_private_inputs.d.ts.map +1 -0
- package/dest/rollup/{merge_rollup.js → tx_merge_rollup_private_inputs.js} +14 -13
- package/dest/rollup/{base_or_merge_rollup_public_inputs.d.ts → tx_rollup_public_inputs.d.ts} +11 -11
- package/dest/rollup/tx_rollup_public_inputs.d.ts.map +1 -0
- package/dest/rollup/{base_or_merge_rollup_public_inputs.js → tx_rollup_public_inputs.js} +13 -13
- package/dest/stats/stats.d.ts +1 -1
- package/dest/stats/stats.d.ts.map +1 -1
- package/dest/tests/factories.d.ts +16 -31
- package/dest/tests/factories.d.ts.map +1 -1
- package/dest/tests/factories.js +32 -49
- package/dest/tx/processed_tx.js +1 -1
- package/dest/tx/tx_effect.d.ts.map +1 -1
- package/dest/tx/tx_effect.js +9 -10
- package/package.json +8 -8
- package/src/avm/avm_accumulated_data.ts +15 -29
- package/src/interfaces/block-builder.ts +1 -0
- package/src/interfaces/epoch-prover.ts +3 -3
- package/src/interfaces/proving-job.ts +54 -93
- package/src/interfaces/pxe.ts +4 -184
- package/src/interfaces/server_circuit_prover.ts +24 -29
- package/src/logs/log_with_tx_data.ts +14 -24
- package/src/logs/public_log.ts +120 -58
- package/src/parity/index.ts +2 -3
- package/src/parity/{base_parity_inputs.ts → parity_base_private_inputs.ts} +6 -6
- package/src/parity/{root_parity_inputs.ts → parity_root_private_inputs.ts} +16 -18
- package/src/proofs/proof_data.ts +4 -2
- package/src/proofs/proving_request_type.ts +6 -5
- package/src/rollup/{block_merge_rollup.ts → block_merge_rollup_private_inputs.ts} +5 -3
- package/src/rollup/{block_root_rollup.ts → block_root_rollup_private_inputs.ts} +13 -26
- package/src/rollup/{checkpoint_merge_rollup.ts → checkpoint_merge_rollup_private_inputs.ts} +3 -4
- package/src/rollup/{checkpoint_root_rollup.ts → checkpoint_root_rollup_private_inputs.ts} +6 -4
- package/src/rollup/index.ts +10 -11
- package/src/rollup/{private_base_rollup_inputs.ts → private_tx_base_rollup_private_inputs.ts} +9 -9
- package/src/rollup/{public_base_rollup_inputs.ts → public_tx_base_rollup_private_inputs.ts} +9 -9
- package/src/rollup/root_rollup_private_inputs.ts +90 -0
- package/src/rollup/{root_rollup.ts → root_rollup_public_inputs.ts} +1 -86
- package/src/rollup/{merge_rollup.ts → tx_merge_rollup_private_inputs.ts} +13 -9
- package/src/rollup/{base_or_merge_rollup_public_inputs.ts → tx_rollup_public_inputs.ts} +11 -11
- package/src/stats/stats.ts +18 -17
- package/src/tests/factories.ts +33 -80
- package/src/tx/processed_tx.ts +1 -1
- package/src/tx/tx_effect.ts +9 -8
- package/dest/parity/base_parity_inputs.d.ts.map +0 -1
- package/dest/parity/root_parity_input.d.ts +0 -52
- package/dest/parity/root_parity_input.d.ts.map +0 -1
- package/dest/parity/root_parity_input.js +0 -50
- package/dest/parity/root_parity_inputs.d.ts +0 -37
- package/dest/parity/root_parity_inputs.d.ts.map +0 -1
- package/dest/rollup/base_or_merge_rollup_public_inputs.d.ts.map +0 -1
- package/dest/rollup/block_merge_rollup.d.ts.map +0 -1
- package/dest/rollup/block_root_rollup.d.ts.map +0 -1
- package/dest/rollup/checkpoint_merge_rollup.d.ts.map +0 -1
- package/dest/rollup/checkpoint_root_rollup.d.ts.map +0 -1
- package/dest/rollup/merge_rollup.d.ts.map +0 -1
- package/dest/rollup/previous_rollup_data.d.ts +0 -47
- package/dest/rollup/previous_rollup_data.d.ts.map +0 -1
- package/dest/rollup/previous_rollup_data.js +0 -37
- package/dest/rollup/private_base_rollup_inputs.d.ts.map +0 -1
- package/dest/rollup/public_base_rollup_inputs.d.ts.map +0 -1
- package/dest/rollup/rollup_proof_data.d.ts +0 -10
- package/dest/rollup/rollup_proof_data.d.ts.map +0 -1
- package/dest/rollup/rollup_proof_data.js +0 -1
- package/dest/rollup/root_rollup.d.ts.map +0 -1
- package/src/parity/root_parity_input.ts +0 -71
- package/src/rollup/previous_rollup_data.ts +0 -48
- package/src/rollup/rollup_proof_data.ts +0 -12
- /package/dest/rollup/{checkpoint_merge_rollup.js → checkpoint_merge_rollup_private_inputs.js} +0 -0
- /package/dest/rollup/{checkpoint_root_rollup.js → checkpoint_root_rollup_private_inputs.js} +0 -0
package/dest/interfaces/pxe.js
CHANGED
|
@@ -1,20 +1,14 @@
|
|
|
1
|
-
import { L1_TO_L2_MSG_TREE_HEIGHT } from '@aztec/constants';
|
|
2
|
-
import { SiblingPath } from '@aztec/foundation/trees';
|
|
3
1
|
import { z } from 'zod';
|
|
4
2
|
import { AbiTypeSchema, ContractArtifactSchema } from '../abi/abi.js';
|
|
5
3
|
import { AuthWitness } from '../auth_witness/auth_witness.js';
|
|
6
|
-
import {
|
|
7
|
-
import { CompleteAddress, ContractClassWithIdSchema, ContractInstanceWithAddressSchema, NodeInfoSchema, ProtocolContractAddressesSchema } from '../contract/index.js';
|
|
8
|
-
import { GasFees } from '../gas/gas_fees.js';
|
|
9
|
-
import { LogFilterSchema } from '../logs/log_filter.js';
|
|
4
|
+
import { CompleteAddress, ContractClassWithIdSchema, ContractInstanceWithAddressSchema, ProtocolContractAddressesSchema } from '../contract/index.js';
|
|
10
5
|
import { UniqueNote } from '../note/extended_note.js';
|
|
11
6
|
import { NotesFilterSchema } from '../note/notes_filter.js';
|
|
12
7
|
import { AbiDecodedSchema, optional, schemas } from '../schemas/schemas.js';
|
|
13
|
-
import { PrivateExecutionResult, SimulationOverrides,
|
|
8
|
+
import { PrivateExecutionResult, SimulationOverrides, TxExecutionRequest, TxSimulationResult } from '../tx/index.js';
|
|
14
9
|
import { TxProfileResult, UtilitySimulationResult } from '../tx/profiling.js';
|
|
15
10
|
import { TxProvingResult } from '../tx/proven_tx.js';
|
|
16
|
-
|
|
17
|
-
const EventMetadataDefinitionSchema = z.object({
|
|
11
|
+
export const EventMetadataDefinitionSchema = z.object({
|
|
18
12
|
eventSelector: schemas.EventSelector,
|
|
19
13
|
abiType: AbiTypeSchema,
|
|
20
14
|
fieldNames: z.array(z.string())
|
|
@@ -24,7 +18,7 @@ const EventMetadataDefinitionSchema = z.object({
|
|
|
24
18
|
EventType["Unencrypted"] = "Unencrypted";
|
|
25
19
|
return EventType;
|
|
26
20
|
}({});
|
|
27
|
-
const ContractMetadataSchema = z.object({
|
|
21
|
+
export const ContractMetadataSchema = z.object({
|
|
28
22
|
contractInstance: z.union([
|
|
29
23
|
ContractInstanceWithAddressSchema,
|
|
30
24
|
z.undefined()
|
|
@@ -32,7 +26,7 @@ const ContractMetadataSchema = z.object({
|
|
|
32
26
|
isContractInitialized: z.boolean(),
|
|
33
27
|
isContractPublished: z.boolean()
|
|
34
28
|
});
|
|
35
|
-
const ContractClassMetadataSchema = z.object({
|
|
29
|
+
export const ContractClassMetadataSchema = z.object({
|
|
36
30
|
contractClass: z.union([
|
|
37
31
|
ContractClassWithIdSchema,
|
|
38
32
|
z.undefined()
|
|
@@ -48,8 +42,6 @@ const PXEInfoSchema = z.object({
|
|
|
48
42
|
protocolContractAddresses: ProtocolContractAddressesSchema
|
|
49
43
|
});
|
|
50
44
|
export const PXESchema = {
|
|
51
|
-
isL1ToL2MessageSynced: z.function().args(schemas.Fr).returns(z.boolean()),
|
|
52
|
-
getL1ToL2MessageBlock: z.function().args(schemas.Fr).returns(z.number().optional()),
|
|
53
45
|
registerAccount: z.function().args(schemas.Fr, schemas.Fr).returns(CompleteAddress.schema),
|
|
54
46
|
getRegisteredAccounts: z.function().returns(z.array(CompleteAddress.schema)),
|
|
55
47
|
registerSender: z.function().args(schemas.AztecAddress).returns(schemas.AztecAddress),
|
|
@@ -69,33 +61,10 @@ export const PXESchema = {
|
|
|
69
61
|
z.literal('execution-steps')
|
|
70
62
|
]), optional(z.boolean()), optional(schemas.AztecAddress)).returns(TxProfileResult.schema),
|
|
71
63
|
simulateTx: z.function().args(TxExecutionRequest.schema, z.boolean(), optional(z.boolean()), optional(z.boolean()), optional(SimulationOverrides.schema), optional(z.array(schemas.AztecAddress))).returns(TxSimulationResult.schema),
|
|
72
|
-
sendTx: z.function().args(Tx.schema).returns(TxHash.schema),
|
|
73
|
-
getTxReceipt: z.function().args(TxHash.schema).returns(TxReceipt.schema),
|
|
74
|
-
getTxEffect: z.function().args(TxHash.schema).returns(indexedTxSchema().optional()),
|
|
75
|
-
getPublicStorageAt: z.function().args(schemas.AztecAddress, schemas.Fr).returns(schemas.Fr),
|
|
76
64
|
getNotes: z.function().args(NotesFilterSchema).returns(z.array(UniqueNote.schema)),
|
|
77
|
-
getL1ToL2MembershipWitness: z.function().args(schemas.AztecAddress, schemas.Fr, schemas.Fr).returns(z.tuple([
|
|
78
|
-
schemas.BigInt,
|
|
79
|
-
SiblingPath.schemaFor(L1_TO_L2_MSG_TREE_HEIGHT)
|
|
80
|
-
])),
|
|
81
|
-
getL2ToL1MembershipWitness: z.function().args(z.number(), schemas.Fr).returns(z.tuple([
|
|
82
|
-
schemas.BigInt,
|
|
83
|
-
SiblingPath.schema
|
|
84
|
-
])),
|
|
85
|
-
getBlock: z.function().args(z.number()).returns(z.union([
|
|
86
|
-
L2Block.schema,
|
|
87
|
-
z.undefined()
|
|
88
|
-
])),
|
|
89
|
-
getCurrentBaseFees: z.function().returns(GasFees.schema),
|
|
90
65
|
simulateUtility: 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(UtilitySimulationResult.schema),
|
|
91
|
-
getPublicLogs: z.function().args(LogFilterSchema).returns(GetPublicLogsResponseSchema),
|
|
92
|
-
getContractClassLogs: z.function().args(LogFilterSchema).returns(GetContractClassLogsResponseSchema),
|
|
93
|
-
getBlockNumber: z.function().returns(z.number()),
|
|
94
|
-
getProvenBlockNumber: z.function().returns(z.number()),
|
|
95
|
-
getNodeInfo: z.function().returns(NodeInfoSchema),
|
|
96
66
|
getPXEInfo: z.function().returns(PXEInfoSchema),
|
|
97
67
|
getContractMetadata: z.function().args(schemas.AztecAddress).returns(ContractMetadataSchema),
|
|
98
68
|
getContractClassMetadata: z.function().args(schemas.Fr, optional(z.boolean())).returns(ContractClassMetadataSchema),
|
|
99
|
-
getPrivateEvents: z.function().args(schemas.AztecAddress, EventMetadataDefinitionSchema, z.number(), z.number(), z.array(schemas.AztecAddress)).returns(z.array(AbiDecodedSchema))
|
|
100
|
-
getPublicEvents: z.function().args(EventMetadataDefinitionSchema, z.number(), z.number()).returns(z.array(AbiDecodedSchema))
|
|
69
|
+
getPrivateEvents: z.function().args(schemas.AztecAddress, EventMetadataDefinitionSchema, z.number(), z.number(), z.array(schemas.AztecAddress)).returns(z.array(AbiDecodedSchema))
|
|
101
70
|
};
|
|
@@ -1,21 +1,22 @@
|
|
|
1
1
|
import type { AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED, NESTED_RECURSIVE_PROOF_LENGTH, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, RECURSIVE_PROOF_LENGTH } from '@aztec/constants';
|
|
2
2
|
import type { AvmCircuitInputs } from '../avm/avm.js';
|
|
3
3
|
import type { PrivateToPublicKernelCircuitPublicInputs } from '../kernel/private_to_public_kernel_circuit_public_inputs.js';
|
|
4
|
-
import type {
|
|
4
|
+
import type { ParityBasePrivateInputs } from '../parity/parity_base_private_inputs.js';
|
|
5
5
|
import type { ParityPublicInputs } from '../parity/parity_public_inputs.js';
|
|
6
|
-
import type {
|
|
7
|
-
import type {
|
|
8
|
-
import type { BlockMergeRollupPrivateInputs } from '../rollup/block_merge_rollup.js';
|
|
6
|
+
import type { ParityRootPrivateInputs } from '../parity/parity_root_private_inputs.js';
|
|
7
|
+
import type { BlockMergeRollupPrivateInputs } from '../rollup/block_merge_rollup_private_inputs.js';
|
|
9
8
|
import type { BlockRollupPublicInputs } from '../rollup/block_rollup_public_inputs.js';
|
|
10
|
-
import type { BlockRootEmptyTxFirstRollupPrivateInputs, BlockRootFirstRollupPrivateInputs, BlockRootRollupPrivateInputs, BlockRootSingleTxFirstRollupPrivateInputs, BlockRootSingleTxRollupPrivateInputs } from '../rollup/
|
|
11
|
-
import type { CheckpointMergeRollupPrivateInputs } from '../rollup/
|
|
9
|
+
import type { BlockRootEmptyTxFirstRollupPrivateInputs, BlockRootFirstRollupPrivateInputs, BlockRootRollupPrivateInputs, BlockRootSingleTxFirstRollupPrivateInputs, BlockRootSingleTxRollupPrivateInputs } from '../rollup/block_root_rollup_private_inputs.js';
|
|
10
|
+
import type { CheckpointMergeRollupPrivateInputs } from '../rollup/checkpoint_merge_rollup_private_inputs.js';
|
|
12
11
|
import type { CheckpointRollupPublicInputs } from '../rollup/checkpoint_rollup_public_inputs.js';
|
|
13
|
-
import type { CheckpointPaddingRollupPrivateInputs, CheckpointRootRollupPrivateInputs, CheckpointRootSingleBlockRollupPrivateInputs } from '../rollup/
|
|
14
|
-
import type {
|
|
15
|
-
import type {
|
|
16
|
-
import type {
|
|
17
|
-
import type {
|
|
18
|
-
import type {
|
|
12
|
+
import type { CheckpointPaddingRollupPrivateInputs, CheckpointRootRollupPrivateInputs, CheckpointRootSingleBlockRollupPrivateInputs } from '../rollup/checkpoint_root_rollup_private_inputs.js';
|
|
13
|
+
import type { PrivateTxBaseRollupPrivateInputs } from '../rollup/private_tx_base_rollup_private_inputs.js';
|
|
14
|
+
import type { PublicTubePrivateInputs } from '../rollup/public_tube_private_inputs.js';
|
|
15
|
+
import type { PublicTxBaseRollupPrivateInputs } from '../rollup/public_tx_base_rollup_private_inputs.js';
|
|
16
|
+
import type { RootRollupPrivateInputs } from '../rollup/root_rollup_private_inputs.js';
|
|
17
|
+
import type { RootRollupPublicInputs } from '../rollup/root_rollup_public_inputs.js';
|
|
18
|
+
import type { TxMergeRollupPrivateInputs } from '../rollup/tx_merge_rollup_private_inputs.js';
|
|
19
|
+
import type { TxRollupPublicInputs } from '../rollup/tx_rollup_public_inputs.js';
|
|
19
20
|
import type { Tx } from '../tx/tx.js';
|
|
20
21
|
import type { ProofAndVerificationKey, PublicInputsAndRecursiveProof } from './proving-job.js';
|
|
21
22
|
/**
|
|
@@ -26,24 +27,24 @@ export interface ServerCircuitProver {
|
|
|
26
27
|
* Creates a proof for the given input.
|
|
27
28
|
* @param input - Input to the circuit.
|
|
28
29
|
*/
|
|
29
|
-
getBaseParityProof(inputs:
|
|
30
|
+
getBaseParityProof(inputs: ParityBasePrivateInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<ParityPublicInputs, typeof RECURSIVE_PROOF_LENGTH>>;
|
|
30
31
|
/**
|
|
31
32
|
* Creates a proof for the given input.
|
|
32
33
|
* @param input - Input to the circuit.
|
|
33
34
|
*/
|
|
34
|
-
getRootParityProof(inputs:
|
|
35
|
+
getRootParityProof(inputs: ParityRootPrivateInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<ParityPublicInputs, typeof NESTED_RECURSIVE_PROOF_LENGTH>>;
|
|
35
36
|
getPublicTubeProof(inputs: PublicTubePrivateInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<PrivateToPublicKernelCircuitPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>>;
|
|
36
37
|
/**
|
|
37
38
|
* Creates a proof for the given input.
|
|
38
39
|
* @param input - Input to the circuit.
|
|
39
40
|
*/
|
|
40
|
-
|
|
41
|
-
|
|
41
|
+
getPrivateTxBaseRollupProof(baseRollupInput: PrivateTxBaseRollupPrivateInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<TxRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>>;
|
|
42
|
+
getPublicTxBaseRollupProof(inputs: PublicTxBaseRollupPrivateInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<TxRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>>;
|
|
42
43
|
/**
|
|
43
44
|
* Creates a proof for the given input.
|
|
44
45
|
* @param input - Input to the circuit.
|
|
45
46
|
*/
|
|
46
|
-
|
|
47
|
+
getTxMergeRollupProof(input: TxMergeRollupPrivateInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<TxRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>>;
|
|
47
48
|
/**
|
|
48
49
|
* Creates a proof for the given input.
|
|
49
50
|
* @param input - Input to the circuit.
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"server_circuit_prover.d.ts","sourceRoot":"","sources":["../../src/interfaces/server_circuit_prover.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,oCAAoC,EACpC,6BAA6B,EAC7B,yCAAyC,EACzC,sBAAsB,EACvB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,KAAK,EAAE,wCAAwC,EAAE,MAAM,6DAA6D,CAAC;AAC5H,OAAO,KAAK,EAAE,
|
|
1
|
+
{"version":3,"file":"server_circuit_prover.d.ts","sourceRoot":"","sources":["../../src/interfaces/server_circuit_prover.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,oCAAoC,EACpC,6BAA6B,EAC7B,yCAAyC,EACzC,sBAAsB,EACvB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,KAAK,EAAE,wCAAwC,EAAE,MAAM,6DAA6D,CAAC;AAC5H,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AACvF,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AAC5E,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AACvF,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,gDAAgD,CAAC;AACpG,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AACvF,OAAO,KAAK,EACV,wCAAwC,EACxC,iCAAiC,EACjC,4BAA4B,EAC5B,yCAAyC,EACzC,oCAAoC,EACrC,MAAM,+CAA+C,CAAC;AACvD,OAAO,KAAK,EAAE,kCAAkC,EAAE,MAAM,qDAAqD,CAAC;AAC9G,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,8CAA8C,CAAC;AACjG,OAAO,KAAK,EACV,oCAAoC,EACpC,iCAAiC,EACjC,4CAA4C,EAC7C,MAAM,oDAAoD,CAAC;AAC5D,OAAO,KAAK,EAAE,gCAAgC,EAAE,MAAM,oDAAoD,CAAC;AAC3G,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AACvF,OAAO,KAAK,EAAE,+BAA+B,EAAE,MAAM,mDAAmD,CAAC;AACzG,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AACvF,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,wCAAwC,CAAC;AACrF,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,6CAA6C,CAAC;AAC9F,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,sCAAsC,CAAC;AACjF,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,aAAa,CAAC;AACtC,OAAO,KAAK,EAAE,uBAAuB,EAAE,6BAA6B,EAAE,MAAM,kBAAkB,CAAC;AAE/F;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC;;;OAGG;IACH,kBAAkB,CAChB,MAAM,EAAE,uBAAuB,EAC/B,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,kBAAkB,EAAE,OAAO,sBAAsB,CAAC,CAAC,CAAC;IAE7F;;;OAGG;IACH,kBAAkB,CAChB,MAAM,EAAE,uBAAuB,EAC/B,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,kBAAkB,EAAE,OAAO,6BAA6B,CAAC,CAAC,CAAC;IAEpG,kBAAkB,CAChB,MAAM,EAAE,uBAAuB,EAC/B,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAC3B,wCAAwC,EACxC,OAAO,yCAAyC,CACjD,CACF,CAAC;IAEF;;;OAGG;IACH,2BAA2B,CACzB,eAAe,EAAE,gCAAgC,EACjD,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,oBAAoB,EAAE,OAAO,yCAAyC,CAAC,CAAC,CAAC;IAElH,0BAA0B,CACxB,MAAM,EAAE,+BAA+B,EACvC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,oBAAoB,EAAE,OAAO,yCAAyC,CAAC,CAAC,CAAC;IAElH;;;OAGG;IACH,qBAAqB,CACnB,KAAK,EAAE,0BAA0B,EACjC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,oBAAoB,EAAE,OAAO,yCAAyC,CAAC,CAAC,CAAC;IAElH;;;OAGG;IACH,4BAA4B,CAC1B,KAAK,EAAE,iCAAiC,EACxC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,uBAAuB,EAAE,OAAO,yCAAyC,CAAC,CAAC,CAAC;IAErH,oCAAoC,CAClC,KAAK,EAAE,yCAAyC,EAChD,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,uBAAuB,EAAE,OAAO,yCAAyC,CAAC,CAAC,CAAC;IAErH,mCAAmC,CACjC,KAAK,EAAE,wCAAwC,EAC/C,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,uBAAuB,EAAE,OAAO,yCAAyC,CAAC,CAAC,CAAC;IAErH,uBAAuB,CACrB,KAAK,EAAE,4BAA4B,EACnC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,uBAAuB,EAAE,OAAO,yCAAyC,CAAC,CAAC,CAAC;IAErH,+BAA+B,CAC7B,KAAK,EAAE,oCAAoC,EAC3C,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,uBAAuB,EAAE,OAAO,yCAAyC,CAAC,CAAC,CAAC;IAErH;;;OAGG;IACH,wBAAwB,CACtB,KAAK,EAAE,6BAA6B,EACpC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,uBAAuB,EAAE,OAAO,yCAAyC,CAAC,CAAC,CAAC;IAErH,4BAA4B,CAC1B,KAAK,EAAE,iCAAiC,EACxC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,4BAA4B,EAAE,OAAO,yCAAyC,CAAC,CAC9G,CAAC;IAEF,uCAAuC,CACrC,KAAK,EAAE,4CAA4C,EACnD,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,4BAA4B,EAAE,OAAO,yCAAyC,CAAC,CAC9G,CAAC;IAEF,+BAA+B,CAC7B,KAAK,EAAE,oCAAoC,EAC3C,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,4BAA4B,EAAE,OAAO,yCAAyC,CAAC,CAC9G,CAAC;IAEF,6BAA6B,CAC3B,KAAK,EAAE,kCAAkC,EACzC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,4BAA4B,EAAE,OAAO,yCAAyC,CAAC,CAC9G,CAAC;IAEF;;;OAGG;IACH,kBAAkB,CAChB,KAAK,EAAE,uBAAuB,EAC9B,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,sBAAsB,EAAE,OAAO,6BAA6B,CAAC,CAAC,CAAC;IAExG;;;OAGG;IACH,WAAW,CACT,MAAM,EAAE,gBAAgB,EACxB,0BAA0B,CAAC,EAAE,OAAO,EAAE,sDAAsD;IAC5F,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,uBAAuB,CAAC,OAAO,oCAAoC,CAAC,CAAC,CAAC;CAClF;AAED,MAAM,MAAM,0BAA0B,GAAG;IAEvC,KAAK,EAAE,OAAO,CAAC;IAEf,UAAU,EAAE,MAAM,CAAC;IAEnB,eAAe,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF;;GAEG;AACH,MAAM,WAAW,6BAA6B;IAC5C;;;;OAIG;IACH,WAAW,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,0BAA0B,CAAC,CAAC;IAEzD;;OAEG;IACH,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CACvB"}
|
|
@@ -1,22 +1,19 @@
|
|
|
1
|
-
import { PRIVATE_LOG_CIPHERTEXT_LEN, PUBLIC_LOG_PLAINTEXT_LEN } from '@aztec/constants';
|
|
2
1
|
import { Fr } from '@aztec/foundation/fields';
|
|
3
2
|
import { TxHash } from '@aztec/stdlib/tx';
|
|
4
|
-
declare class
|
|
3
|
+
export declare class PublicLogWithTxData {
|
|
5
4
|
logPayload: Fr[];
|
|
6
5
|
txHash: TxHash;
|
|
7
6
|
uniqueNoteHashesInTx: Fr[];
|
|
8
7
|
firstNullifierInTx: Fr;
|
|
9
|
-
|
|
10
|
-
constructor(logPayload: Fr[], txHash: TxHash, uniqueNoteHashesInTx: Fr[], firstNullifierInTx: Fr, maxLogContentLength: N);
|
|
11
|
-
toNoirSerialization(): (Fr | Fr[])[];
|
|
12
|
-
}
|
|
13
|
-
export declare class PublicLogWithTxData extends LogWithTxData<typeof PUBLIC_LOG_PLAINTEXT_LEN> {
|
|
14
|
-
constructor(logContent: Fr[], txHash: TxHash, uniqueNoteHashesInTx: Fr[], firstNullifierInTx: Fr);
|
|
15
|
-
static noirSerializationOfEmpty(): (Fr | Fr[])[];
|
|
8
|
+
constructor(logPayload: Fr[], txHash: TxHash, uniqueNoteHashesInTx: Fr[], firstNullifierInTx: Fr);
|
|
16
9
|
}
|
|
17
|
-
export declare class PrivateLogWithTxData
|
|
18
|
-
|
|
10
|
+
export declare class PrivateLogWithTxData {
|
|
11
|
+
logPayload: Fr[];
|
|
12
|
+
txHash: TxHash;
|
|
13
|
+
uniqueNoteHashesInTx: Fr[];
|
|
14
|
+
firstNullifierInTx: Fr;
|
|
15
|
+
constructor(logPayload: Fr[], txHash: TxHash, uniqueNoteHashesInTx: Fr[], firstNullifierInTx: Fr);
|
|
16
|
+
toNoirSerialization(): (Fr | Fr[])[];
|
|
19
17
|
static noirSerializationOfEmpty(): (Fr | Fr[])[];
|
|
20
18
|
}
|
|
21
|
-
export {};
|
|
22
19
|
//# sourceMappingURL=log_with_tx_data.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"log_with_tx_data.d.ts","sourceRoot":"","sources":["../../src/logs/log_with_tx_data.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"log_with_tx_data.d.ts","sourceRoot":"","sources":["../../src/logs/log_with_tx_data.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAG1C,qBAAa,mBAAmB;IAErB,UAAU,EAAE,EAAE,EAAE;IAChB,MAAM,EAAE,MAAM;IACd,oBAAoB,EAAE,EAAE,EAAE;IAC1B,kBAAkB,EAAE,EAAE;gBAHtB,UAAU,EAAE,EAAE,EAAE,EAChB,MAAM,EAAE,MAAM,EACd,oBAAoB,EAAE,EAAE,EAAE,EAC1B,kBAAkB,EAAE,EAAE;CAEhC;AAGD,qBAAa,oBAAoB;IAEtB,UAAU,EAAE,EAAE,EAAE;IAChB,MAAM,EAAE,MAAM;IACd,oBAAoB,EAAE,EAAE,EAAE;IAC1B,kBAAkB,EAAE,EAAE;gBAHtB,UAAU,EAAE,EAAE,EAAE,EAChB,MAAM,EAAE,MAAM,EACd,oBAAoB,EAAE,EAAE,EAAE,EAC1B,kBAAkB,EAAE,EAAE;IAG/B,mBAAmB,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE;IASpC,MAAM,CAAC,wBAAwB,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE;CAGjD"}
|
|
@@ -1,44 +1,39 @@
|
|
|
1
|
-
import { MAX_NOTE_HASHES_PER_TX, PRIVATE_LOG_CIPHERTEXT_LEN
|
|
1
|
+
import { MAX_NOTE_HASHES_PER_TX, PRIVATE_LOG_CIPHERTEXT_LEN } from '@aztec/constants';
|
|
2
2
|
import { Fr } from '@aztec/foundation/fields';
|
|
3
3
|
import { TxHash } from '@aztec/stdlib/tx';
|
|
4
|
-
//
|
|
5
|
-
|
|
6
|
-
|
|
4
|
+
// This is used as a response for PXE's custom getPublicLogByTag oracle.
|
|
5
|
+
export class PublicLogWithTxData {
|
|
6
|
+
logPayload;
|
|
7
|
+
txHash;
|
|
8
|
+
uniqueNoteHashesInTx;
|
|
9
|
+
firstNullifierInTx;
|
|
10
|
+
constructor(logPayload, txHash, uniqueNoteHashesInTx, firstNullifierInTx){
|
|
11
|
+
this.logPayload = logPayload;
|
|
12
|
+
this.txHash = txHash;
|
|
13
|
+
this.uniqueNoteHashesInTx = uniqueNoteHashesInTx;
|
|
14
|
+
this.firstNullifierInTx = firstNullifierInTx;
|
|
15
|
+
}
|
|
16
|
+
}
|
|
17
|
+
// This is used as a response for PXE's custom getPrivateLogByTag oracle.
|
|
18
|
+
export class PrivateLogWithTxData {
|
|
7
19
|
logPayload;
|
|
8
20
|
txHash;
|
|
9
21
|
uniqueNoteHashesInTx;
|
|
10
22
|
firstNullifierInTx;
|
|
11
|
-
|
|
12
|
-
constructor(logPayload, txHash, uniqueNoteHashesInTx, firstNullifierInTx, maxLogContentLength){
|
|
23
|
+
constructor(logPayload, txHash, uniqueNoteHashesInTx, firstNullifierInTx){
|
|
13
24
|
this.logPayload = logPayload;
|
|
14
25
|
this.txHash = txHash;
|
|
15
26
|
this.uniqueNoteHashesInTx = uniqueNoteHashesInTx;
|
|
16
27
|
this.firstNullifierInTx = firstNullifierInTx;
|
|
17
|
-
this.maxLogContentLength = maxLogContentLength;
|
|
18
28
|
}
|
|
19
29
|
toNoirSerialization() {
|
|
20
30
|
return [
|
|
21
|
-
...toBoundedVecSerialization(this.logPayload,
|
|
31
|
+
...toBoundedVecSerialization(this.logPayload, PRIVATE_LOG_CIPHERTEXT_LEN),
|
|
22
32
|
this.txHash.hash,
|
|
23
33
|
...toBoundedVecSerialization(this.uniqueNoteHashesInTx, MAX_NOTE_HASHES_PER_TX),
|
|
24
34
|
this.firstNullifierInTx
|
|
25
35
|
];
|
|
26
36
|
}
|
|
27
|
-
}
|
|
28
|
-
// This is used as a response for PXE's custom getPublicLogByTag oracle.
|
|
29
|
-
export class PublicLogWithTxData extends LogWithTxData {
|
|
30
|
-
constructor(logContent, txHash, uniqueNoteHashesInTx, firstNullifierInTx){
|
|
31
|
-
super(logContent, txHash, uniqueNoteHashesInTx, firstNullifierInTx, PUBLIC_LOG_PLAINTEXT_LEN);
|
|
32
|
-
}
|
|
33
|
-
static noirSerializationOfEmpty() {
|
|
34
|
-
return new PublicLogWithTxData([], TxHash.zero(), [], new Fr(0)).toNoirSerialization();
|
|
35
|
-
}
|
|
36
|
-
}
|
|
37
|
-
// This is used as a response for PXE's custom getPrivateLogByTag oracle.
|
|
38
|
-
export class PrivateLogWithTxData extends LogWithTxData {
|
|
39
|
-
constructor(logContent, txHash, uniqueNoteHashesInTx, firstNullifierInTx){
|
|
40
|
-
super(logContent, txHash, uniqueNoteHashesInTx, firstNullifierInTx, PRIVATE_LOG_CIPHERTEXT_LEN);
|
|
41
|
-
}
|
|
42
37
|
static noirSerializationOfEmpty() {
|
|
43
38
|
return new PrivateLogWithTxData([], TxHash.zero(), [], new Fr(0)).toNoirSerialization();
|
|
44
39
|
}
|
|
@@ -1,24 +1,37 @@
|
|
|
1
|
-
import {
|
|
2
|
-
import { type FieldsOf } from '@aztec/foundation/array';
|
|
1
|
+
import type { FieldsOf } from '@aztec/foundation/array';
|
|
3
2
|
import { Fr } from '@aztec/foundation/fields';
|
|
4
3
|
import { type ZodFor } from '@aztec/foundation/schemas';
|
|
5
|
-
import { BufferReader, FieldReader
|
|
4
|
+
import { BufferReader, FieldReader } from '@aztec/foundation/serialize';
|
|
6
5
|
import { inspect } from 'util';
|
|
7
6
|
import { AztecAddress } from '../aztec-address/index.js';
|
|
7
|
+
export declare class FlatPublicLogs {
|
|
8
|
+
length: number;
|
|
9
|
+
payload: Fr[];
|
|
10
|
+
constructor(length: number, payload: Fr[]);
|
|
11
|
+
private static fromUnpaddedPayload;
|
|
12
|
+
static fromBlobFields(length: number, fields: Fr[] | FieldReader): FlatPublicLogs;
|
|
13
|
+
toBlobFields(): Fr[];
|
|
14
|
+
static fromLogs(logs: PublicLog[]): FlatPublicLogs;
|
|
15
|
+
toLogs(): PublicLog[];
|
|
16
|
+
static get schema(): ZodFor<FlatPublicLogs>;
|
|
17
|
+
toBuffer(): Buffer;
|
|
18
|
+
static fromBuffer(buffer: Buffer | BufferReader): FlatPublicLogs;
|
|
19
|
+
toFields(): Fr[];
|
|
20
|
+
static fromFields(fields: Fr[] | FieldReader): FlatPublicLogs;
|
|
21
|
+
static empty(): FlatPublicLogs;
|
|
22
|
+
isEmpty(): boolean;
|
|
23
|
+
}
|
|
8
24
|
export declare class PublicLog {
|
|
9
25
|
contractAddress: AztecAddress;
|
|
10
|
-
fields:
|
|
11
|
-
|
|
12
|
-
static SIZE_IN_BYTES: number;
|
|
13
|
-
constructor(contractAddress: AztecAddress, fields: Tuple<Fr, typeof PUBLIC_LOG_SIZE_IN_FIELDS>, emittedLength: number);
|
|
26
|
+
fields: Fr[];
|
|
27
|
+
constructor(contractAddress: AztecAddress, fields: Fr[]);
|
|
14
28
|
static from(fields: FieldsOf<PublicLog>): PublicLog;
|
|
15
|
-
static getFields(fields: FieldsOf<PublicLog>): readonly [AztecAddress, [
|
|
29
|
+
static getFields(fields: FieldsOf<PublicLog>): readonly [AztecAddress, Fr[]];
|
|
16
30
|
toFields(): Fr[];
|
|
17
31
|
static fromFields(fields: Fr[] | FieldReader): PublicLog;
|
|
32
|
+
sizeInFields(): number;
|
|
18
33
|
getEmittedFields(): Fr[];
|
|
19
34
|
getEmittedFieldsWithoutTag(): Fr[];
|
|
20
|
-
toBlobFields(): Fr[];
|
|
21
|
-
static fromBlobFields(fields: Fr[] | FieldReader): PublicLog;
|
|
22
35
|
isEmpty(): boolean;
|
|
23
36
|
static empty(): PublicLog;
|
|
24
37
|
toBuffer(): Buffer;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"public_log.d.ts","sourceRoot":"","sources":["../../src/logs/public_log.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"public_log.d.ts","sourceRoot":"","sources":["../../src/logs/public_log.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AACxD,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,2BAA2B,CAAC;AACjE,OAAO,EAAE,YAAY,EAAE,WAAW,EAAqB,MAAM,6BAA6B,CAAC;AAE3F,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAG/B,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAOzD,qBAAa,cAAc;IAGhB,MAAM,EAAE,MAAM;IACd,OAAO,EAAE,EAAE,EAAE;gBADb,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,EAAE,EAAE;IAUtB,OAAO,CAAC,MAAM,CAAC,mBAAmB;IAMlC,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAMhE,YAAY;IAIZ,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,EAAE;IAIjC,MAAM;IAYN,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,cAAc,CAAC,CAO1C;IAED,QAAQ,IAAI,MAAM;IAIlB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAO/C,QAAQ,IAAI,EAAE,EAAE;IAIhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAW5C,MAAM,CAAC,KAAK;IAIZ,OAAO;CAGR;AAED,qBAAa,SAAS;IAEX,eAAe,EAAE,YAAY;IAC7B,MAAM,EAAE,EAAE,EAAE;gBADZ,eAAe,EAAE,YAAY,EAC7B,MAAM,EAAE,EAAE,EAAE;IAGrB,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,SAAS,CAAC;IAIvC,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,SAAS,CAAC;IAI5C,QAAQ,IAAI,EAAE,EAAE;IAIhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAM5C,YAAY;IAIZ,gBAAgB;IAIhB,0BAA0B;IAI1B,OAAO;IAIP,MAAM,CAAC,KAAK;IAIZ,QAAQ,IAAI,MAAM;IAIlB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;WAMlC,MAAM;IAOnB,MAAM,CAAC,KAAK,EAAE,IAAI;IAQlB,eAAe,IAAI,MAAM;IAIzB,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,SAAS,CAAC,CAOrC;IAED,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM;CAM3B"}
|
package/dest/logs/public_log.js
CHANGED
|
@@ -1,21 +1,102 @@
|
|
|
1
|
-
import {
|
|
2
|
-
import { makeTuple } from '@aztec/foundation/array';
|
|
3
|
-
import { padArrayEnd } from '@aztec/foundation/collection';
|
|
1
|
+
import { FLAT_PUBLIC_LOGS_PAYLOAD_LENGTH, PUBLIC_LOG_HEADER_LENGTH } from '@aztec/constants';
|
|
4
2
|
import { Fr } from '@aztec/foundation/fields';
|
|
5
3
|
import { schemas } from '@aztec/foundation/schemas';
|
|
6
|
-
import { BufferReader, FieldReader, serializeToBuffer
|
|
4
|
+
import { BufferReader, FieldReader, serializeToBuffer } from '@aztec/foundation/serialize';
|
|
7
5
|
import { inspect } from 'util';
|
|
8
6
|
import { z } from 'zod';
|
|
9
7
|
import { AztecAddress } from '../aztec-address/index.js';
|
|
8
|
+
function totalSizeInFields(logs) {
|
|
9
|
+
return logs.reduce((acc, log)=>acc + log.sizeInFields(), 0);
|
|
10
|
+
}
|
|
11
|
+
// This class represents logs in the same format as noir does, with a bounded maximum length.
|
|
12
|
+
export class FlatPublicLogs {
|
|
13
|
+
length;
|
|
14
|
+
payload;
|
|
15
|
+
// We don't use tuple here because FLAT_PUBLIC_LOGS_PAYLOAD_LENGTH is too large
|
|
16
|
+
constructor(length, payload){
|
|
17
|
+
this.length = length;
|
|
18
|
+
this.payload = payload;
|
|
19
|
+
if (payload.length !== FLAT_PUBLIC_LOGS_PAYLOAD_LENGTH) {
|
|
20
|
+
throw new Error('Invalid payload given to FlatPublicLogs');
|
|
21
|
+
}
|
|
22
|
+
if (length > payload.length) {
|
|
23
|
+
throw new Error('Invalid length given to FlatPublicLogs');
|
|
24
|
+
}
|
|
25
|
+
}
|
|
26
|
+
static fromUnpaddedPayload(payload) {
|
|
27
|
+
const length = payload.length;
|
|
28
|
+
return new FlatPublicLogs(length, [
|
|
29
|
+
...payload,
|
|
30
|
+
...Array(FLAT_PUBLIC_LOGS_PAYLOAD_LENGTH - length).fill(Fr.ZERO)
|
|
31
|
+
]);
|
|
32
|
+
}
|
|
33
|
+
// In blobs, the actual nonempty length of the logs is encoded with the prefix, and then we have the non-padded payload.
|
|
34
|
+
static fromBlobFields(length, fields) {
|
|
35
|
+
const reader = FieldReader.asReader(fields);
|
|
36
|
+
const payload = reader.readFieldArray(length);
|
|
37
|
+
return this.fromUnpaddedPayload(payload);
|
|
38
|
+
}
|
|
39
|
+
toBlobFields() {
|
|
40
|
+
return this.payload.slice(0, this.length);
|
|
41
|
+
}
|
|
42
|
+
static fromLogs(logs) {
|
|
43
|
+
return this.fromUnpaddedPayload(logs.flatMap((log)=>log.toFields()));
|
|
44
|
+
}
|
|
45
|
+
toLogs() {
|
|
46
|
+
const reader = FieldReader.asReader(this.payload);
|
|
47
|
+
const logs = [];
|
|
48
|
+
while(totalSizeInFields(logs) < this.length){
|
|
49
|
+
logs.push(PublicLog.fromFields(reader));
|
|
50
|
+
}
|
|
51
|
+
if (totalSizeInFields(logs) !== this.length) {
|
|
52
|
+
throw new Error('Wrong length in FlatPublicLogs');
|
|
53
|
+
}
|
|
54
|
+
return logs;
|
|
55
|
+
}
|
|
56
|
+
static get schema() {
|
|
57
|
+
return z.object({
|
|
58
|
+
length: z.number(),
|
|
59
|
+
payload: z.array(schemas.Fr).min(FLAT_PUBLIC_LOGS_PAYLOAD_LENGTH).max(FLAT_PUBLIC_LOGS_PAYLOAD_LENGTH)
|
|
60
|
+
}).transform(({ length, payload })=>new FlatPublicLogs(length, payload));
|
|
61
|
+
}
|
|
62
|
+
toBuffer() {
|
|
63
|
+
return serializeToBuffer(this.length, this.payload.slice(0, this.length));
|
|
64
|
+
}
|
|
65
|
+
static fromBuffer(buffer) {
|
|
66
|
+
const reader = BufferReader.asReader(buffer);
|
|
67
|
+
const length = reader.readNumber();
|
|
68
|
+
return this.fromUnpaddedPayload(reader.readArray(length, Fr));
|
|
69
|
+
}
|
|
70
|
+
// ToFields and fromFields expect the noir style representation, with constant length payload.
|
|
71
|
+
toFields() {
|
|
72
|
+
return [
|
|
73
|
+
new Fr(this.length),
|
|
74
|
+
...this.payload
|
|
75
|
+
];
|
|
76
|
+
}
|
|
77
|
+
static fromFields(fields) {
|
|
78
|
+
const reader = FieldReader.asReader(fields);
|
|
79
|
+
// We need to do this because field reader returns tuples, which break the type system on these sizes.
|
|
80
|
+
const length = reader.readU32();
|
|
81
|
+
const payload = [];
|
|
82
|
+
for(let i = 0; i < FLAT_PUBLIC_LOGS_PAYLOAD_LENGTH; ++i){
|
|
83
|
+
payload.push(reader.readField());
|
|
84
|
+
}
|
|
85
|
+
return new FlatPublicLogs(length, payload);
|
|
86
|
+
}
|
|
87
|
+
static empty() {
|
|
88
|
+
return new FlatPublicLogs(0, Array(FLAT_PUBLIC_LOGS_PAYLOAD_LENGTH).fill(Fr.ZERO));
|
|
89
|
+
}
|
|
90
|
+
isEmpty() {
|
|
91
|
+
return this.length === 0;
|
|
92
|
+
}
|
|
93
|
+
}
|
|
10
94
|
export class PublicLog {
|
|
11
95
|
contractAddress;
|
|
12
96
|
fields;
|
|
13
|
-
|
|
14
|
-
static SIZE_IN_BYTES = Fr.SIZE_IN_BYTES * PUBLIC_LOG_LENGTH;
|
|
15
|
-
constructor(contractAddress, fields, emittedLength){
|
|
97
|
+
constructor(contractAddress, fields){
|
|
16
98
|
this.contractAddress = contractAddress;
|
|
17
99
|
this.fields = fields;
|
|
18
|
-
this.emittedLength = emittedLength;
|
|
19
100
|
}
|
|
20
101
|
static from(fields) {
|
|
21
102
|
return new PublicLog(...PublicLog.getFields(fields));
|
|
@@ -23,74 +104,68 @@ export class PublicLog {
|
|
|
23
104
|
static getFields(fields) {
|
|
24
105
|
return [
|
|
25
106
|
fields.contractAddress,
|
|
26
|
-
fields.fields
|
|
27
|
-
fields.emittedLength
|
|
107
|
+
fields.fields
|
|
28
108
|
];
|
|
29
109
|
}
|
|
30
110
|
toFields() {
|
|
31
|
-
return
|
|
111
|
+
return [
|
|
112
|
+
new Fr(this.fields.length),
|
|
113
|
+
this.contractAddress.toField(),
|
|
114
|
+
...this.fields
|
|
115
|
+
];
|
|
32
116
|
}
|
|
33
117
|
static fromFields(fields) {
|
|
34
118
|
const reader = FieldReader.asReader(fields);
|
|
35
|
-
|
|
119
|
+
const fieldsLength = reader.readU32();
|
|
120
|
+
return new PublicLog(reader.readObject(AztecAddress), reader.readFieldArray(fieldsLength));
|
|
121
|
+
}
|
|
122
|
+
sizeInFields() {
|
|
123
|
+
return this.fields.length + PUBLIC_LOG_HEADER_LENGTH;
|
|
36
124
|
}
|
|
37
125
|
getEmittedFields() {
|
|
38
|
-
return this.fields.slice(0
|
|
126
|
+
return this.fields.slice(0);
|
|
39
127
|
}
|
|
40
128
|
getEmittedFieldsWithoutTag() {
|
|
41
|
-
return this.fields.slice(1
|
|
42
|
-
}
|
|
43
|
-
toBlobFields() {
|
|
44
|
-
return [
|
|
45
|
-
new Fr(this.emittedLength),
|
|
46
|
-
this.contractAddress.toField()
|
|
47
|
-
].concat(this.getEmittedFields());
|
|
48
|
-
}
|
|
49
|
-
static fromBlobFields(fields) {
|
|
50
|
-
const reader = FieldReader.asReader(fields);
|
|
51
|
-
const emittedLength = reader.readU32();
|
|
52
|
-
const contractAddress = reader.readObject(AztecAddress);
|
|
53
|
-
const emittedFields = reader.readFieldArray(emittedLength);
|
|
54
|
-
return new PublicLog(contractAddress, padArrayEnd(emittedFields, Fr.ZERO, PUBLIC_LOG_SIZE_IN_FIELDS), emittedLength);
|
|
129
|
+
return this.fields.slice(1);
|
|
55
130
|
}
|
|
56
131
|
isEmpty() {
|
|
57
|
-
return this.contractAddress.isZero() && this.fields.
|
|
132
|
+
return this.contractAddress.isZero() && this.fields.length === 0;
|
|
58
133
|
}
|
|
59
134
|
static empty() {
|
|
60
|
-
return new PublicLog(AztecAddress.ZERO,
|
|
135
|
+
return new PublicLog(AztecAddress.ZERO, []);
|
|
61
136
|
}
|
|
62
137
|
toBuffer() {
|
|
63
|
-
return serializeToBuffer(
|
|
138
|
+
return serializeToBuffer(this.fields.length, this.contractAddress, this.fields);
|
|
64
139
|
}
|
|
65
140
|
static fromBuffer(buffer) {
|
|
66
141
|
const reader = BufferReader.asReader(buffer);
|
|
67
|
-
|
|
142
|
+
const fieldsLength = reader.readNumber();
|
|
143
|
+
return new PublicLog(reader.readObject(AztecAddress), reader.readArray(fieldsLength, Fr));
|
|
68
144
|
}
|
|
69
145
|
static async random() {
|
|
70
|
-
return new PublicLog(await AztecAddress.random(),
|
|
146
|
+
return new PublicLog(await AztecAddress.random(), Array.from({
|
|
147
|
+
length: 10
|
|
148
|
+
}, ()=>Fr.random()));
|
|
71
149
|
}
|
|
72
150
|
equals(other) {
|
|
73
|
-
return this.contractAddress.equals(other.contractAddress) && this.fields.every((field, i)=>field.equals(other.fields[i]))
|
|
151
|
+
return this.fields.length === other.fields.length && this.contractAddress.equals(other.contractAddress) && this.fields.every((field, i)=>field.equals(other.fields[i]));
|
|
74
152
|
}
|
|
75
153
|
toHumanReadable() {
|
|
76
|
-
return `PublicLog: (contractAddress: ${this.contractAddress} fields: ${this.fields})
|
|
154
|
+
return `PublicLog: (contractAddress: ${this.contractAddress} fields: ${this.fields})`;
|
|
77
155
|
}
|
|
78
156
|
static get schema() {
|
|
79
157
|
return z.object({
|
|
80
158
|
contractAddress: AztecAddress.schema,
|
|
81
|
-
fields: z.array(schemas.Fr)
|
|
82
|
-
|
|
83
|
-
|
|
84
|
-
|
|
85
|
-
|
|
86
|
-
new Fr(emittedLength)
|
|
87
|
-
]));
|
|
159
|
+
fields: z.array(schemas.Fr)
|
|
160
|
+
}).transform(({ contractAddress, fields })=>PublicLog.from({
|
|
161
|
+
contractAddress,
|
|
162
|
+
fields
|
|
163
|
+
}));
|
|
88
164
|
}
|
|
89
165
|
[inspect.custom]() {
|
|
90
166
|
return `PublicLog {
|
|
91
167
|
contractAddress: ${inspect(this.contractAddress)},
|
|
92
168
|
fields: [${this.fields.map((x)=>inspect(x)).join(', ')}],
|
|
93
|
-
emittedLength: ${this.emittedLength},
|
|
94
169
|
}`;
|
|
95
170
|
}
|
|
96
171
|
}
|
package/dest/parity/index.d.ts
CHANGED
|
@@ -1,5 +1,4 @@
|
|
|
1
|
-
export * from './
|
|
1
|
+
export * from './parity_base_private_inputs.js';
|
|
2
2
|
export * from './parity_public_inputs.js';
|
|
3
|
-
export * from './
|
|
4
|
-
export * from './root_parity_inputs.js';
|
|
3
|
+
export * from './parity_root_private_inputs.js';
|
|
5
4
|
//# sourceMappingURL=index.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/parity/index.ts"],"names":[],"mappings":"AAAA,cAAc,
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/parity/index.ts"],"names":[],"mappings":"AAAA,cAAc,iCAAiC,CAAC;AAChD,cAAc,2BAA2B,CAAC;AAC1C,cAAc,iCAAiC,CAAC"}
|
package/dest/parity/index.js
CHANGED
|
@@ -1,4 +1,3 @@
|
|
|
1
|
-
export * from './
|
|
1
|
+
export * from './parity_base_private_inputs.js';
|
|
2
2
|
export * from './parity_public_inputs.js';
|
|
3
|
-
export * from './
|
|
4
|
-
export * from './root_parity_inputs.js';
|
|
3
|
+
export * from './parity_root_private_inputs.js';
|
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
import { type NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP, NUM_MSGS_PER_BASE_PARITY } from '@aztec/constants';
|
|
2
2
|
import { Fr } from '@aztec/foundation/fields';
|
|
3
3
|
import { BufferReader, type Tuple } from '@aztec/foundation/serialize';
|
|
4
|
-
export declare class
|
|
4
|
+
export declare class ParityBasePrivateInputs {
|
|
5
5
|
/** Aggregated proof of all the parity circuit iterations. */
|
|
6
6
|
readonly msgs: Tuple<Fr, typeof NUM_MSGS_PER_BASE_PARITY>;
|
|
7
7
|
/** Root of the VK tree */
|
|
@@ -11,7 +11,7 @@ export declare class BaseParityInputs {
|
|
|
11
11
|
msgs: Tuple<Fr, typeof NUM_MSGS_PER_BASE_PARITY>,
|
|
12
12
|
/** Root of the VK tree */
|
|
13
13
|
vkTreeRoot: Fr);
|
|
14
|
-
static fromSlice(array: Tuple<Fr, typeof NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP>, index: number, vkTreeRoot: Fr):
|
|
14
|
+
static fromSlice(array: Tuple<Fr, typeof NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP>, index: number, vkTreeRoot: Fr): ParityBasePrivateInputs;
|
|
15
15
|
/** Serializes the inputs to a buffer. */
|
|
16
16
|
toBuffer(): Buffer<ArrayBufferLike>;
|
|
17
17
|
/** Serializes the inputs to a hex string. */
|
|
@@ -20,16 +20,16 @@ export declare class BaseParityInputs {
|
|
|
20
20
|
* Deserializes the inputs from a buffer.
|
|
21
21
|
* @param buffer - The buffer to deserialize from.
|
|
22
22
|
*/
|
|
23
|
-
static fromBuffer(buffer: Buffer | BufferReader):
|
|
23
|
+
static fromBuffer(buffer: Buffer | BufferReader): ParityBasePrivateInputs;
|
|
24
24
|
/**
|
|
25
25
|
* Deserializes the inputs from a hex string.
|
|
26
26
|
* @param str - The hex string to deserialize from.
|
|
27
27
|
* @returns - The deserialized inputs.
|
|
28
28
|
*/
|
|
29
|
-
static fromString(str: string):
|
|
29
|
+
static fromString(str: string): ParityBasePrivateInputs;
|
|
30
30
|
/** Returns a buffer representation for JSON serialization. */
|
|
31
31
|
toJSON(): Buffer<ArrayBufferLike>;
|
|
32
32
|
/** Creates an instance from a hex string. */
|
|
33
|
-
static get schema(): import("zod").ZodType<
|
|
33
|
+
static get schema(): import("zod").ZodType<ParityBasePrivateInputs, any, string>;
|
|
34
34
|
}
|
|
35
|
-
//# sourceMappingURL=
|
|
35
|
+
//# sourceMappingURL=parity_base_private_inputs.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"parity_base_private_inputs.d.ts","sourceRoot":"","sources":["../../src/parity/parity_base_private_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,mCAAmC,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AACtG,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAG1F,qBAAa,uBAAuB;IAEhC,6DAA6D;aAC7C,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wBAAwB,CAAC;IAChE,0BAA0B;aACV,UAAU,EAAE,EAAE;;IAH9B,6DAA6D;IAC7C,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wBAAwB,CAAC;IAChE,0BAA0B;IACV,UAAU,EAAE,EAAE;WAGlB,SAAS,CACrB,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,mCAAmC,CAAC,EAC5D,KAAK,EAAE,MAAM,EACb,UAAU,EAAE,EAAE,GACb,uBAAuB;IAO1B,yCAAyC;IACzC,QAAQ;IAIR,6CAA6C;IAC7C,QAAQ;IAIR;;;OAGG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAK/C;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,8DAA8D;IAC9D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,gEAEhB;CACF"}
|