Bumped circuits

yarn-project/circuits.js/src/abis/__snapshots__/abis.test.ts.snap

@@ -122,42 +122,8 @@ Object {
 `;
 
 exports[`abis wasm bindings computes contract leaf 1`] = `
-Object {
-  "data": Array [
-    37,
-    164,
-    27,
-    46,
-    63,
-    9,
-    182,
-    227,
-    172,
-    238,
-    84,
-    38,
-    169,
-    47,
-    59,
-    48,
-    111,
-    49,
-    185,
-    159,
-    58,
-    31,
-    73,
-    162,
-    28,
-    126,
-    118,
-    148,
-    55,
-    26,
-    100,
-    78,
-  ],
-  "type": "Buffer",
+Fr {
+  "value": 13761632275218847273520262751574664149269181891159611676226614084913136324343n,
 }
 `;
 

yarn-project/circuits.js/src/abis/abis.test.ts

@@ -1,5 +1,6 @@
-import { Fr, FunctionData, NullifierLeafPreimage } from '../index.js';
-import { fr, makeAztecAddress, makeBytes, makeTxRequest, makeVerificationKey } from '../tests/factories.js';
+import { Fr, FunctionData, NewContractData } from '../index.js';
+import { makeEthAddress } from '../tests/factories.js';
+import { makeAztecAddress, makeBytes, makeTxRequest, makeVerificationKey } from '../tests/factories.js';
 import { CircuitsWasm } from '../wasm/circuits_wasm.js';
 import {
   computeContractAddress,
@@ -72,8 +73,8 @@ describe('abis wasm bindings', () => {
   });
 
   it('computes contract leaf', async () => {
-    const leafPreImage = new NullifierLeafPreimage(fr(2), fr(2 + 0x100), 2 + 0x200);
-    const res = await computeContractLeaf(wasm, leafPreImage);
+    const cd = new NewContractData(makeAztecAddress(), makeEthAddress(), new Fr(3n));
+    const res = await computeContractLeaf(wasm, cd);
     expect(res).toMatchSnapshot();
   });
 });

yarn-project/circuits.js/src/abis/abis.ts

@@ -1,7 +1,7 @@
 import { Buffer } from 'buffer';
 import { AztecAddress, Fr, serializeBufferArrayToVector } from '@aztec/foundation';
 import { CircuitsWasm } from '../wasm/index.js';
-import { FunctionData, FUNCTION_SELECTOR_NUM_BYTES, NullifierLeafPreimage, TxRequest } from '../index.js';
+import { FunctionData, FUNCTION_SELECTOR_NUM_BYTES, TxRequest, NewContractData } from '../index.js';
 import { serializeToBuffer } from '../utils/serialize.js';
 
 export async function hashTxRequest(wasm: CircuitsWasm, txRequest: TxRequest) {
@@ -83,10 +83,15 @@ export async function computeContractAddress(
   return AztecAddress.fromBuffer(resultBuf);
 }
 
-export async function computeContractLeaf(wasm: CircuitsWasm, leafPreimage: NullifierLeafPreimage) {
-  const data = leafPreimage.toBuffer();
+export async function computeContractLeaf(wasm: CircuitsWasm, cd: NewContractData) {
   wasm.call('pedersen__init');
-  wasm.writeMemory(0, leafPreimage.toBuffer());
-  await wasm.asyncCall('abis__compute_contract_leaf', 0, data.length);
-  return Buffer.from(wasm.getMemorySlice(data.length, data.length + 32));
+  const data = cd.toBuffer();
+  const outputBuf = wasm.call('bbmalloc', 32);
+  const inputBuf = wasm.call('bbmalloc', data.length);
+  wasm.writeMemory(inputBuf, data);
+  await wasm.asyncCall('abis__compute_contract_leaf', inputBuf, outputBuf);
+  const buf = Buffer.from(wasm.getMemorySlice(outputBuf, outputBuf + 32));
+  wasm.call('bbfree', outputBuf);
+  wasm.call('bbfree', inputBuf);
+  return Fr.fromBuffer(buf);
 }

yarn-project/circuits.js/src/rollup/rollup_wasm_wrapper.ts

@@ -1,12 +1,12 @@
-import { BaseRollupInputs, BaseRollupPublicInputs, RootRollupInputs, RootRollupPublicInputs } from '../index.js';
+import { BaseRollupInputs, BaseOrMergeRollupPublicInputs, RootRollupInputs, RootRollupPublicInputs } from '../index.js';
 import { uint8ArrayToNum } from '../utils/serialize.js';
 import { CircuitsWasm } from '../wasm/circuits_wasm.js';
 
 export class RollupWasmWrapper {
   constructor(private wasm: CircuitsWasm) {}
 
-  public simulateBaseRollup(baseRollupInputs: BaseRollupInputs): Promise<BaseRollupPublicInputs> {
-    return this.callWasm('base_rollup__sim', baseRollupInputs, BaseRollupPublicInputs);
+  public simulateBaseRollup(baseRollupInputs: BaseRollupInputs): Promise<BaseOrMergeRollupPublicInputs> {
+    return this.callWasm('base_rollup__sim', baseRollupInputs, BaseOrMergeRollupPublicInputs);
   }
 
   public simulateRootRollup(rootRollupInputs: RootRollupInputs): Promise<RootRollupPublicInputs> {

yarn-project/circuits.js/src/structs/__snapshots__/base_rollup.test.ts.snap

@@ -329,7 +329,11 @@ merge_rollup_vk_hash: 0x404
 `;
 
 exports[`structs/base_rollup serializes and prints BaseRollupPublicInputs 1`] = `
-"end_aggregation_object:
+"rollup_type:
+0
+rollup_subtree_height:
+0x0
+end_aggregation_object:
 P0: { 0x100, 0x101 }
 P1: { 0x200, 0x201 }
 public_inputs: [

yarn-project/circuits.js/src/structs/__snapshots__/root_rollup.test.ts.snap

@@ -1,7 +1,11 @@
 // Jest Snapshot v1, https://goo.gl/fbAQLP
 
 exports[`structs/root_rollup serializes a RootRollupInput and prints it 1`] = `
-"previous_rollup_data: [ merge_rollup_public_inputs: end_aggregation_object:
+"previous_rollup_data: [ base_or_merge_rollup_public_inputs: rollup_type:
+0
+rollup_subtree_height:
+0x0
+end_aggregation_object:
 P0: { 0x100, 0x101 }
 P1: { 0x200, 0x201 }
 public_inputs: [
@@ -58,20 +62,16 @@ next_available_leaf_index: 800
 calldata_hash: [ 0x901 0x902 ]
 
 proof: [ 50 50 50 50 50 50 50 50 50 50 50 50 50 50 50 50 ]
-vk: key.composer_type: 0
-key.circuit_size: 65
-key.num_public_inputs: 66
-key.commitments: [
- A: { 0x200, 0x300 }
-]
-key.contains_recursive_proof: 1
-key.recursive_proof_public_input_indices: [ 190 191 192 193 194 ]
-
+vk: 0x12b300
 vk_index: 110
 vk_sibling_path: leaf_index: 120
 sibling_path: [ 0x120 0x121 0x122 0x123 0x124 0x125 0x126 0x127 ]
 
- merge_rollup_public_inputs: end_aggregation_object:
+ base_or_merge_rollup_public_inputs: rollup_type:
+0
+rollup_subtree_height:
+0x0
+end_aggregation_object:
 P0: { 0x1100, 0x1101 }
 P1: { 0x1200, 0x1201 }
 public_inputs: [
@@ -128,15 +128,7 @@ next_available_leaf_index: 1800
 calldata_hash: [ 0x1901 0x1902 ]
 
 proof: [ 50 50 50 50 50 50 50 50 50 50 50 50 50 50 50 50 ]
-vk: key.composer_type: 0
-key.circuit_size: 65
-key.num_public_inputs: 66
-key.commitments: [
- A: { 0x200, 0x300 }
-]
-key.contains_recursive_proof: 1
-key.recursive_proof_public_input_indices: [ 190 191 192 193 194 ]
-
+vk: 0x133e40
 vk_index: 1110
 vk_sibling_path: leaf_index: 1120
 sibling_path: [ 0x1120 0x1121 0x1122 0x1123 0x1124 0x1125 0x1126 0x1127 ]

yarn-project/circuits.js/src/structs/base_rollup.test.ts

@@ -1,6 +1,6 @@
 import { expectReserializeToMatchObject, expectSerializeToMatchSnapshot } from '../tests/expectSerialize.js';
 import { makeBaseRollupInputs, makeBaseRollupPublicInputs } from '../tests/factories.js';
-import { BaseRollupPublicInputs } from './base_rollup.js';
+import { BaseOrMergeRollupPublicInputs } from './base_rollup.js';
 
 describe('structs/base_rollup', () => {
   it(`serializes and prints BaseRollupInputs`, async () => {
@@ -16,7 +16,7 @@ describe('structs/base_rollup', () => {
 
     await expectSerializeToMatchSnapshot(
       baseRollupPublicInputs.toBuffer(),
-      'abis__test_roundtrip_serialize_base_rollup_public_inputs',
+      'abis__test_roundtrip_serialize_base_or_merge_rollup_public_inputs',
     );
   });
 
@@ -25,8 +25,8 @@ describe('structs/base_rollup', () => {
 
     await expectReserializeToMatchObject(
       baseRollupPublicInputs,
-      'abis__test_roundtrip_reserialize_base_rollup_public_inputs',
-      BaseRollupPublicInputs.fromBuffer,
+      'abis__test_roundtrip_reserialize_base_or_merge_rollup_public_inputs',
+      BaseOrMergeRollupPublicInputs.fromBuffer,
     );
   });
 });

yarn-project/circuits.js/src/structs/base_rollup.ts

@@ -12,7 +12,7 @@ import {
   PRIVATE_DATA_TREE_ROOTS_TREE_HEIGHT,
 } from './constants.js';
 import { PreviousKernelData } from './kernel.js';
-import { AggregationObject, MembershipWitness, UInt32 } from './shared.js';
+import { AggregationObject, MembershipWitness, RollupTypes, UInt32 } from './shared.js';
 
 export class NullifierLeafPreimage {
   constructor(public leafValue: Fr, public nextValue: Fr, public nextIndex: UInt32) {}
@@ -168,8 +168,10 @@ export class BaseRollupInputs {
 /**
  * Output of the base rollup circuit
  */
-export class BaseRollupPublicInputs {
+export class BaseOrMergeRollupPublicInputs {
   constructor(
+    public rollupType: RollupTypes,
+    public rollupSubTreeHeight: Fr,
     public endAggregationObject: AggregationObject,
     public constants: ConstantBaseRollupData,
 
@@ -190,9 +192,11 @@ export class BaseRollupPublicInputs {
    * Deserializes from a buffer or reader, corresponding to a write in cpp.
    * @param bufferReader - Buffer to read from.
    */
-  static fromBuffer(buffer: Buffer | BufferReader): BaseRollupPublicInputs {
+  static fromBuffer(buffer: Buffer | BufferReader): BaseOrMergeRollupPublicInputs {
     const reader = BufferReader.asReader(buffer);
-    return new BaseRollupPublicInputs(
+    return new BaseOrMergeRollupPublicInputs(
+      reader.readNumber(),
+      reader.readFr(),
       reader.readObject(AggregationObject),
       reader.readObject(ConstantBaseRollupData),
       reader.readObject(AppendOnlyTreeSnapshot),
@@ -211,6 +215,8 @@ export class BaseRollupPublicInputs {
    */
   toBuffer() {
     return serializeToBuffer(
+      this.rollupType,
+      this.rollupSubTreeHeight,
       this.endAggregationObject,
       this.constants,
 

yarn-project/circuits.js/src/structs/merge_rollup.ts

@@ -1,14 +1,14 @@
 import { Fr } from '@aztec/foundation';
 import { FieldsOf } from '../utils/jsUtils.js';
 import { serializeToBuffer } from '../utils/serialize.js';
-import { AppendOnlyTreeSnapshot, BaseRollupPublicInputs, ConstantBaseRollupData } from './base_rollup.js';
+import { AppendOnlyTreeSnapshot, BaseOrMergeRollupPublicInputs, ConstantBaseRollupData } from './base_rollup.js';
 import { ROLLUP_VK_TREE_HEIGHT } from './constants.js';
 import { AggregationObject, MembershipWitness, RollupTypes, UInt32, UInt8Vector } from './shared.js';
 import { VerificationKey } from './verification_key.js';
 
 export class PreviousRollupData {
   constructor(
-    public publicInputs: BaseRollupPublicInputs | MergeRollupPublicInputs,
+    public publicInputs: BaseOrMergeRollupPublicInputs | MergeRollupPublicInputs,
     public proof: UInt8Vector,
     public vk: VerificationKey,
     /**

yarn-project/circuits.js/src/tests/factories.ts

@@ -9,7 +9,7 @@ import {
 import {
   AppendOnlyTreeSnapshot,
   BaseRollupInputs,
-  BaseRollupPublicInputs,
+  BaseOrMergeRollupPublicInputs,
   ConstantBaseRollupData,
   NullifierLeafPreimage,
 } from '../structs/base_rollup.js';
@@ -57,6 +57,7 @@ import {
   ComposerType,
   EcdsaSignature,
   MembershipWitness,
+  RollupTypes,
   UInt8Vector,
 } from '../structs/shared.js';
 import { ContractDeploymentData, SignedTxRequest, TxContext, TxRequest } from '../structs/tx.js';
@@ -264,7 +265,9 @@ export function makeEcdsaSignature(seed = 1): EcdsaSignature {
 }
 
 export function makeBaseRollupPublicInputs(seed = 0) {
-  return new BaseRollupPublicInputs(
+  return new BaseOrMergeRollupPublicInputs(
+    RollupTypes.Base,
+    new Fr(0n),
     makeAggregationObject(seed + 0x100),
     makeConstantBaseRollupData(seed + 0x200),
     makeAppendOnlyTreeSnapshot(seed + 0x300),

yarn-project/sequencer-client/src/block_builder/circuit_powered_block_builder.test.ts

@@ -1,7 +1,7 @@
 import {
   AppendOnlyTreeSnapshot,
   BaseRollupInputs,
-  BaseRollupPublicInputs,
+  BaseOrMergeRollupPublicInputs,
   CircuitsWasm,
   Fr,
   RootRollupPublicInputs,
@@ -19,13 +19,14 @@ import { MockProxy, mock } from 'jest-mock-extended';
 import { default as levelup } from 'levelup';
 import flatMap from 'lodash.flatmap';
 import { default as memdown } from 'memdown';
-import { hashNewContractData, makeEmptyTx, makeEmptyUnverifiedData } from '../deps/tx.js';
+import { makeEmptyTx, makeEmptyUnverifiedData } from '../deps/tx.js';
 import { VerificationKeys, getVerificationKeys } from '../deps/verification_keys.js';
 import { EmptyProver } from '../prover/empty.js';
 import { Prover } from '../prover/index.js';
 import { Simulator } from '../simulator/index.js';
 import { WasmCircuitSimulator } from '../simulator/wasm.js';
 import { CircuitPoweredBlockBuilder } from './circuit_powered_block_builder.js';
+import { computeContractLeaf } from '@aztec/circuits.js/abis';
 
 /* eslint-disable @typescript-eslint/ban-ts-comment */
 // @ts-ignore
@@ -41,8 +42,8 @@ describe('sequencer/circuit_block_builder', () => {
   let prover: MockProxy<Prover>;
 
   let blockNumber: number;
-  let baseRollupOutputLeft: BaseRollupPublicInputs;
-  let baseRollupOutputRight: BaseRollupPublicInputs;
+  let baseRollupOutputLeft: BaseOrMergeRollupPublicInputs;
+  let baseRollupOutputRight: BaseOrMergeRollupPublicInputs;
   let rootRollupOutput: RootRollupPublicInputs;
 
   let wasm: CircuitsWasm;
@@ -93,9 +94,12 @@ describe('sequencer/circuit_block_builder', () => {
 
   // Updates the expectedDb trees based on the new commitments, contracts, and nullifiers from these txs
   const updateExpectedTreesFromTxs = async (txs: Tx[]) => {
+    const newContracts = await Promise.all(
+      flatMap(txs, tx => tx.data.end.newContracts.map(async n => await computeContractLeaf(wasm, n))),
+    );
     for (const [tree, leaves] of [
       [MerkleTreeId.DATA_TREE, flatMap(txs, tx => tx.data.end.newCommitments.map(l => l.toBuffer()))],
-      [MerkleTreeId.CONTRACT_TREE, flatMap(txs, tx => tx.data.end.newContracts.map(n => hashNewContractData(wasm, n)))],
+      [MerkleTreeId.CONTRACT_TREE, newContracts.map(x => x.toBuffer())],
       [MerkleTreeId.NULLIFIER_TREE, flatMap(txs, tx => tx.data.end.newNullifiers.map(l => l.toBuffer()))],
     ] as const) {
       await expectsDb.appendLeaves(tree, leaves);