@aztec/ivc-integration 5.0.0-rc.2 → 5.0.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/artifacts/app_creator.json +92 -72
- package/artifacts/app_reader.json +92 -72
- package/artifacts/keys/mock_rollup_root_verifier.sol +263 -292
- package/artifacts/mock_hiding.json +126 -154
- package/artifacts/mock_private_kernel_init.json +277 -253
- package/artifacts/mock_private_kernel_inner.json +278 -254
- package/artifacts/mock_private_kernel_reset.json +144 -124
- package/artifacts/mock_private_kernel_tail.json +144 -124
- package/artifacts/mock_rollup_root.json +82 -82
- package/artifacts/mock_rollup_tx_base_private.json +129 -129
- package/artifacts/mock_rollup_tx_base_public.json +132 -132
- package/artifacts/mock_rollup_tx_merge.json +126 -126
- package/dest/prove_native.d.ts +1 -1
- package/dest/prove_native.d.ts.map +1 -1
- package/dest/prove_native.js +3 -6
- package/dest/types/index.d.ts +15 -15
- package/dest/witgen.d.ts +3 -3
- package/dest/witgen.d.ts.map +1 -1
- package/dest/witgen.js +2 -2
- package/package.json +16 -16
- package/src/prove_native.ts +3 -6
- package/src/types/index.ts +15 -15
- package/src/witgen.ts +4 -4
package/dest/witgen.d.ts
CHANGED
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
import { AVM_CIRCUIT_PUBLIC_INPUTS_LENGTH,
|
|
1
|
+
import { AVM_CIRCUIT_PUBLIC_INPUTS_LENGTH, AVM_V2_PROOF_LENGTH_IN_FIELDS, MEGA_VK_LENGTH_IN_FIELDS } from '@aztec/constants';
|
|
2
2
|
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
3
3
|
import type { AvmCircuitPublicInputs } from '@aztec/stdlib/avm';
|
|
4
4
|
import type { RecursiveProof } from '@aztec/stdlib/proofs';
|
|
@@ -77,10 +77,10 @@ export declare function witnessGenMockRollupTxMergeCircuit(args: MockRollupTxMer
|
|
|
77
77
|
export declare function witnessGenMockRollupRootCircuit(args: MockRollupRootInputType): Promise<WitnessGenResult<RollupPublicInputs>>;
|
|
78
78
|
export declare function generateTestingIVCStack(numCreatorAppCalls: number, numReaderAppCalls: number): Promise<[Uint8Array[], Uint8Array[], KernelPublicInputs, Uint8Array[]]>;
|
|
79
79
|
export declare function mapRecursiveProofToNoir<N extends number>(proof: RecursiveProof<N>): FixedLengthArray<string, N>;
|
|
80
|
-
export declare function mapAvmProofToNoir(proof: Fr[]): FixedLengthArray<string, typeof
|
|
80
|
+
export declare function mapAvmProofToNoir(proof: Fr[]): FixedLengthArray<string, typeof AVM_V2_PROOF_LENGTH_IN_FIELDS>;
|
|
81
81
|
export declare function mapVerificationKeyToNoir<N extends number>(vk: VerificationKeyAsFields, len: N): {
|
|
82
82
|
key: FixedLengthArray<string, N>;
|
|
83
83
|
hash: string;
|
|
84
84
|
};
|
|
85
85
|
export declare function mapAvmPublicInputsToNoir(publicInputs: AvmCircuitPublicInputs): FixedLengthArray<string, typeof AVM_CIRCUIT_PUBLIC_INPUTS_LENGTH>;
|
|
86
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
86
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoid2l0Z2VuLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvd2l0Z2VuLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFDTCxnQ0FBZ0MsRUFDaEMsNkJBQTZCLEVBQzdCLHdCQUF3QixFQUN6QixNQUFNLGtCQUFrQixDQUFDO0FBRTFCLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUdwRCxPQUFPLEtBQUssRUFBRSxzQkFBc0IsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBQ2hFLE9BQU8sS0FBSyxFQUFFLGNBQWMsRUFBRSxNQUFNLHNCQUFzQixDQUFDO0FBQzNELE9BQU8sRUFBRSx1QkFBdUIsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBSzVELE9BQU8scUJBQXFCLE1BQU0sK0JBQStCLENBQXVCO0FBQ3hGLE9BQU8sb0JBQW9CLE1BQU0sOEJBQThCLENBQXVCO0FBQ3RGLE9BQU8saUJBQWlCLE1BQU0sK0JBQStCLENBQXVCO0FBQ3BGLE9BQU8sNEJBQTRCLE1BQU0sNENBQTRDLENBQXVCO0FBQzVHLE9BQU8sNkJBQTZCLE1BQU0sNkNBQTZDLENBQXVCO0FBQzlHLE9BQU8sNkJBQTZCLE1BQU0sNkNBQTZDLENBQXVCO0FBQzlHLE9BQU8sNEJBQTRCLE1BQU0sNENBQTRDLENBQXVCO0FBQzVHLE9BQU8scUJBQXFCLE1BQU0sb0NBQW9DLENBQXVCO0FBQzdGLE9BQU8sOEJBQThCLE1BQU0sK0NBQStDLENBQXVCO0FBQ2pILE9BQU8sNkJBQTZCLE1BQU0sOENBQThDLENBQXVCO0FBQy9HLE9BQU8sd0JBQXdCLE1BQU0sd0NBQXdDLENBQXVCO0FBQ3BHLE9BQU8sS0FBSyxFQUNWLG1CQUFtQixFQUNuQixlQUFlLEVBQ2Ysa0JBQWtCLEVBQ2xCLGdCQUFnQixFQUNoQixrQkFBa0IsRUFDbEIsbUJBQW1CLEVBQ25CLDhCQUE4QixFQUM5QiwrQkFBK0IsRUFDL0IsK0JBQStCLEVBQy9CLDhCQUE4QixFQUM5Qix1QkFBdUIsRUFDdkIsZ0NBQWdDLEVBQ2hDLCtCQUErQixFQUMvQiwwQkFBMEIsRUFDMUIseUJBQXlCLEVBQ3pCLGtCQUFrQixFQUNsQixlQUFlLEVBQ2hCLE1BQU0sa0JBQWtCLENBQUM7QUFXMUIsUUFBQSxNQUFNLGdCQUFnQjs7O0NBQThDLENBQUM7QUFDckUsUUFBQSxNQUFNLGVBQWU7OztDQUE2QyxDQUFDO0FBQ25FLFFBQUEsTUFBTSx1QkFBdUI7OztDQUFxRCxDQUFDO0FBQ25GLFFBQUEsTUFBTSx3QkFBd0I7OztDQUFzRCxDQUFDO0FBQ3JGLFFBQUEsTUFBTSx3QkFBd0I7OztDQUFzRCxDQUFDO0FBQ3JGLFFBQUEsTUFBTSx1QkFBdUI7OztDQUFxRCxDQUFDO0FBRW5GLFFBQUEsTUFBTSx5QkFBeUI7OztDQUF1RCxDQUFDO0FBQ3ZGLFFBQUEsTUFBTSx3QkFBd0I7OztDQUFzRCxDQUFDO0FBQ3JGLFFBQUEsTUFBTSxtQkFBbUI7OztDQUFpRCxDQUFDO0FBQzNFLFFBQUEsTUFBTSxnQkFBZ0I7OztDQUE4QyxDQUFDO0FBR3JFLE9BQU8sRUFDTCxxQkFBcUIsRUFDckIsZ0JBQWdCLEVBQ2hCLG9CQUFvQixFQUNwQixlQUFlLEVBQ2YsNEJBQTRCLEVBQzVCLHVCQUF1QixFQUN2Qiw2QkFBNkIsRUFDN0Isd0JBQXdCLEVBQ3hCLDZCQUE2QixFQUM3Qix3QkFBd0IsRUFDeEIsNEJBQTRCLEVBQzVCLGlCQUFpQixFQUNqQix1QkFBdUIsRUFDdkIsOEJBQThCLEVBQzlCLHlCQUF5QixFQUN6Qiw2QkFBNkIsRUFDN0Isd0JBQXdCLEVBQ3hCLHdCQUF3QixFQUN4QixtQkFBbUIsRUFDbkIscUJBQXFCLEVBQ3JCLGdCQUFnQixHQUNqQixDQUFDO0FBTUYsd0JBQXNCLGFBQWEsQ0FBQyxFQUNsQyxXQUFXLEVBQ1osRUFBRTtJQUNELFdBQVcsRUFBRSxNQUFNLEVBQUUsQ0FBQztDQUN2QixHQUFHLE9BQU8sQ0FBQyxlQUFlLENBQUMsT0FBTyx3QkFBd0IsQ0FBQyxDQUFDLENBSTVEO0FBRUQsZUFBTyxNQUFNLDJCQUEyQixJQUFJLENBQUM7QUFlN0MsTUFBTSxXQUFXLGdCQUFnQixDQUFDLGdCQUFnQjtJQUNoRCxPQUFPLEVBQUUsVUFBVSxDQUFDO0lBQ3BCLFlBQVksRUFBRSxnQkFBZ0IsQ0FBQztDQUNoQztBQUVELHdCQUFzQiwrQkFBK0IsQ0FDbkQsSUFBSSxFQUFFLG1CQUFtQixHQUN4QixPQUFPLENBQUMsZ0JBQWdCLENBQUMsZUFBZSxDQUFDLENBQUMsQ0FPNUM7QUFFRCx3QkFBc0IsOEJBQThCLENBQ2xELElBQUksRUFBRSxrQkFBa0IsR0FDdkIsT0FBTyxDQUFDLGdCQUFnQixDQUFDLGVBQWUsQ0FBQyxDQUFDLENBTzVDO0FBRUQsd0JBQXNCLHNDQUFzQyxDQUMxRCxJQUFJLEVBQUUsOEJBQThCLEdBQ25DLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyx5QkFBeUIsQ0FBQyxDQUFDLENBT3REO0FBRUQsd0JBQXNCLHVDQUF1QyxDQUMzRCxJQUFJLEVBQUUsK0JBQStCLEdBQ3BDLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyx5QkFBeUIsQ0FBQyxDQUFDLENBT3REO0FBRUQsd0JBQXNCLHVDQUF1QyxDQUMzRCxJQUFJLEVBQUUsK0JBQStCLEdBQ3BDLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyx5QkFBeUIsQ0FBQyxDQUFDLENBT3REO0FBRUQsd0JBQXNCLHNDQUFzQyxDQUMxRCxJQUFJLEVBQUUsOEJBQThCLEdBQ25DLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDLENBTy9DO0FBRUQsd0JBQXNCLDJCQUEyQixDQUMvQyxJQUFJLEVBQUUsbUJBQW1CLEdBQ3hCLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDLENBTy9DO0FBRUQsd0JBQXNCLCtCQUErQixDQUNuRCxJQUFJLEVBQUUsK0JBQStCLEdBQ3BDLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDLENBTy9DO0FBRUQsd0JBQXNCLHdDQUF3QyxDQUM1RCxJQUFJLEVBQUUsZ0NBQWdDLEdBQ3JDLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDLENBTy9DO0FBRUQsd0JBQXNCLGtDQUFrQyxDQUN0RCxJQUFJLEVBQUUsMEJBQTBCLEdBQy9CLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDLENBTy9DO0FBRUQsd0JBQXNCLCtCQUErQixDQUNuRCxJQUFJLEVBQUUsdUJBQXVCLEdBQzVCLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDLENBTy9DO0FBRUQsd0JBQXNCLHVCQUF1QixDQUUzQyxrQkFBa0IsRUFBRSxNQUFNLEVBRzFCLGlCQUFpQixFQUFFLE1BQU0sR0FDeEIsT0FBTyxDQUFDLENBQUMsVUFBVSxFQUFFLEVBQUUsVUFBVSxFQUFFLEVBQUUsa0JBQWtCLEVBQUUsVUFBVSxFQUFFLENBQUMsQ0FBQyxDQXFJekU7QUFFRCx3QkFBZ0IsdUJBQXVCLENBQUMsQ0FBQyxTQUFTLE1BQU0sRUFBRSxLQUFLLEVBQUUsY0FBYyxDQUFDLENBQUMsQ0FBQyxHQUFHLGdCQUFnQixDQUFDLE1BQU0sRUFBRSxDQUFDLENBQUMsQ0FFL0c7QUFFRCx3QkFBZ0IsaUJBQWlCLENBQUMsS0FBSyxFQUFFLEVBQUUsRUFBRSxHQUFHLGdCQUFnQixDQUFDLE1BQU0sRUFBRSxPQUFPLDZCQUE2QixDQUFDLENBSzdHO0FBRUQsd0JBQWdCLHdCQUF3QixDQUFDLENBQUMsU0FBUyxNQUFNLEVBQ3ZELEVBQUUsRUFBRSx1QkFBdUIsRUFDM0IsR0FBRyxFQUFFLENBQUMsR0FDTDtJQUNELEdBQUcsRUFBRSxnQkFBZ0IsQ0FBQyxNQUFNLEVBQUUsQ0FBQyxDQUFDLENBQUM7SUFDakMsSUFBSSxFQUFFLE1BQU0sQ0FBQztDQUNkLENBUUE7QUFFRCx3QkFBZ0Isd0JBQXdCLENBQ3RDLFlBQVksRUFBRSxzQkFBc0IsR0FDbkMsZ0JBQWdCLENBQUMsTUFBTSxFQUFFLE9BQU8sZ0NBQWdDLENBQUMsQ0FNbkUifQ==
|
package/dest/witgen.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"witgen.d.ts","sourceRoot":"","sources":["../src/witgen.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gCAAgC,EAChC,
|
|
1
|
+
{"version":3,"file":"witgen.d.ts","sourceRoot":"","sources":["../src/witgen.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gCAAgC,EAChC,6BAA6B,EAC7B,wBAAwB,EACzB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAGpD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAChE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EAAE,uBAAuB,EAAE,MAAM,mBAAmB,CAAC;AAK5D,OAAO,qBAAqB,MAAM,+BAA+B,CAAuB;AACxF,OAAO,oBAAoB,MAAM,8BAA8B,CAAuB;AACtF,OAAO,iBAAiB,MAAM,+BAA+B,CAAuB;AACpF,OAAO,4BAA4B,MAAM,4CAA4C,CAAuB;AAC5G,OAAO,6BAA6B,MAAM,6CAA6C,CAAuB;AAC9G,OAAO,6BAA6B,MAAM,6CAA6C,CAAuB;AAC9G,OAAO,4BAA4B,MAAM,4CAA4C,CAAuB;AAC5G,OAAO,qBAAqB,MAAM,oCAAoC,CAAuB;AAC7F,OAAO,8BAA8B,MAAM,+CAA+C,CAAuB;AACjH,OAAO,6BAA6B,MAAM,8CAA8C,CAAuB;AAC/G,OAAO,wBAAwB,MAAM,wCAAwC,CAAuB;AACpG,OAAO,KAAK,EACV,mBAAmB,EACnB,eAAe,EACf,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,mBAAmB,EACnB,8BAA8B,EAC9B,+BAA+B,EAC/B,+BAA+B,EAC/B,8BAA8B,EAC9B,uBAAuB,EACvB,gCAAgC,EAChC,+BAA+B,EAC/B,0BAA0B,EAC1B,yBAAyB,EACzB,kBAAkB,EAClB,eAAe,EAChB,MAAM,kBAAkB,CAAC;AAW1B,QAAA,MAAM,gBAAgB;;;CAA8C,CAAC;AACrE,QAAA,MAAM,eAAe;;;CAA6C,CAAC;AACnE,QAAA,MAAM,uBAAuB;;;CAAqD,CAAC;AACnF,QAAA,MAAM,wBAAwB;;;CAAsD,CAAC;AACrF,QAAA,MAAM,wBAAwB;;;CAAsD,CAAC;AACrF,QAAA,MAAM,uBAAuB;;;CAAqD,CAAC;AAEnF,QAAA,MAAM,yBAAyB;;;CAAuD,CAAC;AACvF,QAAA,MAAM,wBAAwB;;;CAAsD,CAAC;AACrF,QAAA,MAAM,mBAAmB;;;CAAiD,CAAC;AAC3E,QAAA,MAAM,gBAAgB;;;CAA8C,CAAC;AAGrE,OAAO,EACL,qBAAqB,EACrB,gBAAgB,EAChB,oBAAoB,EACpB,eAAe,EACf,4BAA4B,EAC5B,uBAAuB,EACvB,6BAA6B,EAC7B,wBAAwB,EACxB,6BAA6B,EAC7B,wBAAwB,EACxB,4BAA4B,EAC5B,iBAAiB,EACjB,uBAAuB,EACvB,8BAA8B,EAC9B,yBAAyB,EACzB,6BAA6B,EAC7B,wBAAwB,EACxB,wBAAwB,EACxB,mBAAmB,EACnB,qBAAqB,EACrB,gBAAgB,GACjB,CAAC;AAMF,wBAAsB,aAAa,CAAC,EAClC,WAAW,EACZ,EAAE;IACD,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB,GAAG,OAAO,CAAC,eAAe,CAAC,OAAO,wBAAwB,CAAC,CAAC,CAI5D;AAED,eAAO,MAAM,2BAA2B,IAAI,CAAC;AAe7C,MAAM,WAAW,gBAAgB,CAAC,gBAAgB;IAChD,OAAO,EAAE,UAAU,CAAC;IACpB,YAAY,EAAE,gBAAgB,CAAC;CAChC;AAED,wBAAsB,+BAA+B,CACnD,IAAI,EAAE,mBAAmB,GACxB,OAAO,CAAC,gBAAgB,CAAC,eAAe,CAAC,CAAC,CAO5C;AAED,wBAAsB,8BAA8B,CAClD,IAAI,EAAE,kBAAkB,GACvB,OAAO,CAAC,gBAAgB,CAAC,eAAe,CAAC,CAAC,CAO5C;AAED,wBAAsB,sCAAsC,CAC1D,IAAI,EAAE,8BAA8B,GACnC,OAAO,CAAC,gBAAgB,CAAC,yBAAyB,CAAC,CAAC,CAOtD;AAED,wBAAsB,uCAAuC,CAC3D,IAAI,EAAE,+BAA+B,GACpC,OAAO,CAAC,gBAAgB,CAAC,yBAAyB,CAAC,CAAC,CAOtD;AAED,wBAAsB,uCAAuC,CAC3D,IAAI,EAAE,+BAA+B,GACpC,OAAO,CAAC,gBAAgB,CAAC,yBAAyB,CAAC,CAAC,CAOtD;AAED,wBAAsB,sCAAsC,CAC1D,IAAI,EAAE,8BAA8B,GACnC,OAAO,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,CAAC,CAO/C;AAED,wBAAsB,2BAA2B,CAC/C,IAAI,EAAE,mBAAmB,GACxB,OAAO,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,CAAC,CAO/C;AAED,wBAAsB,+BAA+B,CACnD,IAAI,EAAE,+BAA+B,GACpC,OAAO,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,CAAC,CAO/C;AAED,wBAAsB,wCAAwC,CAC5D,IAAI,EAAE,gCAAgC,GACrC,OAAO,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,CAAC,CAO/C;AAED,wBAAsB,kCAAkC,CACtD,IAAI,EAAE,0BAA0B,GAC/B,OAAO,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,CAAC,CAO/C;AAED,wBAAsB,+BAA+B,CACnD,IAAI,EAAE,uBAAuB,GAC5B,OAAO,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,CAAC,CAO/C;AAED,wBAAsB,uBAAuB,CAE3C,kBAAkB,EAAE,MAAM,EAG1B,iBAAiB,EAAE,MAAM,GACxB,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE,UAAU,EAAE,EAAE,kBAAkB,EAAE,UAAU,EAAE,CAAC,CAAC,CAqIzE;AAED,wBAAgB,uBAAuB,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,GAAG,gBAAgB,CAAC,MAAM,EAAE,CAAC,CAAC,CAE/G;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,EAAE,EAAE,GAAG,gBAAgB,CAAC,MAAM,EAAE,OAAO,6BAA6B,CAAC,CAK7G;AAED,wBAAgB,wBAAwB,CAAC,CAAC,SAAS,MAAM,EACvD,EAAE,EAAE,uBAAuB,EAC3B,GAAG,EAAE,CAAC,GACL;IACD,GAAG,EAAE,gBAAgB,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACjC,IAAI,EAAE,MAAM,CAAC;CACd,CAQA;AAED,wBAAgB,wBAAwB,CACtC,YAAY,EAAE,sBAAsB,GACnC,gBAAgB,CAAC,MAAM,EAAE,OAAO,gCAAgC,CAAC,CAMnE"}
|
package/dest/witgen.js
CHANGED
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
import { AVM_CIRCUIT_PUBLIC_INPUTS_LENGTH,
|
|
1
|
+
import { AVM_CIRCUIT_PUBLIC_INPUTS_LENGTH, AVM_V2_PROOF_LENGTH_IN_FIELDS, MEGA_VK_LENGTH_IN_FIELDS } from '@aztec/constants';
|
|
2
2
|
import { padArrayEnd } from '@aztec/foundation/collection';
|
|
3
3
|
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
4
4
|
import { applyStringFormatting, createLogger } from '@aztec/foundation/log';
|
|
@@ -310,7 +310,7 @@ export function mapRecursiveProofToNoir(proof) {
|
|
|
310
310
|
return proof.proof.map((field)=>field.toString());
|
|
311
311
|
}
|
|
312
312
|
export function mapAvmProofToNoir(proof) {
|
|
313
|
-
if (proof.length !=
|
|
313
|
+
if (proof.length != AVM_V2_PROOF_LENGTH_IN_FIELDS) {
|
|
314
314
|
throw new Error('Invalid number of AVM proof fields');
|
|
315
315
|
}
|
|
316
316
|
return proof.map((field)=>field.toString());
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@aztec/ivc-integration",
|
|
3
|
-
"version": "5.0.0
|
|
3
|
+
"version": "5.0.0",
|
|
4
4
|
"type": "module",
|
|
5
5
|
"exports": {
|
|
6
6
|
".": "./dest/index.js",
|
|
@@ -59,14 +59,14 @@
|
|
|
59
59
|
]
|
|
60
60
|
},
|
|
61
61
|
"dependencies": {
|
|
62
|
-
"@aztec/bb.js": "5.0.0
|
|
63
|
-
"@aztec/constants": "5.0.0
|
|
64
|
-
"@aztec/foundation": "5.0.0
|
|
65
|
-
"@aztec/noir-noir_codegen": "5.0.0
|
|
66
|
-
"@aztec/noir-noir_js": "5.0.0
|
|
67
|
-
"@aztec/noir-noirc_abi": "5.0.0
|
|
68
|
-
"@aztec/noir-types": "5.0.0
|
|
69
|
-
"@aztec/stdlib": "5.0.0
|
|
62
|
+
"@aztec/bb.js": "5.0.0",
|
|
63
|
+
"@aztec/constants": "5.0.0",
|
|
64
|
+
"@aztec/foundation": "5.0.0",
|
|
65
|
+
"@aztec/noir-noir_codegen": "5.0.0",
|
|
66
|
+
"@aztec/noir-noir_js": "5.0.0",
|
|
67
|
+
"@aztec/noir-noirc_abi": "5.0.0",
|
|
68
|
+
"@aztec/noir-types": "5.0.0",
|
|
69
|
+
"@aztec/stdlib": "5.0.0",
|
|
70
70
|
"change-case": "^5.4.4",
|
|
71
71
|
"pako": "^2.1.0",
|
|
72
72
|
"playwright": "1.49.0",
|
|
@@ -74,13 +74,13 @@
|
|
|
74
74
|
"tslib": "^2.4.0"
|
|
75
75
|
},
|
|
76
76
|
"devDependencies": {
|
|
77
|
-
"@aztec/bb-prover": "5.0.0
|
|
78
|
-
"@aztec/kv-store": "5.0.0
|
|
79
|
-
"@aztec/noir-protocol-circuits-types": "5.0.0
|
|
80
|
-
"@aztec/noir-test-contracts.js": "5.0.0
|
|
81
|
-
"@aztec/simulator": "5.0.0
|
|
82
|
-
"@aztec/telemetry-client": "5.0.0
|
|
83
|
-
"@aztec/world-state": "5.0.0
|
|
77
|
+
"@aztec/bb-prover": "5.0.0",
|
|
78
|
+
"@aztec/kv-store": "5.0.0",
|
|
79
|
+
"@aztec/noir-protocol-circuits-types": "5.0.0",
|
|
80
|
+
"@aztec/noir-test-contracts.js": "5.0.0",
|
|
81
|
+
"@aztec/simulator": "5.0.0",
|
|
82
|
+
"@aztec/telemetry-client": "5.0.0",
|
|
83
|
+
"@aztec/world-state": "5.0.0",
|
|
84
84
|
"@jest/globals": "^30.0.0",
|
|
85
85
|
"@playwright/test": "1.49.0",
|
|
86
86
|
"@types/jest": "^30.0.0",
|
package/src/prove_native.ts
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
import { BBJsFactory, type UltraHonkFlavor, constructRecursiveProofFromBuffers } from '@aztec/bb-prover';
|
|
2
2
|
import {
|
|
3
|
-
|
|
3
|
+
AVM_V2_PROOF_LENGTH_IN_FIELDS,
|
|
4
4
|
CHONK_PROOF_LENGTH,
|
|
5
5
|
HIDING_KERNEL_IO_PUBLIC_INPUTS_SIZE,
|
|
6
6
|
NESTED_RECURSIVE_PROOF_LENGTH,
|
|
@@ -150,11 +150,8 @@ export async function proveAvm(
|
|
|
150
150
|
// Convert Uint8Array field elements → Fr[]
|
|
151
151
|
const proof: Fr[] = proofFields.map(f => Fr.fromBuffer(Buffer.from(f)));
|
|
152
152
|
|
|
153
|
-
|
|
154
|
-
|
|
155
|
-
// TODO(#13390): Revive a non-padded AVM proof
|
|
156
|
-
while (proof.length < AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED) {
|
|
157
|
-
proof.push(new Fr(0));
|
|
153
|
+
if (proof.length !== AVM_V2_PROOF_LENGTH_IN_FIELDS) {
|
|
154
|
+
throw new Error(`AVM V2 proof has ${proof.length} fields, expected exactly ${AVM_V2_PROOF_LENGTH_IN_FIELDS}.`);
|
|
158
155
|
}
|
|
159
156
|
|
|
160
157
|
// Explicit verify pass against the serialized public inputs (matches the legacy binary flow).
|
package/src/types/index.ts
CHANGED
|
@@ -39,8 +39,8 @@ export type PrivateKernelPublicInputs = {
|
|
|
39
39
|
|
|
40
40
|
export type ChonkProofData = {
|
|
41
41
|
public_inputs: KernelPublicInputs;
|
|
42
|
-
proof: FixedLengthArray<Field,
|
|
43
|
-
vk_data: VerificationKey<
|
|
42
|
+
proof: FixedLengthArray<Field, 1270>;
|
|
43
|
+
vk_data: VerificationKey<115>;
|
|
44
44
|
}
|
|
45
45
|
|
|
46
46
|
export type AvmCircuitPublicInputs = {
|
|
@@ -219,13 +219,13 @@ export async function AppReader(commitments_to_read: FixedLengthArray<Field, 2>,
|
|
|
219
219
|
}
|
|
220
220
|
export type MockHidingInputType = {
|
|
221
221
|
prev_kernel_public_inputs: KernelPublicInputs;
|
|
222
|
-
kernel_vk: VerificationKey<
|
|
222
|
+
kernel_vk: VerificationKey<163>;
|
|
223
223
|
}
|
|
224
224
|
|
|
225
225
|
export type MockHidingReturnType = KernelPublicInputs;
|
|
226
226
|
|
|
227
227
|
|
|
228
|
-
export async function MockHiding(prev_kernel_public_inputs: KernelPublicInputs, kernel_vk: VerificationKey<
|
|
228
|
+
export async function MockHiding(prev_kernel_public_inputs: KernelPublicInputs, kernel_vk: VerificationKey<163>, MockHiding_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<KernelPublicInputs> {
|
|
229
229
|
const program = new Noir(MockHiding_circuit);
|
|
230
230
|
const args: InputMap = { prev_kernel_public_inputs, kernel_vk };
|
|
231
231
|
const { returnValue } = await program.execute(args, foreignCallHandler);
|
|
@@ -234,13 +234,13 @@ export async function MockHiding(prev_kernel_public_inputs: KernelPublicInputs,
|
|
|
234
234
|
export type MockPrivateKernelInitInputType = {
|
|
235
235
|
tx: TxRequest;
|
|
236
236
|
app_inputs: AppPublicInputs;
|
|
237
|
-
app_vk: VerificationKey<
|
|
237
|
+
app_vk: VerificationKey<163>;
|
|
238
238
|
}
|
|
239
239
|
|
|
240
240
|
export type MockPrivateKernelInitReturnType = PrivateKernelPublicInputs;
|
|
241
241
|
|
|
242
242
|
|
|
243
|
-
export async function MockPrivateKernelInit(tx: TxRequest, app_inputs: AppPublicInputs, app_vk: VerificationKey<
|
|
243
|
+
export async function MockPrivateKernelInit(tx: TxRequest, app_inputs: AppPublicInputs, app_vk: VerificationKey<163>, MockPrivateKernelInit_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<PrivateKernelPublicInputs> {
|
|
244
244
|
const program = new Noir(MockPrivateKernelInit_circuit);
|
|
245
245
|
const args: InputMap = { tx, app_inputs, app_vk };
|
|
246
246
|
const { returnValue } = await program.execute(args, foreignCallHandler);
|
|
@@ -248,15 +248,15 @@ export async function MockPrivateKernelInit(tx: TxRequest, app_inputs: AppPublic
|
|
|
248
248
|
}
|
|
249
249
|
export type MockPrivateKernelInnerInputType = {
|
|
250
250
|
prev_kernel_public_inputs: PrivateKernelPublicInputs;
|
|
251
|
-
kernel_vk: VerificationKey<
|
|
251
|
+
kernel_vk: VerificationKey<163>;
|
|
252
252
|
app_inputs: AppPublicInputs;
|
|
253
|
-
app_vk: VerificationKey<
|
|
253
|
+
app_vk: VerificationKey<163>;
|
|
254
254
|
}
|
|
255
255
|
|
|
256
256
|
export type MockPrivateKernelInnerReturnType = PrivateKernelPublicInputs;
|
|
257
257
|
|
|
258
258
|
|
|
259
|
-
export async function MockPrivateKernelInner(prev_kernel_public_inputs: PrivateKernelPublicInputs, kernel_vk: VerificationKey<
|
|
259
|
+
export async function MockPrivateKernelInner(prev_kernel_public_inputs: PrivateKernelPublicInputs, kernel_vk: VerificationKey<163>, app_inputs: AppPublicInputs, app_vk: VerificationKey<163>, MockPrivateKernelInner_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<PrivateKernelPublicInputs> {
|
|
260
260
|
const program = new Noir(MockPrivateKernelInner_circuit);
|
|
261
261
|
const args: InputMap = { prev_kernel_public_inputs, kernel_vk, app_inputs, app_vk };
|
|
262
262
|
const { returnValue } = await program.execute(args, foreignCallHandler);
|
|
@@ -264,14 +264,14 @@ export async function MockPrivateKernelInner(prev_kernel_public_inputs: PrivateK
|
|
|
264
264
|
}
|
|
265
265
|
export type MockPrivateKernelResetInputType = {
|
|
266
266
|
prev_kernel_public_inputs: PrivateKernelPublicInputs;
|
|
267
|
-
kernel_vk: VerificationKey<
|
|
267
|
+
kernel_vk: VerificationKey<163>;
|
|
268
268
|
commitment_read_hints: FixedLengthArray<u32, 4>;
|
|
269
269
|
}
|
|
270
270
|
|
|
271
271
|
export type MockPrivateKernelResetReturnType = PrivateKernelPublicInputs;
|
|
272
272
|
|
|
273
273
|
|
|
274
|
-
export async function MockPrivateKernelReset(prev_kernel_public_inputs: PrivateKernelPublicInputs, kernel_vk: VerificationKey<
|
|
274
|
+
export async function MockPrivateKernelReset(prev_kernel_public_inputs: PrivateKernelPublicInputs, kernel_vk: VerificationKey<163>, commitment_read_hints: FixedLengthArray<u32, 4>, MockPrivateKernelReset_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<PrivateKernelPublicInputs> {
|
|
275
275
|
const program = new Noir(MockPrivateKernelReset_circuit);
|
|
276
276
|
const args: InputMap = { prev_kernel_public_inputs, kernel_vk, commitment_read_hints };
|
|
277
277
|
const { returnValue } = await program.execute(args, foreignCallHandler);
|
|
@@ -279,13 +279,13 @@ export async function MockPrivateKernelReset(prev_kernel_public_inputs: PrivateK
|
|
|
279
279
|
}
|
|
280
280
|
export type MockPrivateKernelTailInputType = {
|
|
281
281
|
prev_kernel_public_inputs: PrivateKernelPublicInputs;
|
|
282
|
-
kernel_vk: VerificationKey<
|
|
282
|
+
kernel_vk: VerificationKey<163>;
|
|
283
283
|
}
|
|
284
284
|
|
|
285
285
|
export type MockPrivateKernelTailReturnType = KernelPublicInputs;
|
|
286
286
|
|
|
287
287
|
|
|
288
|
-
export async function MockPrivateKernelTail(prev_kernel_public_inputs: PrivateKernelPublicInputs, kernel_vk: VerificationKey<
|
|
288
|
+
export async function MockPrivateKernelTail(prev_kernel_public_inputs: PrivateKernelPublicInputs, kernel_vk: VerificationKey<163>, MockPrivateKernelTail_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<KernelPublicInputs> {
|
|
289
289
|
const program = new Noir(MockPrivateKernelTail_circuit);
|
|
290
290
|
const args: InputMap = { prev_kernel_public_inputs, kernel_vk };
|
|
291
291
|
const { returnValue } = await program.execute(args, foreignCallHandler);
|
|
@@ -293,14 +293,14 @@ export async function MockPrivateKernelTail(prev_kernel_public_inputs: PrivateKe
|
|
|
293
293
|
}
|
|
294
294
|
export type MockRollupTxBasePublicInputType = {
|
|
295
295
|
chonk_proof_data: ChonkProofData;
|
|
296
|
-
proof: FixedLengthArray<Field,
|
|
296
|
+
proof: FixedLengthArray<Field, 15516>;
|
|
297
297
|
public_inputs: AvmCircuitPublicInputs;
|
|
298
298
|
}
|
|
299
299
|
|
|
300
300
|
export type MockRollupTxBasePublicReturnType = RollupPublicInputs;
|
|
301
301
|
|
|
302
302
|
|
|
303
|
-
export async function MockRollupTxBasePublic(chonk_proof_data: ChonkProofData, proof: FixedLengthArray<Field,
|
|
303
|
+
export async function MockRollupTxBasePublic(chonk_proof_data: ChonkProofData, proof: FixedLengthArray<Field, 15516>, public_inputs: AvmCircuitPublicInputs, MockRollupTxBasePublic_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<RollupPublicInputs> {
|
|
304
304
|
const program = new Noir(MockRollupTxBasePublic_circuit);
|
|
305
305
|
const args: InputMap = { chonk_proof_data, proof, public_inputs };
|
|
306
306
|
const { returnValue } = await program.execute(args, foreignCallHandler);
|
package/src/witgen.ts
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
import {
|
|
2
2
|
AVM_CIRCUIT_PUBLIC_INPUTS_LENGTH,
|
|
3
|
-
|
|
3
|
+
AVM_V2_PROOF_LENGTH_IN_FIELDS,
|
|
4
4
|
MEGA_VK_LENGTH_IN_FIELDS,
|
|
5
5
|
} from '@aztec/constants';
|
|
6
6
|
import { padArrayEnd } from '@aztec/foundation/collection';
|
|
@@ -391,11 +391,11 @@ export function mapRecursiveProofToNoir<N extends number>(proof: RecursiveProof<
|
|
|
391
391
|
return proof.proof.map(field => field.toString()) as FixedLengthArray<string, N>;
|
|
392
392
|
}
|
|
393
393
|
|
|
394
|
-
export function mapAvmProofToNoir(proof: Fr[]): FixedLengthArray<string, typeof
|
|
395
|
-
if (proof.length !=
|
|
394
|
+
export function mapAvmProofToNoir(proof: Fr[]): FixedLengthArray<string, typeof AVM_V2_PROOF_LENGTH_IN_FIELDS> {
|
|
395
|
+
if (proof.length != AVM_V2_PROOF_LENGTH_IN_FIELDS) {
|
|
396
396
|
throw new Error('Invalid number of AVM proof fields');
|
|
397
397
|
}
|
|
398
|
-
return proof.map(field => field.toString()) as FixedLengthArray<string, typeof
|
|
398
|
+
return proof.map(field => field.toString()) as FixedLengthArray<string, typeof AVM_V2_PROOF_LENGTH_IN_FIELDS>;
|
|
399
399
|
}
|
|
400
400
|
|
|
401
401
|
export function mapVerificationKeyToNoir<N extends number>(
|