@aztec/ivc-integration 3.0.0-nightly.20251217 → 3.0.0-nightly.20251219

package/artifacts/mock_rollup_tx_merge.json

@@ -1,6 +1,6 @@
 {
-  "noir_version": "1.0.0-beta.15+1a930357477fc0c210dc5a8960680282d4cfa24e",
-  "hash": "2415095598661936560",
+  "noir_version": "1.0.0-beta.16+084ed530b4bddd6733d03f9d965669aa9a87fae7",
+  "hash": "14449299623389682197",
   "abi": {
     "parameters": [
       {

package/dest/prove_native.d.ts

@@ -8,9 +8,9 @@ import { VerificationKeyAsFields } from '@aztec/stdlib/vks';
 export declare function proofBytesToRecursiveProof(proofAsFields: Uint8Array[], vkBytes: Uint8Array): Promise<RecursiveProof<typeof CHONK_PROOF_LENGTH>>;
 export declare function proveRollupHonk(name: string, pathToBB: string, workingDirectory: string, circuit: NoirCompiledCircuit, witness: Uint8Array, logger: Logger): Promise<import("@aztec/stdlib/interfaces/server").ProofAndVerificationKey<531>>;
 export declare function proveKeccakHonk(name: string, pathToBB: string, workingDirectory: string, circuit: NoirCompiledCircuit, witness: Uint8Array, logger: Logger): Promise<import("@aztec/stdlib/interfaces/server").ProofAndVerificationKey<457>>;
-export declare function proveAvm(avmCircuitInputs: AvmCircuitInputs, workingDirectory: string, logger: Logger, skipPublicInputsValidation?: boolean): Promise<{
+export declare function proveAvm(avmCircuitInputs: AvmCircuitInputs, workingDirectory: string, logger: Logger): Promise<{
     vk: VerificationKeyAsFields;
     proof: Fr[];
     publicInputs: AvmCircuitPublicInputs;
 }>;
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvdmVfbmF0aXZlLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvcHJvdmVfbmF0aXZlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQVlBLE9BQU8sRUFHTCxrQkFBa0IsRUFJbkIsTUFBTSxrQkFBa0IsQ0FBQztBQUMxQixPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDcEQsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFFcEQsT0FBTyxLQUFLLEVBQUUsZ0JBQWdCLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSxtQkFBbUIsQ0FBQztBQUVsRixPQUFPLEtBQUssRUFBRSxtQkFBbUIsRUFBRSxNQUFNLG9CQUFvQixDQUFDO0FBQzlELE9BQU8sRUFBUyxjQUFjLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUU3RCxPQUFPLEVBQUUsdUJBQXVCLEVBQXVCLE1BQU0sbUJBQW1CLENBQUM7QUFLakYsd0JBQXNCLDBCQUEwQixDQUM5QyxhQUFhLEVBQUUsVUFBVSxFQUFFLEVBQzNCLE9BQU8sRUFBRSxVQUFVLEdBQ2xCLE9BQU8sQ0FBQyxjQUFjLENBQUMsT0FBTyxrQkFBa0IsQ0FBQyxDQUFDLENBZXBEO0FBNERELHdCQUFnQixlQUFlLENBQzdCLElBQUksRUFBRSxNQUFNLEVBQ1osUUFBUSxFQUFFLE1BQU0sRUFDaEIsZ0JBQWdCLEVBQUUsTUFBTSxFQUN4QixPQUFPLEVBQUUsbUJBQW1CLEVBQzVCLE9BQU8sRUFBRSxVQUFVLEVBQ25CLE1BQU0sRUFBRSxNQUFNLG1GQVlmO0FBRUQsd0JBQWdCLGVBQWUsQ0FDN0IsSUFBSSxFQUFFLE1BQU0sRUFDWixRQUFRLEVBQUUsTUFBTSxFQUNoQixnQkFBZ0IsRUFBRSxNQUFNLEVBQ3hCLE9BQU8sRUFBRSxtQkFBbUIsRUFDNUIsT0FBTyxFQUFFLFVBQVUsRUFDbkIsTUFBTSxFQUFFLE1BQU0sbUZBWWY7QUFFRCx3QkFBc0IsUUFBUSxDQUM1QixnQkFBZ0IsRUFBRSxnQkFBZ0IsRUFDbEMsZ0JBQWdCLEVBQUUsTUFBTSxFQUN4QixNQUFNLEVBQUUsTUFBTSxFQUNkLDBCQUEwQixHQUFFLE9BQWUsR0FDMUMsT0FBTyxDQUFDO0lBQ1QsRUFBRSxFQUFFLHVCQUF1QixDQUFDO0lBQzVCLEtBQUssRUFBRSxFQUFFLEVBQUUsQ0FBQztJQUNaLFlBQVksRUFBRSxzQkFBc0IsQ0FBQztDQUN0QyxDQUFDLENBc0VEIn0=
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvdmVfbmF0aXZlLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvcHJvdmVfbmF0aXZlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQVlBLE9BQU8sRUFHTCxrQkFBa0IsRUFJbkIsTUFBTSxrQkFBa0IsQ0FBQztBQUMxQixPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDcEQsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFFcEQsT0FBTyxLQUFLLEVBQUUsZ0JBQWdCLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSxtQkFBbUIsQ0FBQztBQUVsRixPQUFPLEtBQUssRUFBRSxtQkFBbUIsRUFBRSxNQUFNLG9CQUFvQixDQUFDO0FBQzlELE9BQU8sRUFBUyxjQUFjLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUM3RCxPQUFPLEVBQUUsdUJBQXVCLEVBQXVCLE1BQU0sbUJBQW1CLENBQUM7QUFLakYsd0JBQXNCLDBCQUEwQixDQUM5QyxhQUFhLEVBQUUsVUFBVSxFQUFFLEVBQzNCLE9BQU8sRUFBRSxVQUFVLEdBQ2xCLE9BQU8sQ0FBQyxjQUFjLENBQUMsT0FBTyxrQkFBa0IsQ0FBQyxDQUFDLENBZXBEO0FBNERELHdCQUFnQixlQUFlLENBQzdCLElBQUksRUFBRSxNQUFNLEVBQ1osUUFBUSxFQUFFLE1BQU0sRUFDaEIsZ0JBQWdCLEVBQUUsTUFBTSxFQUN4QixPQUFPLEVBQUUsbUJBQW1CLEVBQzVCLE9BQU8sRUFBRSxVQUFVLEVBQ25CLE1BQU0sRUFBRSxNQUFNLG1GQVlmO0FBRUQsd0JBQWdCLGVBQWUsQ0FDN0IsSUFBSSxFQUFFLE1BQU0sRUFDWixRQUFRLEVBQUUsTUFBTSxFQUNoQixnQkFBZ0IsRUFBRSxNQUFNLEVBQ3hCLE9BQU8sRUFBRSxtQkFBbUIsRUFDNUIsT0FBTyxFQUFFLFVBQVUsRUFDbkIsTUFBTSxFQUFFLE1BQU0sbUZBWWY7QUFFRCx3QkFBc0IsUUFBUSxDQUM1QixnQkFBZ0IsRUFBRSxnQkFBZ0IsRUFDbEMsZ0JBQWdCLEVBQUUsTUFBTSxFQUN4QixNQUFNLEVBQUUsTUFBTSxHQUNiLE9BQU8sQ0FBQztJQUNULEVBQUUsRUFBRSx1QkFBdUIsQ0FBQztJQUM1QixLQUFLLEVBQUUsRUFBRSxFQUFFLENBQUM7SUFDWixZQUFZLEVBQUUsc0JBQXNCLENBQUM7Q0FDdEMsQ0FBQyxDQW1FRCJ9

package/dest/prove_native.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"prove_native.d.ts","sourceRoot":"","sources":["../src/prove_native.ts"],"names":[],"mappings":"AAYA,OAAO,EAGL,kBAAkB,EAInB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAEpD,OAAO,KAAK,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAElF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAC9D,OAAO,EAAS,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAE7D,OAAO,EAAE,uBAAuB,EAAuB,MAAM,mBAAmB,CAAC;AAKjF,wBAAsB,0BAA0B,CAC9C,aAAa,EAAE,UAAU,EAAE,EAC3B,OAAO,EAAE,UAAU,GAClB,OAAO,CAAC,cAAc,CAAC,OAAO,kBAAkB,CAAC,CAAC,CAepD;AA4DD,wBAAgB,eAAe,CAC7B,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,OAAO,EAAE,mBAAmB,EAC5B,OAAO,EAAE,UAAU,EACnB,MAAM,EAAE,MAAM,mFAYf;AAED,wBAAgB,eAAe,CAC7B,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,OAAO,EAAE,mBAAmB,EAC5B,OAAO,EAAE,UAAU,EACnB,MAAM,EAAE,MAAM,mFAYf;AAED,wBAAsB,QAAQ,CAC5B,gBAAgB,EAAE,gBAAgB,EAClC,gBAAgB,EAAE,MAAM,EACxB,MAAM,EAAE,MAAM,EACd,0BAA0B,GAAE,OAAe,GAC1C,OAAO,CAAC;IACT,EAAE,EAAE,uBAAuB,CAAC;IAC5B,KAAK,EAAE,EAAE,EAAE,CAAC;IACZ,YAAY,EAAE,sBAAsB,CAAC;CACtC,CAAC,CAsED"}
+{"version":3,"file":"prove_native.d.ts","sourceRoot":"","sources":["../src/prove_native.ts"],"names":[],"mappings":"AAYA,OAAO,EAGL,kBAAkB,EAInB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAEpD,OAAO,KAAK,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAElF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAC9D,OAAO,EAAS,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,EAAE,uBAAuB,EAAuB,MAAM,mBAAmB,CAAC;AAKjF,wBAAsB,0BAA0B,CAC9C,aAAa,EAAE,UAAU,EAAE,EAC3B,OAAO,EAAE,UAAU,GAClB,OAAO,CAAC,cAAc,CAAC,OAAO,kBAAkB,CAAC,CAAC,CAepD;AA4DD,wBAAgB,eAAe,CAC7B,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,OAAO,EAAE,mBAAmB,EAC5B,OAAO,EAAE,UAAU,EACnB,MAAM,EAAE,MAAM,mFAYf;AAED,wBAAgB,eAAe,CAC7B,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,OAAO,EAAE,mBAAmB,EAC5B,OAAO,EAAE,UAAU,EACnB,MAAM,EAAE,MAAM,mFAYf;AAED,wBAAsB,QAAQ,CAC5B,gBAAgB,EAAE,gBAAgB,EAClC,gBAAgB,EAAE,MAAM,EACxB,MAAM,EAAE,MAAM,GACb,OAAO,CAAC;IACT,EAAE,EAAE,uBAAuB,CAAC;IAC5B,KAAK,EAAE,EAAE,EAAE,CAAC;IACZ,YAAY,EAAE,sBAAsB,CAAC;CACtC,CAAC,CAmED"}

package/dest/prove_native.js

@@ -4,7 +4,6 @@ import { Fr } from '@aztec/foundation/curves/bn254';
 import { BufferReader } from '@aztec/foundation/serialize';
 import { makeProofAndVerificationKey } from '@aztec/stdlib/interfaces/server';
 import { Proof, RecursiveProof } from '@aztec/stdlib/proofs';
-import { enhanceProofWithPiValidationFlag } from '@aztec/stdlib/rollup';
 import { VerificationKeyAsFields, VerificationKeyData } from '@aztec/stdlib/vks';
 import * as fs from 'fs/promises';
 import * as path from 'path';
@@ -53,7 +52,7 @@ export function proveRollupHonk(name, pathToBB, workingDirectory, circuit, witne
 export function proveKeccakHonk(name, pathToBB, workingDirectory, circuit, witness, logger) {
     return proveRollupCircuit(name, pathToBB, workingDirectory, circuit, witness, logger, 'ultra_keccak_honk', NESTED_RECURSIVE_PROOF_LENGTH);
 }
-export async function proveAvm(avmCircuitInputs, workingDirectory, logger, skipPublicInputsValidation = false) {
+export async function proveAvm(avmCircuitInputs, workingDirectory, logger) {
     // The paths for the barretenberg binary and the write path are hardcoded for now.
     const bbPath = path.resolve('../../barretenberg/cpp/build/bin/bb-avm');
     // Then we prove.
@@ -98,10 +97,8 @@ export async function proveAvm(avmCircuitInputs, workingDirectory, logger, skipP
     if (verificationResult.status === BB_RESULT.FAILURE) {
         throw new Error(`AVM V2 proof verification failed: ${verificationResult.reason}`);
     }
-    // TODO(#14234)[Unconditional PIs validation]: Remove next lines and return proof instead of proofWithPublicInputsValidationFlag
-    const proofWithPublicInputsValidationFlag = enhanceProofWithPiValidationFlag(proof, skipPublicInputsValidation);
     return {
-        proof: proofWithPublicInputsValidationFlag,
+        proof,
         vk: await VerificationKeyAsFields.fromKey(vk),
         publicInputs: avmCircuitInputs.publicInputs
     };

package/dest/types/index.d.ts

@@ -202,11 +202,11 @@ export type MockPrivateKernelTailReturnType = KernelPublicInputs;
 export declare function MockPrivateKernelTail(prev_kernel_public_inputs: PrivateKernelPublicInputs, kernel_vk: VerificationKey<127>, MockPrivateKernelTail_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<KernelPublicInputs>;
 export type MockRollupTxBasePublicInputType = {
     chonk_proof_data: ChonkProofData;
-    proof: FixedLengthArray<Field, 20000>;
+    proof: FixedLengthArray<Field, 16200>;
     public_inputs: AvmCircuitPublicInputs;
 };
 export type MockRollupTxBasePublicReturnType = RollupPublicInputs;
-export declare function MockRollupTxBasePublic(chonk_proof_data: ChonkProofData, proof: FixedLengthArray<Field, 20000>, public_inputs: AvmCircuitPublicInputs, MockRollupTxBasePublic_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<RollupPublicInputs>;
+export declare function MockRollupTxBasePublic(chonk_proof_data: ChonkProofData, proof: FixedLengthArray<Field, 16200>, public_inputs: AvmCircuitPublicInputs, MockRollupTxBasePublic_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<RollupPublicInputs>;
 export type MockRollupTxBasePrivateInputType = {
     chonk_proof_data: ChonkProofData;
 };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aztec/ivc-integration",
-  "version": "3.0.0-nightly.20251217",
+  "version": "3.0.0-nightly.20251219",
   "type": "module",
   "exports": {
     ".": "./dest/index.js",
@@ -59,14 +59,14 @@
     ]
   },
   "dependencies": {
-    "@aztec/bb.js": "3.0.0-nightly.20251217",
-    "@aztec/constants": "3.0.0-nightly.20251217",
-    "@aztec/foundation": "3.0.0-nightly.20251217",
-    "@aztec/noir-noir_codegen": "3.0.0-nightly.20251217",
-    "@aztec/noir-noir_js": "3.0.0-nightly.20251217",
-    "@aztec/noir-noirc_abi": "3.0.0-nightly.20251217",
-    "@aztec/noir-types": "3.0.0-nightly.20251217",
-    "@aztec/stdlib": "3.0.0-nightly.20251217",
+    "@aztec/bb.js": "3.0.0-nightly.20251219",
+    "@aztec/constants": "3.0.0-nightly.20251219",
+    "@aztec/foundation": "3.0.0-nightly.20251219",
+    "@aztec/noir-noir_codegen": "3.0.0-nightly.20251219",
+    "@aztec/noir-noir_js": "3.0.0-nightly.20251219",
+    "@aztec/noir-noirc_abi": "3.0.0-nightly.20251219",
+    "@aztec/noir-types": "3.0.0-nightly.20251219",
+    "@aztec/stdlib": "3.0.0-nightly.20251219",
     "change-case": "^5.4.4",
     "pako": "^2.1.0",
     "playwright": "1.49.0",
@@ -74,13 +74,13 @@
     "tslib": "^2.4.0"
   },
   "devDependencies": {
-    "@aztec/bb-prover": "3.0.0-nightly.20251217",
-    "@aztec/kv-store": "3.0.0-nightly.20251217",
-    "@aztec/noir-protocol-circuits-types": "3.0.0-nightly.20251217",
-    "@aztec/noir-test-contracts.js": "3.0.0-nightly.20251217",
-    "@aztec/simulator": "3.0.0-nightly.20251217",
-    "@aztec/telemetry-client": "3.0.0-nightly.20251217",
-    "@aztec/world-state": "3.0.0-nightly.20251217",
+    "@aztec/bb-prover": "3.0.0-nightly.20251219",
+    "@aztec/kv-store": "3.0.0-nightly.20251219",
+    "@aztec/noir-protocol-circuits-types": "3.0.0-nightly.20251219",
+    "@aztec/noir-test-contracts.js": "3.0.0-nightly.20251219",
+    "@aztec/simulator": "3.0.0-nightly.20251219",
+    "@aztec/telemetry-client": "3.0.0-nightly.20251219",
+    "@aztec/world-state": "3.0.0-nightly.20251219",
     "@jest/globals": "^30.0.0",
     "@playwright/test": "1.49.0",
     "@types/jest": "^30.0.0",

package/src/prove_native.ts

@@ -25,7 +25,6 @@ import type { AvmCircuitInputs, AvmCircuitPublicInputs } from '@aztec/stdlib/avm
 import { makeProofAndVerificationKey } from '@aztec/stdlib/interfaces/server';
 import type { NoirCompiledCircuit } from '@aztec/stdlib/noir';
 import { Proof, RecursiveProof } from '@aztec/stdlib/proofs';
-import { enhanceProofWithPiValidationFlag } from '@aztec/stdlib/rollup';
 import { VerificationKeyAsFields, VerificationKeyData } from '@aztec/stdlib/vks';
 
 import * as fs from 'fs/promises';
@@ -153,7 +152,6 @@ export async function proveAvm(
   avmCircuitInputs: AvmCircuitInputs,
   workingDirectory: string,
   logger: Logger,
-  skipPublicInputsValidation: boolean = false,
 ): Promise<{
   vk: VerificationKeyAsFields;
   proof: Fr[];
@@ -220,11 +218,8 @@ export async function proveAvm(
     throw new Error(`AVM V2 proof verification failed: ${verificationResult.reason}`);
   }
 
-  // TODO(#14234)[Unconditional PIs validation]: Remove next lines and return proof instead of proofWithPublicInputsValidationFlag
-  const proofWithPublicInputsValidationFlag = enhanceProofWithPiValidationFlag(proof, skipPublicInputsValidation);
-
   return {
-    proof: proofWithPublicInputsValidationFlag,
+    proof,
     vk: await VerificationKeyAsFields.fromKey(vk),
     publicInputs: avmCircuitInputs.publicInputs,
   };

package/src/types/index.ts

@@ -293,14 +293,14 @@ export async function MockPrivateKernelTail(prev_kernel_public_inputs: PrivateKe
 }
 export type MockRollupTxBasePublicInputType = {
   chonk_proof_data: ChonkProofData;
-  proof: FixedLengthArray<Field, 20000>;
+  proof: FixedLengthArray<Field, 16200>;
   public_inputs: AvmCircuitPublicInputs;
 }
 
 export type MockRollupTxBasePublicReturnType = RollupPublicInputs;
 
 
-export async function MockRollupTxBasePublic(chonk_proof_data: ChonkProofData, proof: FixedLengthArray<Field, 20000>, public_inputs: AvmCircuitPublicInputs, MockRollupTxBasePublic_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<RollupPublicInputs> {
+export async function MockRollupTxBasePublic(chonk_proof_data: ChonkProofData, proof: FixedLengthArray<Field, 16200>, public_inputs: AvmCircuitPublicInputs, MockRollupTxBasePublic_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<RollupPublicInputs> {
   const program = new Noir(MockRollupTxBasePublic_circuit);
   const args: InputMap = { chonk_proof_data, proof, public_inputs };
   const { returnValue } = await program.execute(args, foreignCallHandler);