Provable BigInt

CHANGELOG.md

@@ -25,6 +25,7 @@ This project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.htm
 - `MerkleList.popOption()` for popping the last element and also learning if there was one https://github.com/o1-labs/o1js/pull/1997
 - Added custom header support for `Fetch` methods such as `fetchEvents`, `fetchActions` etc. and to `Mina` instance. Also added two new methods `setMinaDefaultHeaders` and `setArchiveDefaultHeaders` https://github.com/o1-labs/o1js/pull/2004
 - Added style rules for contributors https://github.com/o1-labs/o1js/pull/2012
+- **Provable BigInt** exposed through the `createProvableBigInt()` class factory https://github.com/o1-labs/o1js/pull/2008
 
 ### Changed
 

src/examples/crypto/bigint.ts

@@ -0,0 +1,45 @@
+import { Experimental } from 'o1js';
+
+const { ProvableBigInt, createProvableBigInt } = Experimental;
+
+const BigInt384 = createProvableBigInt(97n);
+
+let a = BigInt384.fromBigint(1n);
+let b = BigInt384.fromBigint(2n);
+let c = a.add(b);
+
+console.log(a.toBigint());
+console.log(b.toBigint());
+console.log(c.toBigint());
+
+a = BigInt384.fromBigint(71n);
+b = BigInt384.fromBigint(31n);
+c = a.sub(b);
+
+console.log(a.toBigint());
+console.log(b.toBigint());
+console.log(c.toBigint());
+
+a = BigInt384.fromBigint(3n);
+b = BigInt384.fromBigint(2n);
+c = a.mul(b);
+
+console.log(a.toBigint());
+console.log(b.toBigint());
+console.log(c.toBigint());
+
+a = BigInt384.fromBigint(6n);
+b = BigInt384.fromBigint(2n);
+c = a.mul(b);
+
+console.log(a.toBigint());
+console.log(b.toBigint());
+console.log(c.toBigint());
+
+a = BigInt384.fromBigint(1n);
+b = BigInt384.fromBigint(2n);
+c = a.sqrt();
+
+console.log(a.toBigint());
+console.log(b.toBigint());
+console.log(c.toBigint());

src/index.ts

@@ -149,6 +149,10 @@ import * as BatchReducer_ from './lib/mina/actions/batch-reducer.js';
 import { Actionable } from './lib/mina/actions/offchain-state-serialization.js';
 import { InferProvable } from './lib/provable/types/struct.js';
 import { Recursive as Recursive_ } from './lib/proof-system/recursive.js';
+import {
+  ProvableBigInt as ProvableBigInt_,
+  createProvableBigInt as createProvableBigInt_,
+} from './lib/provable/bigint.js';
 export { Experimental };
 
 const Experimental_ = {
@@ -165,6 +169,9 @@ namespace Experimental {
 
   export let Recursive = Recursive_;
 
+  export let ProvableBigInt = ProvableBigInt_;
+  export let createProvableBigInt = createProvableBigInt_;
+
   // indexed merkle map
   export let IndexedMerkleMap = Experimental_.IndexedMerkleMap;
   export type IndexedMerkleMap = IndexedMerkleMapBase;