@silvana-one/mina-utils 1.0.22 → 1.0.24

package/dist/node/commitment/commitment.d.ts

@@ -0,0 +1,11 @@
+import { Field, UInt32 } from "o1js";
+import { Fr } from "./constants.js";
+export type CanonicalElement = InstanceType<typeof Fr.Canonical>;
+export type AlmostReducedElement = InstanceType<typeof Fr.AlmostReduced>;
+export declare const R: CanonicalElement;
+export declare const S: CanonicalElement;
+export declare function scalar(n: bigint): CanonicalElement;
+export declare function blsCommitment(element: CanonicalElement): Field;
+export declare function digestStruct(fields: CanonicalElement[]): AlmostReducedElement;
+export declare function commit(table: AlmostReducedElement[]): AlmostReducedElement;
+export declare function update(oldTableCommitment: AlmostReducedElement, oldStructDigest: AlmostReducedElement, newStructDigest: AlmostReducedElement, index: UInt32): AlmostReducedElement;

package/dist/node/commitment/commitment.js

@@ -0,0 +1,72 @@
+import { Field } from "o1js";
+import { getR, Fr } from "./constants.js";
+import { rScalarPowProvable } from "./exp.js";
+// Create R constant for ZkProgram use (needs to be available at module level for provable code)
+export const R = getR();
+// ----- constants taken from Move code (big‑endian hex) -----
+export const S = Fr.from(0x1582695da6689f26db7bb3eb32907ecd0ac3af032aefad31a069352705f0d459n);
+const P = Field(20359658106300430391853594957854653514501797417378649347544016260949017072120n);
+const P2 = P.mul(P);
+// ----- helpers -----
+export function scalar(n) {
+    return Fr.from(n);
+}
+export function blsCommitment(element) {
+    return element.value[0]
+        .add(element.value[1].mul(P))
+        .add(element.value[1].mul(P2));
+}
+// inner: digest one struct
+export function digestStruct(fields) {
+    let d = Fr.from(0n).assertAlmostReduced();
+    for (const f of fields) {
+        const prod = d.mul(S); // returns Unreduced
+        d = prod.add(f).assertAlmostReduced(); // reduce for next iteration
+    }
+    return d;
+}
+// outer: commit whole table (vector of digests)
+export function commit(table) {
+    let acc = Fr.from(0n).assertAlmostReduced();
+    const r = getR(); // Get R once, not in every iteration
+    // Iterate in reverse order so that table[i] gets coefficient R^i
+    for (let i = table.length - 1; i >= 0; i--) {
+        const prod = acc.mul(r); // returns Unreduced
+        acc = prod.add(table[i]).assertAlmostReduced(); // reduce for next iteration
+    }
+    return acc;
+}
+// constant‑time single‑field update using struct digest recalculation (non-provable version)
+// export function update(
+//   oldTableCommitment: AlmostReducedElement,
+//   oldStructDigest: AlmostReducedElement,
+//   newStructDigest: AlmostReducedElement,
+//   index: number
+// ): AlmostReducedElement {
+//   // The table commitment formula in commit() now produces:
+//   // table[0]*R^0 + table[1]*R^1 + table[2]*R^2 + ... + table[i]*R^i
+//   // So position i has coefficient R^i
+//   // Position i has coefficient R^i - use optimized lookup table exponentiation
+//   const rPowI = rScalarPow(index).assertCanonical();
+//   // Calculate the change: new_commitment = old_commitment + (new_struct - old_struct) * R^i
+//   const structDelta = newStructDigest
+//     .sub(oldStructDigest)
+//     .assertAlmostReduced();
+//   const tableDelta = structDelta.mul(rPowI).assertAlmostReduced();
+//   return oldTableCommitment.add(tableDelta).assertAlmostReduced();
+// }
+// constant‑time single‑field update using struct digest recalculation (provable version)
+export function update(oldTableCommitment, oldStructDigest, newStructDigest, index) {
+    // The table commitment formula in commit() now produces:
+    // table[0]*R^0 + table[1]*R^1 + table[2]*R^2 + ... + table[i]*R^i
+    // So position i has coefficient R^i
+    // Position i has coefficient R^i - use provable lookup table exponentiation
+    const rPowI = rScalarPowProvable(index).assertCanonical();
+    // Calculate the change: new_commitment = old_commitment + (new_struct - old_struct) * R^i
+    const structDelta = newStructDigest
+        .sub(oldStructDigest)
+        .assertAlmostReduced();
+    const tableDelta = structDelta.mul(rPowI).assertAlmostReduced();
+    return oldTableCommitment.add(tableDelta).assertAlmostReduced();
+}
+//# sourceMappingURL=commitment.js.map

