Merge branch 'main' into api/runtime-table

Author: querolita

.husky/pre-commit

@@ -9,5 +9,5 @@ fi
 echo "⚠️   Husky pre-commit hook enabled. Disable it with: git config --unset husky.optin"
 
 # Filter for diffed (excluding deleted) js and ts files, and format them according to oxlint and prettier rules
-git diff --cached --name-only --diff-filter=d | grep -E '\.(ts|js)$' | xargs npm run lint:fix
-git diff --cached --name-only --diff-filter=d | grep -E '\.(ts|js)$' | xargs npm run format
+git diff --cached --name-only --diff-filter=d | grep -E '\.(ts|js|md)$' | xargs npm run lint:fix
+git diff --cached --name-only --diff-filter=d | grep -E '\.(ts|js|md)$' | xargs npm run format

CHANGELOG.md

@@ -16,12 +16,14 @@ This project adheres to
     _Security_ in case of vulnerabilities.
  -->
 
-## [Unreleased](https://github.com/o1-labs/o1js/compare/4b1dccdd...HEAD)
+## [Unreleased](https://github.com/o1-labs/o1js/compare/114acff...HEAD)
 
-### Changed
+## [2.9.0](https://github.com/o1-labs/o1js/compare/4b1dccdd...114acff) - 2025-09-02
+
+### Added
 
-- Updated Rust nightly version from `2024-06-13` to `2024-09-05` to match the
-  version used in Mina proof-systems repository.
+- Support for `ForeignField.Unsafe.fromField` as an alternative constructor
+  https://github.com/o1-labs/o1js/pull/2322
 
 - Improved the runtime table API with a `RuntimeTable` class with better
   readability.
@@ -36,7 +38,7 @@ This project adheres to
 - Fixed a performance regression that occured when proving circuits.
   https://github.com/o1-labs/o1js/pull/2388
 
-## [2.8.0](https://github.com/o1-labs/o1js/compare/045b1ab...4b1dccdd) - 2025-08-01
+## [2.8.0](https://github.com/o1-labs/o1js/compare/045b1ab...70bca22) - 2025-08-01
 
 ### Deprecated
 

npmDepsHash

@@ -1 +1 @@
-sha256-EFII0O0ebjXHF9lFn09M8P9x2KPGZDTGRHtpEHzJCrw=
+sha256-x44xLfNO8RQpMnlWFlOk/cvWd7264mWxpbWQaTCaFms=

package-lock.json

