@aztec/prover-client 0.55.0 → 0.55.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
@@ -1 +1 @@
1
- {"version":3,"file":"rpc.d.ts","sourceRoot":"","sources":["../../src/prover-agent/rpc.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AA8B7D,OAAO,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAC;AAElE,OAAO,EAAE,KAAK,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAGrD,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,gBAAgB,GAAG,aAAa,CAgCnF;AAED,wBAAgB,4BAA4B,CAC1C,GAAG,EAAE,MAAM,EACX,SAAS,CAAC,EAAE,MAAM,EAClB,KAAK,yFAA8B,GAClC,gBAAgB,CAmClB;AAED;;;;GAIG;AACH,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,WAAW,iBAc5D"}
1
+ {"version":3,"file":"rpc.d.ts","sourceRoot":"","sources":["../../src/prover-agent/rpc.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AA+B7D,OAAO,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAC;AAElE,OAAO,EAAE,KAAK,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAGrD,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,gBAAgB,GAAG,aAAa,CAiCnF;AAED,wBAAgB,4BAA4B,CAC1C,GAAG,EAAE,MAAM,EACX,SAAS,CAAC,EAAE,MAAM,EAClB,KAAK,yFAA8B,GAClC,gBAAgB,CAoClB;AAED;;;;GAIG;AACH,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,WAAW,iBAc5D"}
@@ -1,9 +1,10 @@
1
- import { AvmCircuitInputs, AztecAddress, BaseOrMergeRollupPublicInputs, BaseParityInputs, BaseRollupInputs, BlockMergeRollupInputs, BlockRootOrBlockMergePublicInputs, BlockRootRollupInputs, EthAddress, Fr, Header, KernelCircuitPublicInputs, MergeRollupInputs, ParityPublicInputs, PrivateKernelEmptyInputData, Proof, PublicKernelCircuitPrivateInputs, PublicKernelCircuitPublicInputs, PublicKernelTailCircuitPrivateInputs, RecursiveProof, RootParityInput, RootParityInputs, RootRollupInputs, RootRollupPublicInputs, TubeInputs, VerificationKeyData, } from '@aztec/circuits.js';
1
+ import { AvmCircuitInputs, AvmVerificationKeyData, AztecAddress, BaseOrMergeRollupPublicInputs, BaseParityInputs, BaseRollupInputs, BlockMergeRollupInputs, BlockRootOrBlockMergePublicInputs, BlockRootRollupInputs, EthAddress, Fr, Header, KernelCircuitPublicInputs, MergeRollupInputs, ParityPublicInputs, PrivateKernelEmptyInputData, Proof, PublicKernelCircuitPrivateInputs, PublicKernelCircuitPublicInputs, PublicKernelTailCircuitPrivateInputs, RecursiveProof, RootParityInput, RootParityInputs, RootRollupInputs, RootRollupPublicInputs, TubeInputs, VerificationKeyData, } from '@aztec/circuits.js';
2
2
  import { createJsonRpcClient, makeFetch } from '@aztec/foundation/json-rpc/client';
3
3
  import { JsonRpcServer } from '@aztec/foundation/json-rpc/server';
4
4
  import { ProvingError } from './proving-error.js';
5
5
  export function createProvingJobSourceServer(queue) {
6
6
  return new JsonRpcServer(queue, {
7
+ AvmVerificationKeyData,
7
8
  AvmCircuitInputs,
8
9
  BaseOrMergeRollupPublicInputs,
9
10
  BaseParityInputs,
@@ -33,6 +34,7 @@ export function createProvingJobSourceServer(queue) {
33
34
  }
34
35
  export function createProvingJobSourceClient(url, namespace, fetch = makeFetch([1, 2, 3], false)) {
35
36
  return createJsonRpcClient(url, {
37
+ AvmVerificationKeyData,
36
38
  AvmCircuitInputs,
37
39
  BaseOrMergeRollupPublicInputs,
38
40
  BaseParityInputs,
@@ -76,4 +78,4 @@ export function createProverAgentRpcServer(agent) {
76
78
  ['start', 'stop', 'setCircuitProver', 'work', 'getProof']);
77
79
  return rpc;
78
80
  }
79
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicnBjLmpzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3Byb3Zlci1hZ2VudC9ycGMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxFQUNMLGdCQUFnQixFQUNoQixZQUFZLEVBQ1osNkJBQTZCLEVBQzdCLGdCQUFnQixFQUNoQixnQkFBZ0IsRUFDaEIsc0JBQXNCLEVBQ3RCLGlDQUFpQyxFQUNqQyxxQkFBcUIsRUFDckIsVUFBVSxFQUNWLEVBQUUsRUFDRixNQUFNLEVBQ04seUJBQXlCLEVBQ3pCLGlCQUFpQixFQUNqQixrQkFBa0IsRUFDbEIsMkJBQTJCLEVBQzNCLEtBQUssRUFDTCxnQ0FBZ0MsRUFDaEMsK0JBQStCLEVBQy9CLG9DQUFvQyxFQUNwQyxjQUFjLEVBQ2QsZUFBZSxFQUNmLGdCQUFnQixFQUNoQixnQkFBZ0IsRUFDaEIsc0JBQXNCLEVBQ3RCLFVBQVUsRUFDVixtQkFBbUIsR0FDcEIsTUFBTSxvQkFBb0IsQ0FBQztBQUM1QixPQUFPLEVBQUUsbUJBQW1CLEVBQUUsU0FBUyxFQUFFLE1BQU0sbUNBQW1DLENBQUM7QUFDbkYsT0FBTyxFQUFFLGFBQWEsRUFBRSxNQUFNLG1DQUFtQyxDQUFDO0FBR2xFLE9BQU8sRUFBRSxZQUFZLEVBQUUsTUFBTSxvQkFBb0IsQ0FBQztBQUVsRCxNQUFNLFVBQVUsNEJBQTRCLENBQUMsS0FBdUI7SUFDbEUsT0FBTyxJQUFJLGFBQWEsQ0FDdEIsS0FBSyxFQUNMO1FBQ0UsZ0JBQWdCO1FBQ2hCLDZCQUE2QjtRQUM3QixnQkFBZ0I7UUFDaEIsZ0JBQWdCO1FBQ2hCLEVBQUU7UUFDRixNQUFNO1FBQ04seUJBQXlCO1FBQ3pCLGlCQUFpQjtRQUNqQixrQkFBa0I7UUFDbEIsS0FBSztRQUNMLFlBQVk7UUFDWiwyQkFBMkI7UUFDM0IsZ0NBQWdDO1FBQ2hDLCtCQUErQjtRQUMvQixvQ0FBb0M7UUFDcEMsY0FBYztRQUNkLGVBQWU7UUFDZixnQkFBZ0I7UUFDaEIsZ0JBQWdCO1FBQ2hCLHNCQUFzQjtRQUN0QixVQUFVO1FBQ1YsbUJBQW1CO1FBQ25CLGlDQUFpQztRQUNqQyxzQkFBc0I7UUFDdEIscUJBQXFCO0tBQ3RCLEVBQ0QsRUFBRSxDQUNILENBQUM7QUFDSixDQUFDO0FBRUQsTUFBTSxVQUFVLDRCQUE0QixDQUMxQyxHQUFXLEVBQ1gsU0FBa0IsRUFDbEIsS0FBSyxHQUFHLFNBQVMsQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsS0FBSyxDQUFDO0lBRW5DLE9BQU8sbUJBQW1CLENBQ3hCLEdBQUcsRUFDSDtRQUNFLGdCQUFnQjtRQUNoQiw2QkFBNkI7UUFDN0IsZ0JBQWdCO1FBQ2hCLGdCQUFnQjtRQUNoQixFQUFFO1FBQ0YsTUFBTTtRQUNOLHlCQUF5QjtRQUN6QixpQkFBaUI7UUFDakIsa0JBQWtCO1FBQ2xCLEtBQUs7UUFDTCxZQUFZO1FBQ1osMkJBQTJCO1FBQzNCLGdDQUFnQztRQUNoQywrQkFBK0I7UUFDL0Isb0NBQW9DO1FBQ3BDLGNBQWM7UUFDZCxlQUFlO1FBQ2YsZ0JBQWdCO1FBQ2hCLHNCQUFzQjtRQUN0QixnQkFBZ0I7UUFDaEIsVUFBVTtRQUNWLG1CQUFtQjtRQUNuQixpQ0FBaUM7UUFDakMsc0JBQXNCO1FBQ3RCLHFCQUFxQjtLQUN0QixFQUNELEVBQUUsRUFDRixLQUFLLEVBQ0wsU0FBUyxFQUNULEtBQUssQ0FDYyxDQUFDO0FBQ3hCLENBQUM7QUFFRDs7OztHQUlHO0FBQ0gsTUFBTSxVQUFVLDBCQUEwQixDQUFDLEtBQWtCO0lBQzNELE1BQU0sR0FBRyxHQUFHLElBQUksYUFBYSxDQUMzQixLQUFLLEVBQ0w7UUFDRSxZQUFZO1FBQ1osVUFBVTtRQUNWLEVBQUU7UUFDRixNQUFNO0tBQ1AsRUFDRCxFQUFFO0lBQ0Ysa0JBQWtCO0lBQ2xCLENBQUMsT0FBTyxFQUFFLE1BQU0sRUFBRSxrQkFBa0IsRUFBRSxNQUFNLEVBQUUsVUFBVSxDQUFDLENBQzFELENBQUM7SUFDRixPQUFPLEdBQUcsQ0FBQztBQUNiLENBQUMifQ==
81
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicnBjLmpzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3Byb3Zlci1hZ2VudC9ycGMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxFQUNMLGdCQUFnQixFQUNoQixzQkFBc0IsRUFDdEIsWUFBWSxFQUNaLDZCQUE2QixFQUM3QixnQkFBZ0IsRUFDaEIsZ0JBQWdCLEVBQ2hCLHNCQUFzQixFQUN0QixpQ0FBaUMsRUFDakMscUJBQXFCLEVBQ3JCLFVBQVUsRUFDVixFQUFFLEVBQ0YsTUFBTSxFQUNOLHlCQUF5QixFQUN6QixpQkFBaUIsRUFDakIsa0JBQWtCLEVBQ2xCLDJCQUEyQixFQUMzQixLQUFLLEVBQ0wsZ0NBQWdDLEVBQ2hDLCtCQUErQixFQUMvQixvQ0FBb0MsRUFDcEMsY0FBYyxFQUNkLGVBQWUsRUFDZixnQkFBZ0IsRUFDaEIsZ0JBQWdCLEVBQ2hCLHNCQUFzQixFQUN0QixVQUFVLEVBQ1YsbUJBQW1CLEdBQ3BCLE1BQU0sb0JBQW9CLENBQUM7QUFDNUIsT0FBTyxFQUFFLG1CQUFtQixFQUFFLFNBQVMsRUFBRSxNQUFNLG1DQUFtQyxDQUFDO0FBQ25GLE9BQU8sRUFBRSxhQUFhLEVBQUUsTUFBTSxtQ0FBbUMsQ0FBQztBQUdsRSxPQUFPLEVBQUUsWUFBWSxFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFFbEQsTUFBTSxVQUFVLDRCQUE0QixDQUFDLEtBQXVCO0lBQ2xFLE9BQU8sSUFBSSxhQUFhLENBQ3RCLEtBQUssRUFDTDtRQUNFLHNCQUFzQjtRQUN0QixnQkFBZ0I7UUFDaEIsNkJBQTZCO1FBQzdCLGdCQUFnQjtRQUNoQixnQkFBZ0I7UUFDaEIsRUFBRTtRQUNGLE1BQU07UUFDTix5QkFBeUI7UUFDekIsaUJBQWlCO1FBQ2pCLGtCQUFrQjtRQUNsQixLQUFLO1FBQ0wsWUFBWTtRQUNaLDJCQUEyQjtRQUMzQixnQ0FBZ0M7UUFDaEMsK0JBQStCO1FBQy9CLG9DQUFvQztRQUNwQyxjQUFjO1FBQ2QsZUFBZTtRQUNmLGdCQUFnQjtRQUNoQixnQkFBZ0I7UUFDaEIsc0JBQXNCO1FBQ3RCLFVBQVU7UUFDVixtQkFBbUI7UUFDbkIsaUNBQWlDO1FBQ2pDLHNCQUFzQjtRQUN0QixxQkFBcUI7S0FDdEIsRUFDRCxFQUFFLENBQ0gsQ0FBQztBQUNKLENBQUM7QUFFRCxNQUFNLFVBQVUsNEJBQTRCLENBQzFDLEdBQVcsRUFDWCxTQUFrQixFQUNsQixLQUFLLEdBQUcsU0FBUyxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxLQUFLLENBQUM7SUFFbkMsT0FBTyxtQkFBbUIsQ0FDeEIsR0FBRyxFQUNIO1FBQ0Usc0JBQXNCO1FBQ3RCLGdCQUFnQjtRQUNoQiw2QkFBNkI7UUFDN0IsZ0JBQWdCO1FBQ2hCLGdCQUFnQjtRQUNoQixFQUFFO1FBQ0YsTUFBTTtRQUNOLHlCQUF5QjtRQUN6QixpQkFBaUI7UUFDakIsa0JBQWtCO1FBQ2xCLEtBQUs7UUFDTCxZQUFZO1FBQ1osMkJBQTJCO1FBQzNCLGdDQUFnQztRQUNoQywrQkFBK0I7UUFDL0Isb0NBQW9DO1FBQ3BDLGNBQWM7UUFDZCxlQUFlO1FBQ2YsZ0JBQWdCO1FBQ2hCLHNCQUFzQjtRQUN0QixnQkFBZ0I7UUFDaEIsVUFBVTtRQUNWLG1CQUFtQjtRQUNuQixpQ0FBaUM7UUFDakMsc0JBQXNCO1FBQ3RCLHFCQUFxQjtLQUN0QixFQUNELEVBQUUsRUFDRixLQUFLLEVBQ0wsU0FBUyxFQUNULEtBQUssQ0FDYyxDQUFDO0FBQ3hCLENBQUM7QUFFRDs7OztHQUlHO0FBQ0gsTUFBTSxVQUFVLDBCQUEwQixDQUFDLEtBQWtCO0lBQzNELE1BQU0sR0FBRyxHQUFHLElBQUksYUFBYSxDQUMzQixLQUFLLEVBQ0w7UUFDRSxZQUFZO1FBQ1osVUFBVTtRQUNWLEVBQUU7UUFDRixNQUFNO0tBQ1AsRUFDRCxFQUFFO0lBQ0Ysa0JBQWtCO0lBQ2xCLENBQUMsT0FBTyxFQUFFLE1BQU0sRUFBRSxrQkFBa0IsRUFBRSxNQUFNLEVBQUUsVUFBVSxDQUFDLENBQzFELENBQUM7SUFDRixPQUFPLEdBQUcsQ0FBQztBQUNiLENBQUMifQ==
@@ -0,0 +1,25 @@
1
+ import { type PublicInputsAndRecursiveProof, type PublicInputsAndTubeProof, type ServerCircuitProver } from '@aztec/circuit-types';
2
+ import { AvmVerificationKeyData, type BaseOrMergeRollupPublicInputs, type BlockRootOrBlockMergePublicInputs, type KernelCircuitPublicInputs, type PublicKernelCircuitPublicInputs, RECURSIVE_PROOF_LENGTH, type RecursiveProof, type RootRollupPublicInputs, VerificationKeyData } from '@aztec/circuits.js';
3
+ export declare class MockProver implements ServerCircuitProver {
4
+ constructor();
5
+ getAvmProof(): Promise<{
6
+ proof: import("@aztec/circuits.js").Proof;
7
+ verificationKey: AvmVerificationKeyData;
8
+ }>;
9
+ getBaseParityProof(): Promise<import("@aztec/circuits.js").RootParityInput<439>>;
10
+ getRootParityProof(): Promise<import("@aztec/circuits.js").RootParityInput<439>>;
11
+ getBaseRollupProof(): Promise<PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs>>;
12
+ getMergeRollupProof(): Promise<PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs>>;
13
+ getBlockMergeRollupProof(): Promise<PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs>>;
14
+ getBlockRootRollupProof(): Promise<PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs>>;
15
+ getEmptyPrivateKernelProof(): Promise<PublicInputsAndRecursiveProof<KernelCircuitPublicInputs>>;
16
+ getEmptyTubeProof(): Promise<PublicInputsAndTubeProof<KernelCircuitPublicInputs>>;
17
+ getPublicKernelProof(): Promise<PublicInputsAndRecursiveProof<PublicKernelCircuitPublicInputs>>;
18
+ getPublicTailProof(): Promise<PublicInputsAndRecursiveProof<KernelCircuitPublicInputs>>;
19
+ getRootRollupProof(): Promise<PublicInputsAndRecursiveProof<RootRollupPublicInputs>>;
20
+ getTubeProof(): Promise<{
21
+ tubeVK: VerificationKeyData;
22
+ tubeProof: RecursiveProof<typeof RECURSIVE_PROOF_LENGTH>;
23
+ }>;
24
+ }
25
+ //# sourceMappingURL=mock_prover.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"mock_prover.d.ts","sourceRoot":"","sources":["../../src/test/mock_prover.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,6BAA6B,EAClC,KAAK,wBAAwB,EAC7B,KAAK,mBAAmB,EAEzB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,sBAAsB,EACtB,KAAK,6BAA6B,EAClC,KAAK,iCAAiC,EACtC,KAAK,yBAAyB,EAC9B,KAAK,+BAA+B,EACpC,sBAAsB,EACtB,KAAK,cAAc,EACnB,KAAK,sBAAsB,EAC3B,mBAAmB,EAGpB,MAAM,oBAAoB,CAAC;AAU5B,qBAAa,UAAW,YAAW,mBAAmB;;IAGpD,WAAW;;;;IASX,kBAAkB;IAIlB,kBAAkB;IAIlB,kBAAkB;IAUlB,mBAAmB,IAAI,OAAO,CAAC,6BAA6B,CAAC,6BAA6B,CAAC,CAAC;IAU5F,wBAAwB;IAUxB,uBAAuB,IAAI,OAAO,CAAC,6BAA6B,CAAC,iCAAiC,CAAC,CAAC;IAUpG,0BAA0B,IAAI,OAAO,CAAC,6BAA6B,CAAC,yBAAyB,CAAC,CAAC;IAU/F,iBAAiB,IAAI,OAAO,CAAC,wBAAwB,CAAC,yBAAyB,CAAC,CAAC;IAUjF,oBAAoB,IAAI,OAAO,CAAC,6BAA6B,CAAC,+BAA+B,CAAC,CAAC;IAU/F,kBAAkB,IAAI,OAAO,CAAC,6BAA6B,CAAC,yBAAyB,CAAC,CAAC;IAUvF,kBAAkB,IAAI,OAAO,CAAC,6BAA6B,CAAC,sBAAsB,CAAC,CAAC;IAUpF,YAAY,IAAI,OAAO,CAAC;QACtB,MAAM,EAAE,mBAAmB,CAAC;QAC5B,SAAS,EAAE,cAAc,CAAC,OAAO,sBAAsB,CAAC,CAAC;KAC1D,CAAC;CAMH"}
@@ -0,0 +1,52 @@
1
+ import { makePublicInputsAndRecursiveProof, } from '@aztec/circuit-types';
2
+ import { AvmVerificationKeyData, RECURSIVE_PROOF_LENGTH, VerificationKeyData, makeEmptyProof, makeRecursiveProof, } from '@aztec/circuits.js';
3
+ import { makeBaseOrMergeRollupPublicInputs, makeBlockRootOrBlockMergeRollupPublicInputs, makeKernelCircuitPublicInputs, makePublicKernelCircuitPublicInputs, makeRootParityInput, makeRootRollupPublicInputs, } from '@aztec/circuits.js/testing';
4
+ export class MockProver {
5
+ constructor() { }
6
+ getAvmProof() {
7
+ return Promise.resolve(Promise.resolve({
8
+ proof: makeEmptyProof(),
9
+ verificationKey: AvmVerificationKeyData.makeFake(),
10
+ }));
11
+ }
12
+ getBaseParityProof() {
13
+ return Promise.resolve(makeRootParityInput(RECURSIVE_PROOF_LENGTH));
14
+ }
15
+ getRootParityProof() {
16
+ return Promise.resolve(makeRootParityInput(RECURSIVE_PROOF_LENGTH));
17
+ }
18
+ getBaseRollupProof() {
19
+ return Promise.resolve(makePublicInputsAndRecursiveProof(makeBaseOrMergeRollupPublicInputs(), makeRecursiveProof(RECURSIVE_PROOF_LENGTH), VerificationKeyData.makeFake()));
20
+ }
21
+ getMergeRollupProof() {
22
+ return Promise.resolve(makePublicInputsAndRecursiveProof(makeBaseOrMergeRollupPublicInputs(), makeRecursiveProof(RECURSIVE_PROOF_LENGTH), VerificationKeyData.makeFake()));
23
+ }
24
+ getBlockMergeRollupProof() {
25
+ return Promise.resolve(makePublicInputsAndRecursiveProof(makeBlockRootOrBlockMergeRollupPublicInputs(), makeRecursiveProof(RECURSIVE_PROOF_LENGTH), VerificationKeyData.makeFake()));
26
+ }
27
+ getBlockRootRollupProof() {
28
+ return Promise.resolve(makePublicInputsAndRecursiveProof(makeBlockRootOrBlockMergeRollupPublicInputs(), makeRecursiveProof(RECURSIVE_PROOF_LENGTH), VerificationKeyData.makeFake()));
29
+ }
30
+ getEmptyPrivateKernelProof() {
31
+ return Promise.resolve(makePublicInputsAndRecursiveProof(makeKernelCircuitPublicInputs(), makeRecursiveProof(RECURSIVE_PROOF_LENGTH), VerificationKeyData.makeFake()));
32
+ }
33
+ getEmptyTubeProof() {
34
+ return Promise.resolve(makePublicInputsAndRecursiveProof(makeKernelCircuitPublicInputs(), makeRecursiveProof(RECURSIVE_PROOF_LENGTH), VerificationKeyData.makeFake()));
35
+ }
36
+ getPublicKernelProof() {
37
+ return Promise.resolve(makePublicInputsAndRecursiveProof(makePublicKernelCircuitPublicInputs(), makeRecursiveProof(RECURSIVE_PROOF_LENGTH), VerificationKeyData.makeFake()));
38
+ }
39
+ getPublicTailProof() {
40
+ return Promise.resolve(makePublicInputsAndRecursiveProof(makeKernelCircuitPublicInputs(), makeRecursiveProof(RECURSIVE_PROOF_LENGTH), VerificationKeyData.makeFake()));
41
+ }
42
+ getRootRollupProof() {
43
+ return Promise.resolve(makePublicInputsAndRecursiveProof(makeRootRollupPublicInputs(), makeRecursiveProof(RECURSIVE_PROOF_LENGTH), VerificationKeyData.makeFake()));
44
+ }
45
+ getTubeProof() {
46
+ return Promise.resolve({
47
+ tubeVK: VerificationKeyData.makeFake(),
48
+ tubeProof: makeRecursiveProof(RECURSIVE_PROOF_LENGTH),
49
+ });
50
+ }
51
+ }
52
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibW9ja19wcm92ZXIuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvdGVzdC9tb2NrX3Byb3Zlci50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBSUwsaUNBQWlDLEdBQ2xDLE1BQU0sc0JBQXNCLENBQUM7QUFDOUIsT0FBTyxFQUNMLHNCQUFzQixFQUt0QixzQkFBc0IsRUFHdEIsbUJBQW1CLEVBQ25CLGNBQWMsRUFDZCxrQkFBa0IsR0FDbkIsTUFBTSxvQkFBb0IsQ0FBQztBQUM1QixPQUFPLEVBQ0wsaUNBQWlDLEVBQ2pDLDJDQUEyQyxFQUMzQyw2QkFBNkIsRUFDN0IsbUNBQW1DLEVBQ25DLG1CQUFtQixFQUNuQiwwQkFBMEIsR0FDM0IsTUFBTSw0QkFBNEIsQ0FBQztBQUVwQyxNQUFNLE9BQU8sVUFBVTtJQUNyQixnQkFBZSxDQUFDO0lBRWhCLFdBQVc7UUFDVCxPQUFPLE9BQU8sQ0FBQyxPQUFPLENBQ3BCLE9BQU8sQ0FBQyxPQUFPLENBQUM7WUFDZCxLQUFLLEVBQUUsY0FBYyxFQUFFO1lBQ3ZCLGVBQWUsRUFBRSxzQkFBc0IsQ0FBQyxRQUFRLEVBQUU7U0FDbkQsQ0FBQyxDQUNILENBQUM7SUFDSixDQUFDO0lBRUQsa0JBQWtCO1FBQ2hCLE9BQU8sT0FBTyxDQUFDLE9BQU8sQ0FBQyxtQkFBbUIsQ0FBQyxzQkFBc0IsQ0FBQyxDQUFDLENBQUM7SUFDdEUsQ0FBQztJQUVELGtCQUFrQjtRQUNoQixPQUFPLE9BQU8sQ0FBQyxPQUFPLENBQUMsbUJBQW1CLENBQUMsc0JBQXNCLENBQUMsQ0FBQyxDQUFDO0lBQ3RFLENBQUM7SUFFRCxrQkFBa0I7UUFDaEIsT0FBTyxPQUFPLENBQUMsT0FBTyxDQUNwQixpQ0FBaUMsQ0FDL0IsaUNBQWlDLEVBQUUsRUFDbkMsa0JBQWtCLENBQUMsc0JBQXNCLENBQUMsRUFDMUMsbUJBQW1CLENBQUMsUUFBUSxFQUFFLENBQy9CLENBQ0YsQ0FBQztJQUNKLENBQUM7SUFFRCxtQkFBbUI7UUFDakIsT0FBTyxPQUFPLENBQUMsT0FBTyxDQUNwQixpQ0FBaUMsQ0FDL0IsaUNBQWlDLEVBQUUsRUFDbkMsa0JBQWtCLENBQUMsc0JBQXNCLENBQUMsRUFDMUMsbUJBQW1CLENBQUMsUUFBUSxFQUFFLENBQy9CLENBQ0YsQ0FBQztJQUNKLENBQUM7SUFFRCx3QkFBd0I7UUFDdEIsT0FBTyxPQUFPLENBQUMsT0FBTyxDQUNwQixpQ0FBaUMsQ0FDL0IsMkNBQTJDLEVBQUUsRUFDN0Msa0JBQWtCLENBQUMsc0JBQXNCLENBQUMsRUFDMUMsbUJBQW1CLENBQUMsUUFBUSxFQUFFLENBQy9CLENBQ0YsQ0FBQztJQUNKLENBQUM7SUFFRCx1QkFBdUI7UUFDckIsT0FBTyxPQUFPLENBQUMsT0FBTyxDQUNwQixpQ0FBaUMsQ0FDL0IsMkNBQTJDLEVBQUUsRUFDN0Msa0JBQWtCLENBQUMsc0JBQXNCLENBQUMsRUFDMUMsbUJBQW1CLENBQUMsUUFBUSxFQUFFLENBQy9CLENBQ0YsQ0FBQztJQUNKLENBQUM7SUFFRCwwQkFBMEI7UUFDeEIsT0FBTyxPQUFPLENBQUMsT0FBTyxDQUNwQixpQ0FBaUMsQ0FDL0IsNkJBQTZCLEVBQUUsRUFDL0Isa0JBQWtCLENBQUMsc0JBQXNCLENBQUMsRUFDMUMsbUJBQW1CLENBQUMsUUFBUSxFQUFFLENBQy9CLENBQ0YsQ0FBQztJQUNKLENBQUM7SUFFRCxpQkFBaUI7UUFDZixPQUFPLE9BQU8sQ0FBQyxPQUFPLENBQ3BCLGlDQUFpQyxDQUMvQiw2QkFBNkIsRUFBRSxFQUMvQixrQkFBa0IsQ0FBQyxzQkFBc0IsQ0FBQyxFQUMxQyxtQkFBbUIsQ0FBQyxRQUFRLEVBQUUsQ0FDL0IsQ0FDRixDQUFDO0lBQ0osQ0FBQztJQUVELG9CQUFvQjtRQUNsQixPQUFPLE9BQU8sQ0FBQyxPQUFPLENBQ3BCLGlDQUFpQyxDQUMvQixtQ0FBbUMsRUFBRSxFQUNyQyxrQkFBa0IsQ0FBQyxzQkFBc0IsQ0FBQyxFQUMxQyxtQkFBbUIsQ0FBQyxRQUFRLEVBQUUsQ0FDL0IsQ0FDRixDQUFDO0lBQ0osQ0FBQztJQUVELGtCQUFrQjtRQUNoQixPQUFPLE9BQU8sQ0FBQyxPQUFPLENBQ3BCLGlDQUFpQyxDQUMvQiw2QkFBNkIsRUFBRSxFQUMvQixrQkFBa0IsQ0FBQyxzQkFBc0IsQ0FBQyxFQUMxQyxtQkFBbUIsQ0FBQyxRQUFRLEVBQUUsQ0FDL0IsQ0FDRixDQUFDO0lBQ0osQ0FBQztJQUVELGtCQUFrQjtRQUNoQixPQUFPLE9BQU8sQ0FBQyxPQUFPLENBQ3BCLGlDQUFpQyxDQUMvQiwwQkFBMEIsRUFBRSxFQUM1QixrQkFBa0IsQ0FBQyxzQkFBc0IsQ0FBQyxFQUMxQyxtQkFBbUIsQ0FBQyxRQUFRLEVBQUUsQ0FDL0IsQ0FDRixDQUFDO0lBQ0osQ0FBQztJQUVELFlBQVk7UUFJVixPQUFPLE9BQU8sQ0FBQyxPQUFPLENBQUM7WUFDckIsTUFBTSxFQUFFLG1CQUFtQixDQUFDLFFBQVEsRUFBRTtZQUN0QyxTQUFTLEVBQUUsa0JBQWtCLENBQUMsc0JBQXNCLENBQUM7U0FDdEQsQ0FBQyxDQUFDO0lBQ0wsQ0FBQztDQUNGIn0=
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@aztec/prover-client",
3
- "version": "0.55.0",
3
+ "version": "0.55.1",
4
4
  "type": "module",
5
5
  "exports": {
6
6
  ".": "./dest/index.js",
@@ -59,15 +59,15 @@
59
59
  ]
60
60
  },
61
61
  "dependencies": {
62
- "@aztec/bb-prover": "0.55.0",
63
- "@aztec/circuit-types": "0.55.0",
64
- "@aztec/circuits.js": "0.55.0",
65
- "@aztec/foundation": "0.55.0",
66
- "@aztec/kv-store": "0.55.0",
67
- "@aztec/noir-protocol-circuits-types": "0.55.0",
68
- "@aztec/simulator": "0.55.0",
69
- "@aztec/telemetry-client": "0.55.0",
70
- "@aztec/world-state": "0.55.0",
62
+ "@aztec/bb-prover": "0.55.1",
63
+ "@aztec/circuit-types": "0.55.1",
64
+ "@aztec/circuits.js": "0.55.1",
65
+ "@aztec/foundation": "0.55.1",
66
+ "@aztec/kv-store": "0.55.1",
67
+ "@aztec/noir-protocol-circuits-types": "0.55.1",
68
+ "@aztec/simulator": "0.55.1",
69
+ "@aztec/telemetry-client": "0.55.1",
70
+ "@aztec/world-state": "0.55.1",
71
71
  "@noir-lang/types": "portal:../../noir/packages/types",
72
72
  "commander": "^12.1.0",
73
73
  "lodash.chunk": "^4.2.0",
@@ -80,6 +80,7 @@
80
80
  "@types/memdown": "^3.0.0",
81
81
  "@types/node": "^18.7.23",
82
82
  "@types/source-map-support": "^0.5.10",
83
+ "get-port": "^7.1.0",
83
84
  "jest": "^29.5.0",
84
85
  "jest-mock-extended": "^3.0.3",
85
86
  "ts-node": "^10.9.1",
@@ -1,6 +1,7 @@
1
1
  import { type ProvingJobSource } from '@aztec/circuit-types';
2
2
  import {
3
3
  AvmCircuitInputs,
4
+ AvmVerificationKeyData,
4
5
  AztecAddress,
5
6
  BaseOrMergeRollupPublicInputs,
6
7
  BaseParityInputs,
@@ -37,6 +38,7 @@ export function createProvingJobSourceServer(queue: ProvingJobSource): JsonRpcSe
37
38
  return new JsonRpcServer(
38
39
  queue,
39
40
  {
41
+ AvmVerificationKeyData,
40
42
  AvmCircuitInputs,
41
43
  BaseOrMergeRollupPublicInputs,
42
44
  BaseParityInputs,
@@ -75,6 +77,7 @@ export function createProvingJobSourceClient(
75
77
  return createJsonRpcClient(
76
78
  url,
77
79
  {
80
+ AvmVerificationKeyData,
78
81
  AvmCircuitInputs,
79
82
  BaseOrMergeRollupPublicInputs,
80
83
  BaseParityInputs,
@@ -0,0 +1,148 @@
1
+ import {
2
+ type PublicInputsAndRecursiveProof,
3
+ type PublicInputsAndTubeProof,
4
+ type ServerCircuitProver,
5
+ makePublicInputsAndRecursiveProof,
6
+ } from '@aztec/circuit-types';
7
+ import {
8
+ AvmVerificationKeyData,
9
+ type BaseOrMergeRollupPublicInputs,
10
+ type BlockRootOrBlockMergePublicInputs,
11
+ type KernelCircuitPublicInputs,
12
+ type PublicKernelCircuitPublicInputs,
13
+ RECURSIVE_PROOF_LENGTH,
14
+ type RecursiveProof,
15
+ type RootRollupPublicInputs,
16
+ VerificationKeyData,
17
+ makeEmptyProof,
18
+ makeRecursiveProof,
19
+ } from '@aztec/circuits.js';
20
+ import {
21
+ makeBaseOrMergeRollupPublicInputs,
22
+ makeBlockRootOrBlockMergeRollupPublicInputs,
23
+ makeKernelCircuitPublicInputs,
24
+ makePublicKernelCircuitPublicInputs,
25
+ makeRootParityInput,
26
+ makeRootRollupPublicInputs,
27
+ } from '@aztec/circuits.js/testing';
28
+
29
+ export class MockProver implements ServerCircuitProver {
30
+ constructor() {}
31
+
32
+ getAvmProof() {
33
+ return Promise.resolve(
34
+ Promise.resolve({
35
+ proof: makeEmptyProof(),
36
+ verificationKey: AvmVerificationKeyData.makeFake(),
37
+ }),
38
+ );
39
+ }
40
+
41
+ getBaseParityProof() {
42
+ return Promise.resolve(makeRootParityInput(RECURSIVE_PROOF_LENGTH));
43
+ }
44
+
45
+ getRootParityProof() {
46
+ return Promise.resolve(makeRootParityInput(RECURSIVE_PROOF_LENGTH));
47
+ }
48
+
49
+ getBaseRollupProof() {
50
+ return Promise.resolve(
51
+ makePublicInputsAndRecursiveProof(
52
+ makeBaseOrMergeRollupPublicInputs(),
53
+ makeRecursiveProof(RECURSIVE_PROOF_LENGTH),
54
+ VerificationKeyData.makeFake(),
55
+ ),
56
+ );
57
+ }
58
+
59
+ getMergeRollupProof(): Promise<PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs>> {
60
+ return Promise.resolve(
61
+ makePublicInputsAndRecursiveProof(
62
+ makeBaseOrMergeRollupPublicInputs(),
63
+ makeRecursiveProof(RECURSIVE_PROOF_LENGTH),
64
+ VerificationKeyData.makeFake(),
65
+ ),
66
+ );
67
+ }
68
+
69
+ getBlockMergeRollupProof() {
70
+ return Promise.resolve(
71
+ makePublicInputsAndRecursiveProof(
72
+ makeBlockRootOrBlockMergeRollupPublicInputs(),
73
+ makeRecursiveProof(RECURSIVE_PROOF_LENGTH),
74
+ VerificationKeyData.makeFake(),
75
+ ),
76
+ );
77
+ }
78
+
79
+ getBlockRootRollupProof(): Promise<PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs>> {
80
+ return Promise.resolve(
81
+ makePublicInputsAndRecursiveProof(
82
+ makeBlockRootOrBlockMergeRollupPublicInputs(),
83
+ makeRecursiveProof(RECURSIVE_PROOF_LENGTH),
84
+ VerificationKeyData.makeFake(),
85
+ ),
86
+ );
87
+ }
88
+
89
+ getEmptyPrivateKernelProof(): Promise<PublicInputsAndRecursiveProof<KernelCircuitPublicInputs>> {
90
+ return Promise.resolve(
91
+ makePublicInputsAndRecursiveProof(
92
+ makeKernelCircuitPublicInputs(),
93
+ makeRecursiveProof(RECURSIVE_PROOF_LENGTH),
94
+ VerificationKeyData.makeFake(),
95
+ ),
96
+ );
97
+ }
98
+
99
+ getEmptyTubeProof(): Promise<PublicInputsAndTubeProof<KernelCircuitPublicInputs>> {
100
+ return Promise.resolve(
101
+ makePublicInputsAndRecursiveProof(
102
+ makeKernelCircuitPublicInputs(),
103
+ makeRecursiveProof(RECURSIVE_PROOF_LENGTH),
104
+ VerificationKeyData.makeFake(),
105
+ ),
106
+ );
107
+ }
108
+
109
+ getPublicKernelProof(): Promise<PublicInputsAndRecursiveProof<PublicKernelCircuitPublicInputs>> {
110
+ return Promise.resolve(
111
+ makePublicInputsAndRecursiveProof(
112
+ makePublicKernelCircuitPublicInputs(),
113
+ makeRecursiveProof(RECURSIVE_PROOF_LENGTH),
114
+ VerificationKeyData.makeFake(),
115
+ ),
116
+ );
117
+ }
118
+
119
+ getPublicTailProof(): Promise<PublicInputsAndRecursiveProof<KernelCircuitPublicInputs>> {
120
+ return Promise.resolve(
121
+ makePublicInputsAndRecursiveProof(
122
+ makeKernelCircuitPublicInputs(),
123
+ makeRecursiveProof(RECURSIVE_PROOF_LENGTH),
124
+ VerificationKeyData.makeFake(),
125
+ ),
126
+ );
127
+ }
128
+
129
+ getRootRollupProof(): Promise<PublicInputsAndRecursiveProof<RootRollupPublicInputs>> {
130
+ return Promise.resolve(
131
+ makePublicInputsAndRecursiveProof(
132
+ makeRootRollupPublicInputs(),
133
+ makeRecursiveProof(RECURSIVE_PROOF_LENGTH),
134
+ VerificationKeyData.makeFake(),
135
+ ),
136
+ );
137
+ }
138
+
139
+ getTubeProof(): Promise<{
140
+ tubeVK: VerificationKeyData;
141
+ tubeProof: RecursiveProof<typeof RECURSIVE_PROOF_LENGTH>;
142
+ }> {
143
+ return Promise.resolve({
144
+ tubeVK: VerificationKeyData.makeFake(),
145
+ tubeProof: makeRecursiveProof(RECURSIVE_PROOF_LENGTH),
146
+ });
147
+ }
148
+ }