package/dist/node/commitment/commitment.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"commitment.js","sourceRoot":"","sources":["../../../src/commitment/commitment.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAU,MAAM,MAAM,CAAC;AACrC,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,kBAAkB,EAAE,MAAM,UAAU,CAAC;AAyD9C,gGAAgG;AAChG,MAAM,CAAC,MAAM,CAAC,GAAqB,IAAI,EAAE,CAAC;AAE1C,8DAA8D;AAC9D,MAAM,CAAC,MAAM,CAAC,GACZ,EAAE,CAAC,IAAI,CAAC,mEAAmE,CAAC,CAAC;AAE/E,MAAM,CAAC,GACL,KAAK,CACH,8EAA8E,CAC/E,CAAC;AACJ,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAEpB,sBAAsB;AACtB,MAAM,UAAU,MAAM,CAAC,CAAS;IAC9B,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACpB,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,OAAyB;IACrD,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;SACpB,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SAC5B,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;AACnC,CAAC;AAED,2BAA2B;AAC3B,MAAM,UAAU,YAAY,CAAC,MAA0B;IACrD,IAAI,CAAC,GAAyB,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,mBAAmB,EAAE,CAAC;IAChE,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,oBAAoB;QAC3C,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,mBAAmB,EAAE,CAAC,CAAC,4BAA4B;IACrE,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,gDAAgD;AAChD,MAAM,UAAU,MAAM,CAAC,KAA6B;IAClD,IAAI,GAAG,GAAyB,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,mBAAmB,EAAE,CAAC;IAClE,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,qCAAqC;IAEvD,iEAAiE;IACjE,KAAK,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3C,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,oBAAoB;QAC7C,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,mBAAmB,EAAE,CAAC,CAAC,4BAA4B;IAC9E,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,6FAA6F;AAC7F,0BAA0B;AAC1B,8CAA8C;AAC9C,2CAA2C;AAC3C,2CAA2C;AAC3C,kBAAkB;AAClB,4BAA4B;AAC5B,8DAA8D;AAC9D,uEAAuE;AACvE,yCAAyC;AAEzC,kFAAkF;AAClF,uDAAuD;AAEvD,+FAA+F;AAC/F,wCAAwC;AACxC,4BAA4B;AAC5B,8BAA8B;AAC9B,qEAAqE;AACrE,qEAAqE;AACrE,IAAI;AAEJ,yFAAyF;AACzF,MAAM,UAAU,MAAM,CACpB,kBAAwC,EACxC,eAAqC,EACrC,eAAqC,EACrC,KAAa;IAEb,yDAAyD;IACzD,kEAAkE;IAClE,oCAAoC;IAEpC,4EAA4E;IAC5E,MAAM,KAAK,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC,eAAe,EAAE,CAAC;IAE1D,0FAA0F;IAC1F,MAAM,WAAW,GAAG,eAAe;SAChC,GAAG,CAAC,eAAe,CAAC;SACpB,mBAAmB,EAAE,CAAC;IACzB,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,mBAAmB,EAAE,CAAC;IAChE,OAAO,kBAAkB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,mBAAmB,EAAE,CAAC;AAClE,CAAC"}

package/dist/node/commitment/constants.d.ts

@@ -0,0 +1,11 @@
+export { Fr, BLS_FR, TABLE0, TABLE1, TABLE2 };
+declare const BLS_FR = 52435875175126190479447740508185965837690552500527637822603658699938581184513n;
+declare const Fr: typeof import("node_modules/o1js/dist/node/lib/provable/foreign-field.js").UnreducedForeignField;
+type CanonicalElement = InstanceType<typeof Fr.Canonical>;
+export declare function getR(): CanonicalElement;
+export declare function getTable0Entry(index: number): CanonicalElement;
+export declare function getTable1Entry(index: number): CanonicalElement;
+export declare function getTable2Entry(index: number): CanonicalElement;
+declare const TABLE0: readonly bigint[];
+declare const TABLE1: readonly bigint[];
+declare const TABLE2: readonly bigint[];