Use HashInput packing for computing call data

CHANGELOG.md

@@ -24,6 +24,8 @@ This project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.htm
   - `transaction.send()` no longer throws an error if the transaction was not successful for `Mina.LocalBlockchain` and `Mina.Network`. Instead, it returns a `PendingTransaction` object that contains the error. Use `transaction.sendOrThrowIfError` to throw the error if the transaction was not successful.
   - `transaction.wait()` no longer throws an error if the transaction was not successful for `Mina.LocalBlockchain` and `Mina.Network`. Instead, it returns either a `IncludedTransaction` or `RejectedTransaction`. Use `transaction.waitOrThrowIfError` to throw the error if the transaction was not successful.
   - `transaction.hash()` is no longer a function, it is now a property that returns the hash of the transaction.
+- Improved efficiency of computing `AccountUpdate.callData` by packing field elements into as few field elements as possible https://github.com/o1-labs/o1js/pull/1458
+  - This leads to a large reduction in the number of constraints used when inputs to a zkApp method are many field elements (e.g. a long list of `Bool`s)
 
 ### Added
 

package.json

@@ -53,7 +53,7 @@
     "prepublish:web": "NODE_ENV=production node src/build/build-web.js",
     "prepublish:node": "node src/build/copy-artifacts.js && rimraf ./dist/node && npx tsc -p tsconfig.node.json && node src/build/copy-to-dist.js && NODE_ENV=production node src/build/build-node.js",
     "prepublishOnly": "npm run prepublish:web && npm run prepublish:node",
-    "dump-vks": "./run tests/vk-regression/vk-regression.ts --bundle --dump",
+    "dump-vks": "npm run build && ./run tests/vk-regression/vk-regression.ts --bundle --dump",
     "format": "prettier --write --ignore-unknown **/*",
     "clean": "rimraf ./dist && rimraf ./src/bindings/compiled/_node_bindings",
     "clean-all": "npm run clean && rimraf ./tests/report && rimraf ./tests/test-artifacts",

src/lib/hash.ts

@@ -23,6 +23,7 @@ export {
   packToFields,
   emptyReceiptChainHash,
   hashConstant,
+  isHashable,
 };
 
 type Hashable<T> = { toInput: (x: T) => HashInput; empty: () => T };
@@ -180,6 +181,15 @@ function packToFields({ fields = [], packed = [] }: HashInput) {
   return fields.concat(packedBits);
 }
 
+function isHashable<T>(obj: any): obj is Hashable<T> {
+  if (!obj) {
+    return false;
+  }
+  const hasToInput = 'toInput' in obj && typeof obj.toInput === 'function';
+  const hasEmpty = 'empty' in obj && typeof obj.empty === 'function';
+  return hasToInput && hasEmpty;
+}
+
 const TokenSymbolPure: ProvableExtended<
   { symbol: string; field: Field },
   string

src/lib/scalar.ts

@@ -233,6 +233,20 @@ class Scalar {
     return Scalar.toFields(this);
   }
 
+  /**
+   * **Warning**: This function is mainly for internal use. Normally it is not intended to be used by a zkApp developer.
+   *
+   * This function is the implementation of `ProvableExtended.toInput()` for the {@link Scalar} type.
+   *
+   * @param value - The {@link Scalar} element to get the `input` array.
+   *
+   * @return An object where the `fields` key is a {@link Field} array of length 1 created from this {@link Field}.
+   *
+   */
+  static toInput(x: Scalar): { packed: [Field, number][] } {
+    return { packed: Scalar.toFields(x).map((f) => [f, 1]) };
+  }
+
   /**
    * Part of the {@link Provable} interface.
    *

src/lib/zkapp.ts

@@ -26,7 +26,13 @@ import {
 } from './circuit-value.js';
 import { Provable, getBlindingValue, memoizationContext } from './provable.js';
 import * as Encoding from '../bindings/lib/encoding.js';
-import { Poseidon, hashConstant } from './hash.js';
+import {
+  HashInput,
+  Poseidon,
+  hashConstant,
+  isHashable,
+  packToFields,
+} from './hash.js';
 import { UInt32, UInt64 } from './int.js';
 import * as Mina from './mina.js';
 import {
@@ -479,16 +485,30 @@ function computeCallData(
 ) {
   let { returnType, methodName } = methodIntf;
   let args = methodArgumentTypesAndValues(methodIntf, argumentValues);
-  let argSizesAndFields: Field[][] = args.map(({ type, value }) => [
-    Field(type.sizeInFields()),
-    ...type.toFields(value),
-  ]);
+
+  let input: HashInput = { fields: [], packed: [] };
+  for (let { type, value } of args) {
+    if (isHashable(type)) {
+      input = HashInput.append(input, type.toInput(value));
+    } else {
+      input.fields!.push(
+        ...[Field(type.sizeInFields()), ...type.toFields(value)]
+      );
+    }
+  }
+  const totalArgFields = packToFields(input);
   let totalArgSize = Field(
     args.map(({ type }) => type.sizeInFields()).reduce((s, t) => s + t, 0)
   );
-  let totalArgFields = argSizesAndFields.flat();
+
   let returnSize = Field(returnType?.sizeInFields() ?? 0);
-  let returnFields = returnType?.toFields(returnValue) ?? [];
+  input = { fields: [], packed: [] };
+  if (isHashable(returnType)) {
+    input = HashInput.append(input, returnType.toInput(returnValue));
+  } else {
+    input.fields!.push(...(returnType?.toFields(returnValue) ?? []));
+  }
+  let returnFields = packToFields(input);
   let methodNameFields = Encoding.stringToFields(methodName);
   return [
     // we have to encode the sizes of arguments / return value, so that fields can't accidentally shift