@@ -1,7 +1,7 @@
 {
   "name": "o1js",
   "description": "TypeScript framework for zk-SNARKs and zkApps",
-  "version": "2.8.0",
+  "version": "2.9.0",
   "license": "Apache-2.0",
   "homepage": "https://github.com/o1-labs/o1js/",
   "repository": {

package.json

@@ -6,6 +6,7 @@ import { Tuple, TupleMap, TupleN } from '../util/types.js';
 import { Gadgets } from './gadgets/gadgets.js';
 import { ForeignField as FF, Field3 } from './gadgets/foreign-field.js';
 import { assert } from './gadgets/common.js';
+import { fieldToField3 } from './gadgets/comparison.js';
 import { l3, l } from './gadgets/range-check.js';
 import { ProvablePureExtended } from './types/struct.js';
 
@@ -42,6 +43,36 @@ class ForeignField {
     return this.constructor as typeof ForeignField;
   }
 
+  /**
+   * Unsafe constructor methods for advanced usage.
+   */
+  static get Unsafe() {
+    const Constructor = this;
+    return {
+      /**
+       * Converts a {@link Field} into a {@link ForeignField}. This is an **unsafe** operation
+       * as the native Field size may be larger than the Foreign Field size, and changes in modulus
+       * can have unintended consequences.
+       *
+       * Only use this if you have already constrained the Field element to be within the foreign field modulus.
+       *
+       * @param x a {@link Field}
+       */
+      fromField(x: Field) {
+        const p = Constructor.modulus;
+        if (x.isConstant()) {
+          let value = x.toBigInt();
+          if (value >= p) {
+            throw new Error(
+              `Field value ${value} exceeds foreign field modulus ${p}. Please ensure the value is reduced to the modulus.`
+            );
+          }
+        }
+        return new Constructor.Canonical(fieldToField3(x));
+      },
+    };
+  }
+
   /**
    * Sibling classes that represent different ranges of field elements.
    */
@@ -76,10 +107,11 @@ class ForeignField {
   }
 
   /**
-   * Create a new {@link ForeignField} from a bigint, number, string or another ForeignField.
+   * Create a new {@link ForeignField} from a bigint, number, string, or another ForeignField.
    * @example
    * ```ts
    * let x = new ForeignField(5);
+   * let y = ForeignField.from(10n);
    * ```
    *
    * Note: Inputs must be range checked if they originate from a different field with a different modulus or if they are not constants.
@@ -110,6 +142,7 @@ class ForeignField {
 
   /**
    * Coerce the input to a {@link ForeignField}.
+   * @param x - The value to convert. Can be a {@link ForeignField}, bigint, number, or string.
    */
   static from(x: bigint | number | string): CanonicalForeignField;
   static from(x: ForeignField | bigint | number | string): ForeignField;
@@ -689,7 +722,7 @@ type Constructor<T> = new (...args: any[]) => T;
 function provable<
   F extends ForeignField & {
     type: 'Unreduced' | 'AlmostReduced' | 'FullyReduced';
-  },
+  }
 >(
   Class: Constructor<F> & { check(x: ForeignField): void }
 ): ProvablePureExtended<F, bigint, string> {

src/lib/provable/foreign-field.ts

@@ -5,6 +5,7 @@ import { expect } from 'expect';
 import {
   bool,
   equivalentProvable as equivalent,
+  field,
   first,
   spec,
   throwError,
@@ -100,3 +101,69 @@ equivalent({ from: [f], to: f })(
     return ForeignScalar.fromBits(bits);
   }
 );
+
+// Field to ForeignField conversion tests
+
+console.log('Testing Field to ForeignField conversion...');
+
+// Test 1: Constant Field conversion
+{
+  let field = Field(123);
+  let foreignField = ForeignScalar.Unsafe.fromField(field);
+  expect(foreignField.toBigInt()).toBe(123n);
+  expect(foreignField.isConstant()).toBe(true);
+  console.log('✓ Constant Field conversion');
+}
+
+// Test 2: Constructor with Field
+{
+  let field = Field(456);
+  let foreignField = ForeignScalar.Unsafe.fromField(field);
+  expect(foreignField.toBigInt()).toBe(456n);
+  expect(foreignField.isConstant()).toBe(true);
+  console.log('✓ Constructor with Field');
+}
+
+// Test 3: Boundary values
+{
+  // Test zero
+  let zero = ForeignScalar.Unsafe.fromField(Field(0));
+  expect(zero.toBigInt()).toBe(0n);
+
+  // Test large valid value within native Field range
+  // Use a large value that fits in native Field (~2^254) rather than foreign field modulus (~2^259)
+  let largeValue = (1n << 254n) - 1n; // Safe value within native Field range
+  let large = Field(largeValue);
+  let foreignLarge = ForeignScalar.Unsafe.fromField(large);
+  expect(foreignLarge.toBigInt()).toBe(largeValue);
+  console.log('✓ Boundary values');
+}
+
+// Test 4: Small field modulus overflow error
+{
+  // Using SmallField (modulus 17) to easily test overflow
+  expect(() => {
+    SmallField.Unsafe.fromField(Field(18)); // 18 > 17 (modulus)
+  }).toThrow('exceeds foreign field modulus');
+  console.log('✓ Modulus overflow error');
+}
+
+// Test 5: Round-trip conversion
+{
+  let original = Field(12345);
+  let foreign = ForeignScalar.Unsafe.fromField(original);
+  let reconstructed = Field(foreign.toBigInt());
+  expect(reconstructed.toBigInt()).toBe(original.toBigInt());
+  console.log('✓ Round-trip conversion');
+}
+
+// Test 6: Variable Field conversion in provable context
+equivalent({
+  from: [field],
+  to: f,
+})(
+  (x) => x,
+  (field) => ForeignScalar.Unsafe.fromField(field)
+);
+
+console.log('✓ All Field conversion tests passed!');

src/lib/provable/test/foreign-field.unit-test.ts

@@ -0,0 +1,26 @@
+# Changelog
+
+All notable changes to this project are documented in this file.
+
+The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
+This project adheres to
+[Semantic Versioning](https://semver.org/spec/v2.0.0.html).
+
+<!--
+  Possible subsections:
+    _Added_ for new features.
+    _Changed_ for changes in existing functionality.
+    _Deprecated_ for soon-to-be removed features.
+    _Removed_ for now removed features.
+    _Fixed_ for any bug fixes.
+    _Security_ in case of vulnerabilities.
+ -->
+
+## [Unreleased](https://github.com/o1-labs/o1js/compare/f54dd40...HEAD)
+
+## [3.1.0](https://github.com/o1-labs/o1js/compare/e3e758b...f54dd40) - 2025-09-09
+
+### Added
+
+- Allow signing zkApp command without fee payer private key
+  https://github.com/o1-labs/o1js/pull/2417

src/mina-signer/CHANGELOG.md

@@ -1,7 +1,7 @@
 {
   "name": "mina-signer",
   "description": "Node API for signing transactions on various networks for Mina Protocol",
-  "version": "3.0.7",
+  "version": "3.1.0",
   "type": "module",
   "scripts": {
     "build": "tsc -p ../../tsconfig.mina-signer.json",