@aztec/noir-protocol-circuits-types 0.77.0-testnet-ignition.28 → 0.77.0-testnet-ignition.30
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/artifacts/client/bundle.d.ts +11 -0
- package/dest/artifacts/client/bundle.d.ts.map +1 -0
- package/dest/artifacts/client/lazy.d.ts +9 -0
- package/dest/artifacts/client/lazy.d.ts.map +1 -0
- package/dest/artifacts/server.d.ts +5 -0
- package/dest/artifacts/server.d.ts.map +1 -0
- package/dest/artifacts/types.d.ts +12 -0
- package/dest/artifacts/types.d.ts.map +1 -0
- package/dest/artifacts/vks/client.d.ts +4 -0
- package/dest/artifacts/vks/client.d.ts.map +1 -0
- package/dest/artifacts/vks/server.d.ts +6 -0
- package/dest/artifacts/vks/server.d.ts.map +1 -0
- package/dest/artifacts/vks/tree.d.ts +8 -0
- package/dest/artifacts/vks/tree.d.ts.map +1 -0
- package/dest/client_artifacts_helper.d.ts +7 -0
- package/dest/client_artifacts_helper.d.ts.map +1 -0
- package/dest/conversion/client.d.ts +84 -0
- package/dest/conversion/client.d.ts.map +1 -0
- package/dest/conversion/common.d.ts +283 -0
- package/dest/conversion/common.d.ts.map +1 -0
- package/dest/conversion/server.d.ts +213 -0
- package/dest/conversion/server.d.ts.map +1 -0
- package/dest/entrypoint/client/bundle.d.ts +2 -0
- package/dest/entrypoint/client/bundle.d.ts.map +1 -0
- package/dest/entrypoint/client/common.d.ts +6 -0
- package/dest/entrypoint/client/common.d.ts.map +1 -0
- package/dest/entrypoint/client/lazy.d.ts +2 -0
- package/dest/entrypoint/client/lazy.d.ts.map +1 -0
- package/dest/entrypoint/server/artifacts.d.ts +5 -0
- package/dest/entrypoint/server/artifacts.d.ts.map +1 -0
- package/dest/entrypoint/server/vks.d.ts +6 -0
- package/dest/entrypoint/server/vks.d.ts.map +1 -0
- package/dest/entrypoint/vk-tree.d.ts +2 -0
- package/dest/entrypoint/vk-tree.d.ts.map +1 -0
- package/dest/execution/client.d.ts +64 -0
- package/dest/execution/client.d.ts.map +1 -0
- package/dest/execution/server.d.ts +132 -0
- package/dest/execution/server.d.ts.map +1 -0
- package/dest/private_kernel_reset_data.d.ts +5 -0
- package/dest/private_kernel_reset_data.d.ts.map +1 -0
- package/dest/private_kernel_reset_types.d.ts +49 -0
- package/dest/private_kernel_reset_types.d.ts.map +1 -0
- package/dest/private_kernel_reset_vks.d.ts +5 -0
- package/dest/private_kernel_reset_vks.d.ts.map +1 -0
- package/dest/types/index.d.ts +759 -0
- package/dest/types/index.d.ts.map +1 -0
- package/dest/utils/client/foreign_call_handler.d.ts +3 -0
- package/dest/utils/client/foreign_call_handler.d.ts.map +1 -0
- package/dest/utils/decoded_inputs.d.ts +14 -0
- package/dest/utils/decoded_inputs.d.ts.map +1 -0
- package/dest/utils/private_kernel_reset.d.ts +10 -0
- package/dest/utils/private_kernel_reset.d.ts.map +1 -0
- package/dest/utils/server/foreign_call_handler.d.ts +3 -0
- package/dest/utils/server/foreign_call_handler.d.ts.map +1 -0
- package/dest/utils/vk_json.d.ts +9 -0
- package/dest/utils/vk_json.d.ts.map +1 -0
- package/dest/vk_tree.d.ts +3 -0
- package/dest/vk_tree.d.ts.map +1 -0
- package/package.json +11 -11
|
@@ -0,0 +1,11 @@
|
|
|
1
|
+
import type { NoirCompiledCircuit } from '@aztec/stdlib/noir';
|
|
2
|
+
import type { VerificationKeyData } from '@aztec/stdlib/vks';
|
|
3
|
+
import type { ArtifactProvider, ClientProtocolArtifact } from '../types.js';
|
|
4
|
+
export declare const ClientCircuitArtifacts: Record<ClientProtocolArtifact, NoirCompiledCircuit>;
|
|
5
|
+
export declare const SimulatedClientCircuitArtifacts: Record<ClientProtocolArtifact, NoirCompiledCircuit>;
|
|
6
|
+
export declare class BundleArtifactProvider implements ArtifactProvider {
|
|
7
|
+
getClientCircuitArtifactByName(artifact: ClientProtocolArtifact): Promise<NoirCompiledCircuit>;
|
|
8
|
+
getSimulatedClientCircuitArtifactByName(artifact: ClientProtocolArtifact): Promise<NoirCompiledCircuit>;
|
|
9
|
+
getCircuitVkByName(artifact: ClientProtocolArtifact): Promise<VerificationKeyData>;
|
|
10
|
+
}
|
|
11
|
+
//# sourceMappingURL=bundle.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"bundle.d.ts","sourceRoot":"","sources":["../../../src/artifacts/client/bundle.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAC9D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAW7D,OAAO,KAAK,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAC;AAG5E,eAAO,MAAM,sBAAsB,EAAE,MAAM,CAAC,sBAAsB,EAAE,mBAAmB,CAMtF,CAAC;AAEF,eAAO,MAAM,+BAA+B,EAAE,MAAM,CAAC,sBAAsB,EAAE,mBAAmB,CAM/F,CAAC;AAEF,qBAAa,sBAAuB,YAAW,gBAAgB;IAC7D,8BAA8B,CAAC,QAAQ,EAAE,sBAAsB,GAAG,OAAO,CAAC,mBAAmB,CAAC;IAI9F,uCAAuC,CAAC,QAAQ,EAAE,sBAAsB,GAAG,OAAO,CAAC,mBAAmB,CAAC;IAIvG,kBAAkB,CAAC,QAAQ,EAAE,sBAAsB,GAAG,OAAO,CAAC,mBAAmB,CAAC;CAGnF"}
|
|
@@ -0,0 +1,9 @@
|
|
|
1
|
+
import type { NoirCompiledCircuit } from '@aztec/stdlib/noir';
|
|
2
|
+
import type { VerificationKeyData } from '@aztec/stdlib/vks';
|
|
3
|
+
import type { ArtifactProvider, ClientProtocolArtifact } from '../types.js';
|
|
4
|
+
export declare class LazyArtifactProvider implements ArtifactProvider {
|
|
5
|
+
getClientCircuitArtifactByName(artifact: ClientProtocolArtifact): Promise<NoirCompiledCircuit>;
|
|
6
|
+
getSimulatedClientCircuitArtifactByName(artifact: ClientProtocolArtifact): Promise<NoirCompiledCircuit>;
|
|
7
|
+
getCircuitVkByName(artifact: ClientProtocolArtifact): Promise<VerificationKeyData>;
|
|
8
|
+
}
|
|
9
|
+
//# sourceMappingURL=lazy.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"lazy.d.ts","sourceRoot":"","sources":["../../../src/artifacts/client/lazy.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAC9D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAO7D,OAAO,KAAK,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAC;AAE5E,qBAAa,oBAAqB,YAAW,gBAAgB;IAC3D,8BAA8B,CAAC,QAAQ,EAAE,sBAAsB,GAAG,OAAO,CAAC,mBAAmB,CAAC;IAI9F,uCAAuC,CAAC,QAAQ,EAAE,sBAAsB,GAAG,OAAO,CAAC,mBAAmB,CAAC;IAIvG,kBAAkB,CAAC,QAAQ,EAAE,sBAAsB,GAAG,OAAO,CAAC,mBAAmB,CAAC;CAGnF"}
|
|
@@ -0,0 +1,5 @@
|
|
|
1
|
+
import type { NoirCompiledCircuit } from '@aztec/stdlib/noir';
|
|
2
|
+
import type { ServerProtocolArtifact } from './types.js';
|
|
3
|
+
export declare const ServerCircuitArtifacts: Record<ServerProtocolArtifact, NoirCompiledCircuit>;
|
|
4
|
+
export declare const SimulatedServerCircuitArtifacts: Record<ServerProtocolArtifact, NoirCompiledCircuit>;
|
|
5
|
+
//# sourceMappingURL=server.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"server.d.ts","sourceRoot":"","sources":["../../src/artifacts/server.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAgB9D,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AAEzD,eAAO,MAAM,sBAAsB,EAAE,MAAM,CAAC,sBAAsB,EAAE,mBAAmB,CAWtF,CAAC;AAEF,eAAO,MAAM,+BAA+B,EAAE,MAAM,CAAC,sBAAsB,EAAE,mBAAmB,CAW/F,CAAC"}
|
|
@@ -0,0 +1,12 @@
|
|
|
1
|
+
import type { NoirCompiledCircuit } from '@aztec/stdlib/noir';
|
|
2
|
+
import type { VerificationKeyData } from '@aztec/stdlib/vks';
|
|
3
|
+
import type { PrivateResetArtifact } from '../private_kernel_reset_types.js';
|
|
4
|
+
export type ClientProtocolArtifact = 'PrivateKernelInitArtifact' | 'PrivateKernelInnerArtifact' | 'PrivateKernelTailArtifact' | 'PrivateKernelTailToPublicArtifact' | PrivateResetArtifact;
|
|
5
|
+
export type ServerProtocolArtifact = 'BaseParityArtifact' | 'RootParityArtifact' | 'PrivateBaseRollupArtifact' | 'PublicBaseRollupArtifact' | 'MergeRollupArtifact' | 'BlockRootRollupArtifact' | 'SingleTxBlockRootRollupArtifact' | 'EmptyBlockRootRollupArtifact' | 'BlockMergeRollupArtifact' | 'RootRollupArtifact';
|
|
6
|
+
export type ProtocolArtifact = ServerProtocolArtifact | ClientProtocolArtifact;
|
|
7
|
+
export interface ArtifactProvider {
|
|
8
|
+
getClientCircuitArtifactByName(artifact: ClientProtocolArtifact): Promise<NoirCompiledCircuit>;
|
|
9
|
+
getSimulatedClientCircuitArtifactByName(artifact: ClientProtocolArtifact): Promise<NoirCompiledCircuit>;
|
|
10
|
+
getCircuitVkByName(artifact: ClientProtocolArtifact): Promise<VerificationKeyData>;
|
|
11
|
+
}
|
|
12
|
+
//# sourceMappingURL=types.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/artifacts/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAC9D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAE7D,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,kCAAkC,CAAC;AAE7E,MAAM,MAAM,sBAAsB,GAC9B,2BAA2B,GAC3B,4BAA4B,GAC5B,2BAA2B,GAC3B,mCAAmC,GACnC,oBAAoB,CAAC;AAGzB,MAAM,MAAM,sBAAsB,GAC9B,oBAAoB,GACpB,oBAAoB,GACpB,2BAA2B,GAC3B,0BAA0B,GAC1B,qBAAqB,GACrB,yBAAyB,GACzB,iCAAiC,GACjC,8BAA8B,GAC9B,0BAA0B,GAC1B,oBAAoB,CAAC;AAEzB,MAAM,MAAM,gBAAgB,GAAG,sBAAsB,GAAG,sBAAsB,CAAC;AAE/E,MAAM,WAAW,gBAAgB;IAC/B,8BAA8B,CAAC,QAAQ,EAAE,sBAAsB,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAAC;IAC/F,uCAAuC,CAAC,QAAQ,EAAE,sBAAsB,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAAC;IACxG,kBAAkB,CAAC,QAAQ,EAAE,sBAAsB,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAAC;CACpF"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"client.d.ts","sourceRoot":"","sources":["../../../src/artifacts/vks/client.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAQ7D,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAC;AAE1D,eAAO,MAAM,gBAAgB,EAAE,MAAM,CAAC,sBAAsB,EAAE,mBAAmB,CAMhF,CAAC"}
|
|
@@ -0,0 +1,6 @@
|
|
|
1
|
+
import { VerificationKeyData } from '@aztec/stdlib/vks';
|
|
2
|
+
import type { ProtocolArtifact, ServerProtocolArtifact } from '../types.js';
|
|
3
|
+
export declare const TubeVk: VerificationKeyData;
|
|
4
|
+
export declare const ServerCircuitVks: Record<ServerProtocolArtifact, VerificationKeyData>;
|
|
5
|
+
export declare const ProtocolCircuitVkIndexes: Record<ProtocolArtifact, number>;
|
|
6
|
+
//# sourceMappingURL=server.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"server.d.ts","sourceRoot":"","sources":["../../../src/artifacts/vks/server.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAexD,OAAO,KAAK,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAC;AAG5E,eAAO,MAAM,MAAM,qBAA8B,CAAC;AAElD,eAAO,MAAM,gBAAgB,EAAE,MAAM,CAAC,sBAAsB,EAAE,mBAAmB,CAWhF,CAAC;AAEF,eAAO,MAAM,wBAAwB,EAAE,MAAM,CAAC,gBAAgB,EAAE,MAAM,CAgBrE,CAAC"}
|
|
@@ -0,0 +1,8 @@
|
|
|
1
|
+
import { Fr } from '@aztec/foundation/fields';
|
|
2
|
+
import type { MerkleTree } from '@aztec/foundation/trees';
|
|
3
|
+
import { VerificationKeyAsFields, VerificationKeyData } from '@aztec/stdlib/vks';
|
|
4
|
+
export declare function getVKTree(): MerkleTree;
|
|
5
|
+
export declare function getVKTreeRoot(): Fr;
|
|
6
|
+
export declare function getVKIndex(vk: VerificationKeyData | VerificationKeyAsFields | Fr): number;
|
|
7
|
+
export declare function getVKSiblingPath(vkIndex: number): [Fr, Fr, Fr, Fr, Fr, Fr];
|
|
8
|
+
//# sourceMappingURL=tree.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"tree.d.ts","sourceRoot":"","sources":["../../../src/artifacts/vks/tree.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,EAAE,uBAAuB,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAIjF,wBAAgB,SAAS,IAAI,UAAU,CAEtC;AAED,wBAAgB,aAAa,OAE5B;AAED,wBAAgB,UAAU,CAAC,EAAE,EAAE,mBAAmB,GAAG,uBAAuB,GAAG,EAAE,UAehF;AAED,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,MAAM,4BAK/C"}
|
|
@@ -0,0 +1,7 @@
|
|
|
1
|
+
import type { NoirCompiledCircuit } from '@aztec/stdlib/noir';
|
|
2
|
+
import type { ClientProtocolArtifact } from './artifacts/types.js';
|
|
3
|
+
import { VerificationKeyData } from '@aztec/stdlib/vks';
|
|
4
|
+
export declare const ClientCircuitArtifactNames: Record<ClientProtocolArtifact, string>;
|
|
5
|
+
export declare function getClientCircuitArtifact(artifactName: string, simulated: boolean): Promise<NoirCompiledCircuit>;
|
|
6
|
+
export declare function getClientCircuitVkData(artifactName: string): Promise<VerificationKeyData>;
|
|
7
|
+
//# sourceMappingURL=client_artifacts_helper.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"client_artifacts_helper.d.ts","sourceRoot":"","sources":["../src/client_artifacts_helper.ts"],"names":[],"mappings":"AAKE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAC9D,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AACnE,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAKtD,eAAO,MAAM,0BAA0B,EAAE,MAAM,CAAC,sBAAsB,EAAE,MAAM,CA+C7E,CAAA;AAID,wBAAsB,wBAAwB,CAAC,YAAY,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAwXrH;AAID,wBAAsB,sBAAsB,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,CA4L/F"}
|
|
@@ -0,0 +1,84 @@
|
|
|
1
|
+
import { KeyValidationHint, KeyValidationRequest, KeyValidationRequestAndGenerator, PrivateAccumulatedData, type PrivateCallData, PrivateCircuitPublicInputs, PrivateKernelCircuitPublicInputs, type PrivateKernelData, PrivateKernelResetHints, PrivateKernelTailCircuitPublicInputs, PrivateToPublicAccumulatedData, type PrivateVerificationKeyHints, RollupValidationRequests, ScopedReadRequest } from '@aztec/stdlib/kernel';
|
|
2
|
+
import type { PublicKeys } from '@aztec/stdlib/keys';
|
|
3
|
+
import { CallContext, FunctionData, TxRequest } from '@aztec/stdlib/tx';
|
|
4
|
+
import type { CallContext as CallContextNoir, FunctionData as FunctionDataNoir, KeyValidationHint as KeyValidationHintNoir, KeyValidationRequestAndGenerator as KeyValidationRequestAndGeneratorNoir, KeyValidationRequest as KeyValidationRequestsNoir, PrivateAccumulatedData as PrivateAccumulatedDataNoir, PrivateCallDataWithoutPublicInputs as PrivateCallDataWithoutPublicInputsNoir, PrivateCircuitPublicInputs as PrivateCircuitPublicInputsNoir, PrivateKernelCircuitPublicInputs as PrivateKernelCircuitPublicInputsNoir, PrivateKernelDataWithoutPublicInputs as PrivateKernelDataWithoutPublicInputsNoir, PrivateKernelResetHints as PrivateKernelResetHintsNoir, PrivateToPublicAccumulatedData as PrivateToPublicAccumulatedDataNoir, PrivateToPublicKernelCircuitPublicInputs as PrivateToPublicKernelCircuitPublicInputsNoir, PrivateToRollupKernelCircuitPublicInputs as PrivateToRollupKernelCircuitPublicInputsNoir, PrivateVerificationKeyHints as PrivateVerificationKeyHintsNoir, PublicKeys as PublicKeysNoir, RollupValidationRequests as RollupValidationRequestsNoir, ScopedReadRequest as ScopedReadRequestNoir, TxRequest as TxRequestNoir } from '../types/index.js';
|
|
5
|
+
/**
|
|
6
|
+
* Maps a function data to a noir function data.
|
|
7
|
+
* @param functionData - The function data.
|
|
8
|
+
* @returns The noir function data.
|
|
9
|
+
*/
|
|
10
|
+
export declare function mapFunctionDataToNoir(functionData: FunctionData): FunctionDataNoir;
|
|
11
|
+
/**
|
|
12
|
+
* Maps a tx request to a noir tx request.
|
|
13
|
+
* @param txRequest - The tx request.
|
|
14
|
+
* @returns The noir tx request.
|
|
15
|
+
*/
|
|
16
|
+
export declare function mapTxRequestToNoir(txRequest: TxRequest): TxRequestNoir;
|
|
17
|
+
/**
|
|
18
|
+
* Maps a noir ReadRequest to ReadRequest.
|
|
19
|
+
* @param readRequest - The noir ReadRequest.
|
|
20
|
+
* @returns The TS ReadRequest.
|
|
21
|
+
*/
|
|
22
|
+
export declare function mapScopedReadRequestFromNoir(scoped: ScopedReadRequestNoir): ScopedReadRequest;
|
|
23
|
+
/**
|
|
24
|
+
* Maps a KeyValidationRequest to a noir KeyValidationRequest.
|
|
25
|
+
* @param request - The KeyValidationRequest.
|
|
26
|
+
* @returns The noir KeyValidationRequest.
|
|
27
|
+
*/
|
|
28
|
+
export declare function mapKeyValidationRequestToNoir(request: KeyValidationRequest): KeyValidationRequestsNoir;
|
|
29
|
+
export declare function mapKeyValidationRequestAndGeneratorToNoir(request: KeyValidationRequestAndGenerator): KeyValidationRequestAndGeneratorNoir;
|
|
30
|
+
/**
|
|
31
|
+
* Maps a call context to a noir call context.
|
|
32
|
+
* @param callContext - The call context.
|
|
33
|
+
* @returns The noir call context.
|
|
34
|
+
*/
|
|
35
|
+
export declare function mapCallContextFromNoir(callContext: CallContextNoir): CallContext;
|
|
36
|
+
/**
|
|
37
|
+
* Maps a call context to a noir call context.
|
|
38
|
+
* @param callContext - The call context.
|
|
39
|
+
* @returns The noir call context.
|
|
40
|
+
*/
|
|
41
|
+
export declare function mapCallContextToNoir(callContext: CallContext): CallContextNoir;
|
|
42
|
+
export declare function mapRollupValidationRequestsToNoir(rollupValidationRequests: RollupValidationRequests): RollupValidationRequestsNoir;
|
|
43
|
+
export declare function mapRollupValidationRequestsFromNoir(rollupValidationRequests: RollupValidationRequestsNoir): RollupValidationRequests;
|
|
44
|
+
export declare function mapPrivateAccumulatedDataFromNoir(privateAccumulatedData: PrivateAccumulatedDataNoir): PrivateAccumulatedData;
|
|
45
|
+
export declare function mapPrivateAccumulatedDataToNoir(data: PrivateAccumulatedData): PrivateAccumulatedDataNoir;
|
|
46
|
+
/**
|
|
47
|
+
* Maps private circuit public inputs to noir private circuit public inputs.
|
|
48
|
+
* @param privateCircuitPublicInputs - The private circuit public inputs.
|
|
49
|
+
* @returns The noir private circuit public inputs.
|
|
50
|
+
*/
|
|
51
|
+
export declare function mapPrivateCircuitPublicInputsToNoir(privateCircuitPublicInputs: PrivateCircuitPublicInputs): PrivateCircuitPublicInputsNoir;
|
|
52
|
+
export declare function mapPublicKeysToNoir(publicKeys: PublicKeys): PublicKeysNoir;
|
|
53
|
+
/**
|
|
54
|
+
* Maps a noir function data to a function data.
|
|
55
|
+
* @param functionData - The noir function data.
|
|
56
|
+
* @returns The function data.
|
|
57
|
+
*/
|
|
58
|
+
export declare function mapFunctionDataFromNoir(functionData: FunctionDataNoir): FunctionData;
|
|
59
|
+
export declare function mapPrivateVerificationKeyHintsToNoir(privateVerificationKeyHints: PrivateVerificationKeyHints): PrivateVerificationKeyHintsNoir;
|
|
60
|
+
/**
|
|
61
|
+
* Maps a private call data to a noir private call data.
|
|
62
|
+
* @param privateCallData - The private call data.
|
|
63
|
+
* @returns The noir private call data.
|
|
64
|
+
*/
|
|
65
|
+
export declare function mapPrivateCallDataToNoir(privateCallData: PrivateCallData): PrivateCallDataWithoutPublicInputsNoir;
|
|
66
|
+
export declare function mapPrivateKernelCircuitPublicInputsFromNoir(inputs: PrivateKernelCircuitPublicInputsNoir): PrivateKernelCircuitPublicInputs;
|
|
67
|
+
export declare function mapPrivateKernelCircuitPublicInputsToNoir(inputs: PrivateKernelCircuitPublicInputs): PrivateKernelCircuitPublicInputsNoir;
|
|
68
|
+
/**
|
|
69
|
+
* Maps a private kernel inner data to a noir private kernel inner data.
|
|
70
|
+
* @param privateKernelInnerData - The private kernel inner data.
|
|
71
|
+
* @returns The noir private kernel inner data.
|
|
72
|
+
*/
|
|
73
|
+
export declare function mapPrivateKernelDataToNoir(privateKernelInnerData: PrivateKernelData): PrivateKernelDataWithoutPublicInputsNoir;
|
|
74
|
+
export declare function mapPrivateKernelTailCircuitPublicInputsForRollupFromNoir(inputs: PrivateToRollupKernelCircuitPublicInputsNoir): PrivateKernelTailCircuitPublicInputs;
|
|
75
|
+
export declare function mapPrivateToPublicAccumulatedDataFromNoir(data: PrivateToPublicAccumulatedDataNoir): PrivateToPublicAccumulatedData;
|
|
76
|
+
export declare function mapPrivateKernelTailCircuitPublicInputsForPublicFromNoir(inputs: PrivateToPublicKernelCircuitPublicInputsNoir): PrivateKernelTailCircuitPublicInputs;
|
|
77
|
+
/**
|
|
78
|
+
* Maps a KeyValidationHint to noir.
|
|
79
|
+
* @param hint - The key validation hint.
|
|
80
|
+
* @returns The key validation hint mapped to noir types.
|
|
81
|
+
*/
|
|
82
|
+
export declare function mapKeyValidationHintToNoir(hint: KeyValidationHint): KeyValidationHintNoir;
|
|
83
|
+
export declare function mapPrivateKernelResetHintsToNoir<NH_RR_PENDING extends number, NH_RR_SETTLED extends number, NLL_RR_PENDING extends number, NLL_RR_SETTLED extends number, KEY_VALIDATION_REQUESTS extends number, NUM_TRANSIENT_DATA_HINTS extends number>(inputs: PrivateKernelResetHints<NH_RR_PENDING, NH_RR_SETTLED, NLL_RR_PENDING, NLL_RR_SETTLED, KEY_VALIDATION_REQUESTS, NUM_TRANSIENT_DATA_HINTS>): PrivateKernelResetHintsNoir<NH_RR_PENDING, NH_RR_SETTLED, NLL_RR_PENDING, NLL_RR_SETTLED, KEY_VALIDATION_REQUESTS, NUM_TRANSIENT_DATA_HINTS>;
|
|
84
|
+
//# sourceMappingURL=client.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"client.d.ts","sourceRoot":"","sources":["../../src/conversion/client.ts"],"names":[],"mappings":"AAkBA,OAAO,EAEL,iBAAiB,EACjB,oBAAoB,EACpB,gCAAgC,EAQhC,sBAAsB,EACtB,KAAK,eAAe,EAEpB,0BAA0B,EAC1B,gCAAgC,EAChC,KAAK,iBAAiB,EACtB,uBAAuB,EACvB,oCAAoC,EAEpC,8BAA8B,EAE9B,KAAK,2BAA2B,EAGhC,wBAAwB,EAKxB,iBAAiB,EAGlB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAErD,OAAO,EAAE,WAAW,EAAE,YAAY,EAAkB,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAExF,OAAO,KAAK,EACV,WAAW,IAAI,eAAe,EAG9B,YAAY,IAAI,gBAAgB,EAChC,iBAAiB,IAAI,qBAAqB,EAC1C,gCAAgC,IAAI,oCAAoC,EACxE,oBAAoB,IAAI,yBAAyB,EASjD,sBAAsB,IAAI,0BAA0B,EACpD,kCAAkC,IAAI,sCAAsC,EAE5E,0BAA0B,IAAI,8BAA8B,EAC5D,gCAAgC,IAAI,oCAAoC,EACxE,oCAAoC,IAAI,wCAAwC,EAChF,uBAAuB,IAAI,2BAA2B,EAEtD,8BAA8B,IAAI,kCAAkC,EACpE,wCAAwC,IAAI,4CAA4C,EACxF,wCAAwC,IAAI,4CAA4C,EAExF,2BAA2B,IAAI,+BAA+B,EAC9D,UAAU,IAAI,cAAc,EAG5B,wBAAwB,IAAI,4BAA4B,EAKxD,iBAAiB,IAAI,qBAAqB,EAG1C,SAAS,IAAI,aAAa,EAC3B,MAAM,mBAAmB,CAAC;AA4C3B;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,YAAY,EAAE,YAAY,GAAG,gBAAgB,CAKlF;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,SAAS,EAAE,SAAS,GAAG,aAAa,CAOtE;AAuGD;;;;GAIG;AACH,wBAAgB,4BAA4B,CAAC,MAAM,EAAE,qBAAqB,GAAG,iBAAiB,CAK7F;AAED;;;;GAIG;AACH,wBAAgB,6BAA6B,CAAC,OAAO,EAAE,oBAAoB,GAAG,yBAAyB,CAKtG;AAED,wBAAgB,yCAAyC,CACvD,OAAO,EAAE,gCAAgC,GACxC,oCAAoC,CAKtC;AAsCD;;;;GAIG;AACH,wBAAgB,sBAAsB,CAAC,WAAW,EAAE,eAAe,GAAG,WAAW,CAOhF;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,WAAW,EAAE,WAAW,GAAG,eAAe,CAO9E;AA6CD,wBAAgB,iCAAiC,CAC/C,wBAAwB,EAAE,wBAAwB,GACjD,4BAA4B,CAI9B;AAED,wBAAgB,mCAAmC,CACjD,wBAAwB,EAAE,4BAA4B,GACrD,wBAAwB,CAE1B;AAqCD,wBAAgB,iCAAiC,CAC/C,sBAAsB,EAAE,0BAA0B,GACjD,sBAAsB,CAsBxB;AAED,wBAAgB,+BAA+B,CAAC,IAAI,EAAE,sBAAsB,GAAG,0BAA0B,CAUxG;AAED;;;;GAIG;AACH,wBAAgB,mCAAmC,CACjD,0BAA0B,EAAE,0BAA0B,GACrD,8BAA8B,CA2BhC;AAED,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,UAAU,GAAG,cAAc,CAe1E;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CAAC,YAAY,EAAE,gBAAgB,GAAG,YAAY,CAEpF;AAED,wBAAgB,oCAAoC,CAClD,2BAA2B,EAAE,2BAA2B,GACvD,+BAA+B,CA6BjC;AAED;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,eAAe,EAAE,eAAe,GAAG,sCAAsC,CAKjH;AAoBD,wBAAgB,2CAA2C,CACzD,MAAM,EAAE,oCAAoC,GAC3C,gCAAgC,CAWlC;AAED,wBAAgB,yCAAyC,CACvD,MAAM,EAAE,gCAAgC,GACvC,oCAAoC,CAWtC;AAED;;;;GAIG;AACH,wBAAgB,0BAA0B,CACxC,sBAAsB,EAAE,iBAAiB,GACxC,wCAAwC,CAM1C;AAED,wBAAgB,wDAAwD,CACtE,MAAM,EAAE,4CAA4C,GACnD,oCAAoC,CAUtC;AAED,wBAAgB,yCAAyC,CAAC,IAAI,EAAE,kCAAkC,kCASjG;AAED,wBAAgB,wDAAwD,CACtE,MAAM,EAAE,4CAA4C,GACnD,oCAAoC,CAatC;AAkFD;;;;GAIG;AACH,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,iBAAiB,GAAG,qBAAqB,CAKzF;AAED,wBAAgB,gCAAgC,CAC9C,aAAa,SAAS,MAAM,EAC5B,aAAa,SAAS,MAAM,EAC5B,cAAc,SAAS,MAAM,EAC7B,cAAc,SAAS,MAAM,EAC7B,uBAAuB,SAAS,MAAM,EACtC,wBAAwB,SAAS,MAAM,EAEvC,MAAM,EAAE,uBAAuB,CAC7B,aAAa,EACb,aAAa,EACb,cAAc,EACd,cAAc,EACd,uBAAuB,EACvB,wBAAwB,CACzB,GACA,2BAA2B,CAC5B,aAAa,EACb,aAAa,EACb,cAAc,EACd,cAAc,EACd,uBAAuB,EACvB,wBAAwB,CACzB,CAcA"}
|
|
@@ -0,0 +1,283 @@
|
|
|
1
|
+
/// <reference types="node" resolution-mode="require"/>
|
|
2
|
+
/// <reference types="node" resolution-mode="require"/>
|
|
3
|
+
import { type PRIVATE_LOG_SIZE_IN_FIELDS } from '@aztec/constants';
|
|
4
|
+
import { EthAddress } from '@aztec/foundation/eth-address';
|
|
5
|
+
import { Fr, GrumpkinScalar, Point } from '@aztec/foundation/fields';
|
|
6
|
+
import { type Tuple } from '@aztec/foundation/serialize';
|
|
7
|
+
import type { MembershipWitness } from '@aztec/foundation/trees';
|
|
8
|
+
import { FunctionSelector } from '@aztec/stdlib/abi';
|
|
9
|
+
import type { PublicDataWrite } from '@aztec/stdlib/avm';
|
|
10
|
+
import { AztecAddress } from '@aztec/stdlib/aztec-address';
|
|
11
|
+
import { Gas, GasFees, GasSettings } from '@aztec/stdlib/gas';
|
|
12
|
+
import { LogHash, OptionalNumber, PrivateToRollupAccumulatedData, PublicCallRequest, ScopedLogHash } from '@aztec/stdlib/kernel';
|
|
13
|
+
import { PrivateLog, PublicLog } from '@aztec/stdlib/logs';
|
|
14
|
+
import { L2ToL1Message, ScopedL2ToL1Message } from '@aztec/stdlib/messaging';
|
|
15
|
+
import { AppendOnlyTreeSnapshot, type NullifierLeafPreimage, type ProtocolContractLeafPreimage, type PublicDataTreeLeafPreimage } from '@aztec/stdlib/trees';
|
|
16
|
+
import { BlockHeader, ContentCommitment, GlobalVariables, MaxBlockNumber, PartialStateReference, StateReference, TxContext } from '@aztec/stdlib/tx';
|
|
17
|
+
import type { VerificationKeyAsFields } from '@aztec/stdlib/vks';
|
|
18
|
+
import type { AppendOnlyTreeSnapshot as AppendOnlyTreeSnapshotNoir, BlockHeader as BlockHeaderNoir, ContentCommitment as ContentCommitmentNoir, Field, FunctionSelector as FunctionSelectorNoir, GasFees as GasFeesNoir, Gas as GasNoir, GasSettings as GasSettingsNoir, GlobalVariables as GlobalVariablesNoir, EmbeddedCurveScalar as GrumpkinScalarNoir, L2ToL1Message as L2ToL1MessageNoir, LogHash as LogHashNoir, Log as LogNoir, MaxBlockNumber as MaxBlockNumberNoir, MembershipWitness as MembershipWitnessNoir, AztecAddress as NoirAztecAddress, EthAddress as NoirEthAddress, Field as NoirField, EmbeddedCurvePoint as NoirPoint, NullifierLeafPreimage as NullifierLeafPreimageNoir, Option as OptionalNumberNoir, PartialStateReference as PartialStateReferenceNoir, PrivateToRollupAccumulatedData as PrivateToRollupAccumulatedDataNoir, ProtocolContractLeafPreimage as ProtocolContractLeafPreimageNoir, PublicCallRequest as PublicCallRequestNoir, PublicDataTreeLeafPreimage as PublicDataTreeLeafPreimageNoir, PublicDataWrite as PublicDataWriteNoir, PublicLog as PublicLogNoir, ScopedL2ToL1Message as ScopedL2ToL1MessageNoir, ScopedLogHash as ScopedLogHashNoir, StateReference as StateReferenceNoir, TxContext as TxContextNoir, VerificationKey as VerificationKeyNoir } from '../types/index.js';
|
|
19
|
+
/**
|
|
20
|
+
* Maps a field to a noir field.
|
|
21
|
+
* @param field - The field.
|
|
22
|
+
* @returns The noir field.
|
|
23
|
+
*/
|
|
24
|
+
export declare function mapFieldToNoir(field: Fr): NoirField;
|
|
25
|
+
/**
|
|
26
|
+
* Maps a noir field to a fr.
|
|
27
|
+
* @param field - The noir field.
|
|
28
|
+
* @returns The fr.
|
|
29
|
+
*/
|
|
30
|
+
export declare function mapFieldFromNoir(field: NoirField): Fr;
|
|
31
|
+
/** Maps a field to a noir wrapped field type (ie any type implemented as struct with an inner Field). */
|
|
32
|
+
export declare function mapWrappedFieldToNoir(field: Fr): {
|
|
33
|
+
inner: NoirField;
|
|
34
|
+
};
|
|
35
|
+
/** Maps a noir wrapped field type (ie any type implemented as struct with an inner Field) to a typescript field. */
|
|
36
|
+
export declare function mapWrappedFieldFromNoir(wrappedField: {
|
|
37
|
+
inner: NoirField;
|
|
38
|
+
}): Fr;
|
|
39
|
+
/**
|
|
40
|
+
* Maps a number coming from noir.
|
|
41
|
+
* @param number - The field representing the number.
|
|
42
|
+
* @returns The number
|
|
43
|
+
*/
|
|
44
|
+
export declare function mapNumberFromNoir(number: NoirField): number;
|
|
45
|
+
export declare function mapNumberToNoir(number: number): NoirField;
|
|
46
|
+
/**
|
|
47
|
+
* Maps a point to a noir point.
|
|
48
|
+
* @param point - The point.
|
|
49
|
+
* @returns The noir point.
|
|
50
|
+
*/
|
|
51
|
+
export declare function mapPointToNoir(point: Point): NoirPoint;
|
|
52
|
+
/**
|
|
53
|
+
* Maps a noir point to a point.
|
|
54
|
+
* @param point - The noir point.
|
|
55
|
+
* @returns The point.
|
|
56
|
+
*/
|
|
57
|
+
export declare function mapPointFromNoir(point: NoirPoint): Point;
|
|
58
|
+
/**
|
|
59
|
+
* Maps a GrumpkinScalar to a noir GrumpkinScalar.
|
|
60
|
+
* @param privateKey - The GrumpkinScalar.
|
|
61
|
+
* @returns The noir GrumpkinScalar.
|
|
62
|
+
*/
|
|
63
|
+
export declare function mapGrumpkinScalarToNoir(privateKey: GrumpkinScalar): GrumpkinScalarNoir;
|
|
64
|
+
/**
|
|
65
|
+
* Maps a noir GrumpkinScalar to a GrumpkinScalar.
|
|
66
|
+
* @param privateKey - The noir GrumpkinScalar.
|
|
67
|
+
* @returns The GrumpkinScalar.
|
|
68
|
+
*/
|
|
69
|
+
export declare function mapGrumpkinScalarFromNoir(privateKey: GrumpkinScalarNoir): GrumpkinScalar;
|
|
70
|
+
/**
|
|
71
|
+
* Maps an aztec address to a noir aztec address.
|
|
72
|
+
* @param address - The address.
|
|
73
|
+
* @returns The noir aztec address.
|
|
74
|
+
*/
|
|
75
|
+
export declare function mapAztecAddressToNoir(address: AztecAddress): NoirAztecAddress;
|
|
76
|
+
/**
|
|
77
|
+
* Maps a noir aztec address to an aztec address.
|
|
78
|
+
* @param address - The noir aztec address.
|
|
79
|
+
* @returns The aztec address.
|
|
80
|
+
*/
|
|
81
|
+
export declare function mapAztecAddressFromNoir(address: NoirAztecAddress): AztecAddress;
|
|
82
|
+
/**
|
|
83
|
+
* Maps an eth address to a noir eth address.
|
|
84
|
+
* @param address - The address.
|
|
85
|
+
* @returns The noir eth address.
|
|
86
|
+
*/
|
|
87
|
+
export declare function mapEthAddressToNoir(address: EthAddress): NoirEthAddress;
|
|
88
|
+
/**
|
|
89
|
+
* Maps a noir eth address to an eth address.
|
|
90
|
+
* @param address - The noir eth address.
|
|
91
|
+
* @returns The eth address.
|
|
92
|
+
*/
|
|
93
|
+
export declare function mapEthAddressFromNoir(address: NoirEthAddress): EthAddress;
|
|
94
|
+
export declare function mapGasFromNoir(gasUsed: GasNoir): Gas;
|
|
95
|
+
export declare function mapGasToNoir(gasUsed: Gas): GasNoir;
|
|
96
|
+
export declare function mapGasSettingsFromNoir(gasSettings: GasSettingsNoir): GasSettings;
|
|
97
|
+
export declare function mapGasSettingsToNoir(gasSettings: GasSettings): GasSettingsNoir;
|
|
98
|
+
export declare function mapGasFeesToNoir(gasFees: GasFees): GasFeesNoir;
|
|
99
|
+
export declare function mapGasFeesFromNoir(gasFees: GasFeesNoir): GasFees;
|
|
100
|
+
export declare function mapPrivateLogToNoir(log: PrivateLog): LogNoir<typeof PRIVATE_LOG_SIZE_IN_FIELDS>;
|
|
101
|
+
export declare function mapPrivateLogFromNoir(log: LogNoir<typeof PRIVATE_LOG_SIZE_IN_FIELDS>): PrivateLog;
|
|
102
|
+
export declare function mapPublicLogToNoir(log: PublicLog): PublicLogNoir;
|
|
103
|
+
export declare function mapPublicLogFromNoir(log: PublicLogNoir): PublicLog;
|
|
104
|
+
/**
|
|
105
|
+
* Maps an array from noir types to a tuple of parsed types.
|
|
106
|
+
* @param noirArray - The noir array.
|
|
107
|
+
* @param length - The length of the tuple.
|
|
108
|
+
* @param mapper - The mapper function applied to each element.
|
|
109
|
+
* @returns The tuple.
|
|
110
|
+
*/
|
|
111
|
+
export declare function mapTupleFromNoir<T, N extends number, M>(noirArray: T[], length: N, mapper: (item: T) => M): Tuple<M, N>;
|
|
112
|
+
/**
|
|
113
|
+
* Maps a AOT snapshot to noir.
|
|
114
|
+
* @param snapshot - The stdlib AOT snapshot.
|
|
115
|
+
* @returns The noir AOT snapshot.
|
|
116
|
+
*/
|
|
117
|
+
export declare function mapAppendOnlyTreeSnapshotFromNoir(snapshot: AppendOnlyTreeSnapshotNoir): AppendOnlyTreeSnapshot;
|
|
118
|
+
/**
|
|
119
|
+
* Maps a AOT snapshot from noir to the stdlib type.
|
|
120
|
+
* @param snapshot - The noir AOT snapshot.
|
|
121
|
+
* @returns The stdlib AOT snapshot.
|
|
122
|
+
*/
|
|
123
|
+
export declare function mapAppendOnlyTreeSnapshotToNoir(snapshot: AppendOnlyTreeSnapshot): AppendOnlyTreeSnapshotNoir;
|
|
124
|
+
/**
|
|
125
|
+
* Maps a content commitment to Noir
|
|
126
|
+
*
|
|
127
|
+
*/
|
|
128
|
+
export declare function mapContentCommitmentToNoir(contentCommitment: ContentCommitment): ContentCommitmentNoir;
|
|
129
|
+
/**
|
|
130
|
+
* Maps a content commitment to Noir
|
|
131
|
+
*
|
|
132
|
+
*/
|
|
133
|
+
export declare function mapContentCommitmentFromNoir(contentCommitment: ContentCommitmentNoir): ContentCommitment;
|
|
134
|
+
/**
|
|
135
|
+
* Maps a block header to Noir
|
|
136
|
+
* @param header - The block header.
|
|
137
|
+
* @returns BlockHeader.
|
|
138
|
+
*/
|
|
139
|
+
export declare function mapHeaderToNoir(header: BlockHeader): BlockHeaderNoir;
|
|
140
|
+
/**
|
|
141
|
+
* Maps a block header from Noir.
|
|
142
|
+
* @param header - The block header.
|
|
143
|
+
* @returns BlockHeader.
|
|
144
|
+
*/
|
|
145
|
+
export declare function mapHeaderFromNoir(header: BlockHeaderNoir): BlockHeader;
|
|
146
|
+
/**
|
|
147
|
+
* Maps a SHA256 hash from noir to the parsed type.
|
|
148
|
+
* @param hash - The hash as it is represented in Noir (1 fields).
|
|
149
|
+
* @returns The hash represented as a 31 bytes long buffer.
|
|
150
|
+
*/
|
|
151
|
+
export declare function mapSha256HashFromNoir(hash: Field): Buffer;
|
|
152
|
+
/**
|
|
153
|
+
* Maps a sha256 to the representation used in noir.
|
|
154
|
+
* @param hash - The hash represented as a 32 bytes long buffer.
|
|
155
|
+
* @returns The hash as it is represented in Noir (1 field, truncated).
|
|
156
|
+
*/
|
|
157
|
+
export declare function mapSha256HashToNoir(hash: Buffer): Field;
|
|
158
|
+
export declare function mapOptionalNumberToNoir(option: OptionalNumber): OptionalNumberNoir;
|
|
159
|
+
export declare function mapOptionalNumberFromNoir(option: OptionalNumberNoir): OptionalNumber;
|
|
160
|
+
export declare function mapMaxBlockNumberToNoir(maxBlockNumber: MaxBlockNumber): MaxBlockNumberNoir;
|
|
161
|
+
export declare function mapMaxBlockNumberFromNoir(maxBlockNumber: MaxBlockNumberNoir): MaxBlockNumber;
|
|
162
|
+
/**
|
|
163
|
+
* Maps a L2 to L1 message to a noir L2 to L1 message.
|
|
164
|
+
* @param message - The L2 to L1 message.
|
|
165
|
+
* @returns The noir L2 to L1 message.
|
|
166
|
+
*/
|
|
167
|
+
export declare function mapL2ToL1MessageToNoir(message: L2ToL1Message): L2ToL1MessageNoir;
|
|
168
|
+
export declare function mapL2ToL1MessageFromNoir(message: L2ToL1MessageNoir): L2ToL1Message;
|
|
169
|
+
export declare function mapScopedL2ToL1MessageFromNoir(message: ScopedL2ToL1MessageNoir): ScopedL2ToL1Message;
|
|
170
|
+
/**
|
|
171
|
+
* Maps a function selector to a noir function selector.
|
|
172
|
+
* @param functionSelector - The function selector.
|
|
173
|
+
* @returns The noir function selector.
|
|
174
|
+
*/
|
|
175
|
+
export declare function mapFunctionSelectorToNoir(functionSelector: FunctionSelector): FunctionSelectorNoir;
|
|
176
|
+
/**
|
|
177
|
+
* Maps a noir function selector to a function selector.
|
|
178
|
+
* @param functionSelector - The noir function selector.
|
|
179
|
+
* @returns The function selector.
|
|
180
|
+
*/
|
|
181
|
+
export declare function mapFunctionSelectorFromNoir(functionSelector: FunctionSelectorNoir): FunctionSelector;
|
|
182
|
+
export declare function mapPublicCallRequestFromNoir(request: PublicCallRequestNoir): PublicCallRequest;
|
|
183
|
+
export declare function mapPublicCallRequestToNoir(request: PublicCallRequest): PublicCallRequestNoir;
|
|
184
|
+
export declare function mapScopedL2ToL1MessageToNoir(message: ScopedL2ToL1Message): ScopedL2ToL1MessageNoir;
|
|
185
|
+
export declare function mapVerificationKeyToNoir<N extends number>(key: VerificationKeyAsFields, length: N): VerificationKeyNoir<N>;
|
|
186
|
+
/**
|
|
187
|
+
* Maps global variables to the noir type.
|
|
188
|
+
* @param globalVariables - The global variables.
|
|
189
|
+
* @returns The noir global variables.
|
|
190
|
+
*/
|
|
191
|
+
export declare function mapGlobalVariablesToNoir(globalVariables: GlobalVariables): GlobalVariablesNoir;
|
|
192
|
+
/**
|
|
193
|
+
* Maps global variables from the noir type.
|
|
194
|
+
* @param globalVariables - The noir global variables.
|
|
195
|
+
* @returns The global variables.
|
|
196
|
+
*/
|
|
197
|
+
export declare function mapGlobalVariablesFromNoir(globalVariables: GlobalVariablesNoir): GlobalVariables;
|
|
198
|
+
/**
|
|
199
|
+
* Maps state reference to Noir.
|
|
200
|
+
* @param stateReference - The state reference.
|
|
201
|
+
* @returns Noir representation of state reference.
|
|
202
|
+
*/
|
|
203
|
+
export declare function mapStateReferenceToNoir(stateReference: StateReference): StateReferenceNoir;
|
|
204
|
+
/**
|
|
205
|
+
* Maps state reference from Noir.
|
|
206
|
+
* @param stateReference - The state reference.
|
|
207
|
+
* @returns State reference
|
|
208
|
+
*/
|
|
209
|
+
export declare function mapStateReferenceFromNoir(stateReference: StateReferenceNoir): StateReference;
|
|
210
|
+
/**
|
|
211
|
+
* Maps a partial state reference to a noir partial state reference.
|
|
212
|
+
* @param partialStateReference - The partial state reference.
|
|
213
|
+
* @returns The noir partial state reference.
|
|
214
|
+
*/
|
|
215
|
+
export declare function mapPartialStateReferenceToNoir(partialStateReference: PartialStateReference): PartialStateReferenceNoir;
|
|
216
|
+
/**
|
|
217
|
+
* Maps partial state reference from Noir.
|
|
218
|
+
* @param partialStateReference - The state reference.
|
|
219
|
+
* @returns Partial state reference
|
|
220
|
+
*/
|
|
221
|
+
export declare function mapPartialStateReferenceFromNoir(partialStateReference: PartialStateReferenceNoir): PartialStateReference;
|
|
222
|
+
/**
|
|
223
|
+
* Maps a nullifier leaf preimage to noir
|
|
224
|
+
* @param nullifierLeafPreimage - The nullifier leaf preimage.
|
|
225
|
+
* @returns The noir nullifier leaf preimage.
|
|
226
|
+
*/
|
|
227
|
+
export declare function mapNullifierLeafPreimageToNoir(nullifierLeafPreimage: NullifierLeafPreimage): NullifierLeafPreimageNoir;
|
|
228
|
+
/**
|
|
229
|
+
* Maps a leaf preimage of the public data tree to noir.
|
|
230
|
+
*/
|
|
231
|
+
export declare function mapPublicDataTreePreimageToNoir(preimage: PublicDataTreeLeafPreimage): PublicDataTreeLeafPreimageNoir;
|
|
232
|
+
/**
|
|
233
|
+
* Maps a protocol contract leaf preimage to noir
|
|
234
|
+
* @param protocolContractPreimage - The protocol contract leaf preimage.
|
|
235
|
+
* @returns The noir protocol contract leaf preimage.
|
|
236
|
+
* Note: the circuit does not use next_index, so it does not exist in the noir struct.
|
|
237
|
+
*/
|
|
238
|
+
export declare function mapProtocolContractLeafPreimageToNoir(protocolContractPreimage: ProtocolContractLeafPreimage): ProtocolContractLeafPreimageNoir;
|
|
239
|
+
export declare function mapMembershipWitnessToNoir<N extends number>(witness: MembershipWitness<N>): MembershipWitnessNoir<N>;
|
|
240
|
+
/**
|
|
241
|
+
* Maps a LogHash to a noir LogHash.
|
|
242
|
+
* @param logHash - The LogHash.
|
|
243
|
+
* @returns The noir log hash.
|
|
244
|
+
*/
|
|
245
|
+
export declare function mapLogHashToNoir(logHash: LogHash): LogHashNoir;
|
|
246
|
+
/**
|
|
247
|
+
* Maps a ts ScopedLogHash to a noir ScopedLogHash.
|
|
248
|
+
* @param logHash - The ts LogHash.
|
|
249
|
+
* @returns The noir log hash.
|
|
250
|
+
*/
|
|
251
|
+
export declare function mapScopedLogHashToNoir(scopedLogHash: ScopedLogHash): ScopedLogHashNoir;
|
|
252
|
+
/**
|
|
253
|
+
* Maps a noir ScopedLogHash to a ts ScopedLogHash.
|
|
254
|
+
* @param logHash - The noir LogHash.
|
|
255
|
+
* @returns The TS log hash.
|
|
256
|
+
*/
|
|
257
|
+
export declare function mapScopedLogHashFromNoir(scopedLogHash: ScopedLogHashNoir): ScopedLogHash;
|
|
258
|
+
export declare function mapPublicDataWriteToNoir(write: PublicDataWrite): PublicDataWriteNoir;
|
|
259
|
+
/**
|
|
260
|
+
* Maps private to rollup accumulated data to noir to the parsed type.
|
|
261
|
+
* @param privateToRollupAccumulatedData - The ts private to rollup accumulated data.
|
|
262
|
+
* @returns The noir private to rollup accumulated data.
|
|
263
|
+
*/
|
|
264
|
+
export declare function mapPrivateToRollupAccumulatedDataToNoir(privateToRollupAccumulatedData: PrivateToRollupAccumulatedData): PrivateToRollupAccumulatedDataNoir;
|
|
265
|
+
/**
|
|
266
|
+
* Maps private to rollup accumulated data from noir to the parsed type.
|
|
267
|
+
* @param PrivateToRollupAccumulatedData - The noir private to rollup accumulated data.
|
|
268
|
+
* @returns The parsed private to rollup accumulated data.
|
|
269
|
+
*/
|
|
270
|
+
export declare function mapPrivateToRollupAccumulatedDataFromNoir(privateToRollupAccumulatedData: PrivateToRollupAccumulatedDataNoir): PrivateToRollupAccumulatedData;
|
|
271
|
+
/**
|
|
272
|
+
* Maps a tx context to a noir tx context.
|
|
273
|
+
* @param txContext - The tx context.
|
|
274
|
+
* @returns The noir tx context.
|
|
275
|
+
*/
|
|
276
|
+
export declare function mapTxContextToNoir(txContext: TxContext): TxContextNoir;
|
|
277
|
+
/**
|
|
278
|
+
* Maps a noir tx context to a tx context.
|
|
279
|
+
* @param txContext - The noir tx context.
|
|
280
|
+
* @returns The tx context.
|
|
281
|
+
*/
|
|
282
|
+
export declare function mapTxContextFromNoir(txContext: TxContextNoir): TxContext;
|
|
283
|
+
//# sourceMappingURL=common.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"common.d.ts","sourceRoot":"","sources":["../../src/conversion/common.ts"],"names":[],"mappings":";;AAAA,OAAO,EAML,KAAK,0BAA0B,EAChC,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,0BAA0B,CAAC;AACrE,OAAO,EAAE,KAAK,KAAK,EAA0B,MAAM,6BAA6B,CAAC;AACjF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACzD,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAC9D,OAAO,EACL,OAAO,EACP,cAAc,EACd,8BAA8B,EAC9B,iBAAiB,EACjB,aAAa,EACd,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC3D,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC7E,OAAO,EACL,sBAAsB,EACtB,KAAK,qBAAqB,EAC1B,KAAK,4BAA4B,EACjC,KAAK,0BAA0B,EAChC,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,WAAW,EACX,iBAAiB,EACjB,eAAe,EACf,cAAc,EAEd,qBAAqB,EACrB,cAAc,EACd,SAAS,EACV,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,mBAAmB,CAAC;AAEjE,OAAO,KAAK,EACV,sBAAsB,IAAI,0BAA0B,EACpD,WAAW,IAAI,eAAe,EAC9B,iBAAiB,IAAI,qBAAqB,EAC1C,KAAK,EAEL,gBAAgB,IAAI,oBAAoB,EACxC,OAAO,IAAI,WAAW,EACtB,GAAG,IAAI,OAAO,EACd,WAAW,IAAI,eAAe,EAC9B,eAAe,IAAI,mBAAmB,EACtC,mBAAmB,IAAI,kBAAkB,EACzC,aAAa,IAAI,iBAAiB,EAClC,OAAO,IAAI,WAAW,EACtB,GAAG,IAAI,OAAO,EACd,cAAc,IAAI,kBAAkB,EACpC,iBAAiB,IAAI,qBAAqB,EAC1C,YAAY,IAAI,gBAAgB,EAChC,UAAU,IAAI,cAAc,EAC5B,KAAK,IAAI,SAAS,EAClB,kBAAkB,IAAI,SAAS,EAC/B,qBAAqB,IAAI,yBAAyB,EAClD,MAAM,IAAI,kBAAkB,EAC5B,qBAAqB,IAAI,yBAAyB,EAClD,8BAA8B,IAAI,kCAAkC,EACpE,4BAA4B,IAAI,gCAAgC,EAChE,iBAAiB,IAAI,qBAAqB,EAC1C,0BAA0B,IAAI,8BAA8B,EAC5D,eAAe,IAAI,mBAAmB,EACtC,SAAS,IAAI,aAAa,EAC1B,mBAAmB,IAAI,uBAAuB,EAC9C,aAAa,IAAI,iBAAiB,EAClC,cAAc,IAAI,kBAAkB,EACpC,SAAS,IAAI,aAAa,EAC1B,eAAe,IAAI,mBAAmB,EACvC,MAAM,mBAAmB,CAAC;AAI3B;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,EAAE,GAAG,SAAS,CAEnD;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,SAAS,GAAG,EAAE,CAErD;AAED,yGAAyG;AACzG,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,EAAE,GAAG;IAAE,KAAK,EAAE,SAAS,CAAA;CAAE,CAErE;AAED,oHAAoH;AACpH,wBAAgB,uBAAuB,CAAC,YAAY,EAAE;IAAE,KAAK,EAAE,SAAS,CAAA;CAAE,GAAG,EAAE,CAE9E;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,SAAS,GAAG,MAAM,CAE3D;AAED,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAEzD;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,KAAK,GAAG,SAAS,CAMtD;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,SAAS,GAAG,KAAK,CAExD;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CAAC,UAAU,EAAE,cAAc,GAAG,kBAAkB,CAKtF;AAED;;;;GAIG;AACH,wBAAgB,yBAAyB,CAAC,UAAU,EAAE,kBAAkB,GAAG,cAAc,CAExF;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,YAAY,GAAG,gBAAgB,CAI7E;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CAAC,OAAO,EAAE,gBAAgB,GAAG,YAAY,CAE/E;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,UAAU,GAAG,cAAc,CAIvE;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,cAAc,GAAG,UAAU,CAEzE;AAED,wBAAgB,cAAc,CAAC,OAAO,EAAE,OAAO,GAAG,GAAG,CAKpD;AAED,wBAAgB,YAAY,CAAC,OAAO,EAAE,GAAG,GAAG,OAAO,CAKlD;AAED,wBAAgB,sBAAsB,CAAC,WAAW,EAAE,eAAe,GAAG,WAAW,CAOhF;AAED,wBAAgB,oBAAoB,CAAC,WAAW,EAAE,WAAW,GAAG,eAAe,CAO9E;AAED,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,OAAO,GAAG,WAAW,CAK9D;AAED,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,WAAW,GAAG,OAAO,CAEhE;AAED,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,UAAU,GAAG,OAAO,CAAC,OAAO,0BAA0B,CAAC,CAI/F;AAED,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,OAAO,CAAC,OAAO,0BAA0B,CAAC,cAEpF;AAED,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,SAAS,GAAG,aAAa,CAKhE;AAED,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,aAAa,aAKtD;AAED;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,EAAE,CAAC,EACrD,SAAS,EAAE,CAAC,EAAE,EACd,MAAM,EAAE,CAAC,EACT,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,GACrB,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAKb;AAED;;;;GAIG;AACH,wBAAgB,iCAAiC,CAAC,QAAQ,EAAE,0BAA0B,GAAG,sBAAsB,CAK9G;AAED;;;;GAIG;AACH,wBAAgB,+BAA+B,CAAC,QAAQ,EAAE,sBAAsB,GAAG,0BAA0B,CAK5G;AAED;;;GAGG;AACH,wBAAgB,0BAA0B,CAAC,iBAAiB,EAAE,iBAAiB,GAAG,qBAAqB,CAOtG;AAED;;;GAGG;AACH,wBAAgB,4BAA4B,CAAC,iBAAiB,EAAE,qBAAqB,GAAG,iBAAiB,CAOxG;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,WAAW,GAAG,eAAe,CASpE;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,eAAe,GAAG,WAAW,CAStE;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,KAAK,GAAG,MAAM,CAEzD;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,KAAK,CAEvD;AAED,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,cAAc,GAAG,kBAAkB,CAKlF;AAED,wBAAgB,yBAAyB,CAAC,MAAM,EAAE,kBAAkB,kBAEnE;AAED,wBAAgB,uBAAuB,CAAC,cAAc,EAAE,cAAc,GAAG,kBAAkB,CAO1F;AAED,wBAAgB,yBAAyB,CAAC,cAAc,EAAE,kBAAkB,GAAG,cAAc,CAE5F;AAED;;;;GAIG;AACH,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,aAAa,GAAG,iBAAiB,CAMhF;AAED,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,iBAAiB,iBAMlE;AAED,wBAAgB,8BAA8B,CAAC,OAAO,EAAE,uBAAuB,uBAK9E;AAED;;;;GAIG;AACH,wBAAgB,yBAAyB,CAAC,gBAAgB,EAAE,gBAAgB,GAAG,oBAAoB,CAIlG;AAED;;;;GAIG;AACH,wBAAgB,2BAA2B,CAAC,gBAAgB,EAAE,oBAAoB,GAAG,gBAAgB,CAEpG;AAED,wBAAgB,4BAA4B,CAAC,OAAO,EAAE,qBAAqB,qBAQ1E;AAED,wBAAgB,0BAA0B,CAAC,OAAO,EAAE,iBAAiB,GAAG,qBAAqB,CAQ5F;AAED,wBAAgB,4BAA4B,CAAC,OAAO,EAAE,mBAAmB,GAAG,uBAAuB,CAKlG;AAED,wBAAgB,wBAAwB,CAAC,CAAC,SAAS,MAAM,EACvD,GAAG,EAAE,uBAAuB,EAC5B,MAAM,EAAE,CAAC,GACR,mBAAmB,CAAC,CAAC,CAAC,CAQxB;AAED;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,eAAe,EAAE,eAAe,GAAG,mBAAmB,CAW9F;AAED;;;;GAIG;AACH,wBAAgB,0BAA0B,CAAC,eAAe,EAAE,mBAAmB,GAAG,eAAe,CAWhG;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CAAC,cAAc,EAAE,cAAc,GAAG,kBAAkB,CAK1F;AAED;;;;GAIG;AACH,wBAAgB,yBAAyB,CAAC,cAAc,EAAE,kBAAkB,GAAG,cAAc,CAK5F;AAED;;;;GAIG;AACH,wBAAgB,8BAA8B,CAC5C,qBAAqB,EAAE,qBAAqB,GAC3C,yBAAyB,CAM3B;AAED;;;;GAIG;AACH,wBAAgB,gCAAgC,CAC9C,qBAAqB,EAAE,yBAAyB,GAC/C,qBAAqB,CAMvB;AAED;;;;GAIG;AACH,wBAAgB,8BAA8B,CAC5C,qBAAqB,EAAE,qBAAqB,GAC3C,yBAAyB,CAM3B;AAED;;GAEG;AACH,wBAAgB,+BAA+B,CAAC,QAAQ,EAAE,0BAA0B,GAAG,8BAA8B,CAOpH;AAED;;;;;GAKG;AACH,wBAAgB,qCAAqC,CACnD,wBAAwB,EAAE,4BAA4B,GACrD,gCAAgC,CAKlC;AAED,wBAAgB,0BAA0B,CAAC,CAAC,SAAS,MAAM,EAAE,OAAO,EAAE,iBAAiB,CAAC,CAAC,CAAC,GAAG,qBAAqB,CAAC,CAAC,CAAC,CAMpH;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,OAAO,GAAG,WAAW,CAM9D;AAeD;;;;GAIG;AACH,wBAAgB,sBAAsB,CAAC,aAAa,EAAE,aAAa,GAAG,iBAAiB,CAKtF;AAED;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,aAAa,EAAE,iBAAiB,GAAG,aAAa,CAKxF;AAED,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,eAAe,GAAG,mBAAmB,CAKpF;AAED;;;;GAIG;AACH,wBAAgB,uCAAuC,CACrD,8BAA8B,EAAE,8BAA8B,GAC7D,kCAAkC,CAWpC;AAED;;;;GAIG;AACH,wBAAgB,yCAAyC,CACvD,8BAA8B,EAAE,kCAAkC,kCAkBnE;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,SAAS,EAAE,SAAS,GAAG,aAAa,CAMtE;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,SAAS,EAAE,aAAa,GAAG,SAAS,CAMxE"}
|