@proto-kit/protocol 0.1.1-develop.165 → 0.1.1-develop.185

package/dist/utils/merkletree/RollupMerkleTree.js

@@ -11,7 +11,7 @@ var __metadata = (this && this.__metadata) || function (k, v) {
 /* eslint-disable line-comment-position */
 /* eslint-disable no-inline-comments */
 /* eslint-disable @typescript-eslint/no-magic-numbers */
-import { Bool, Circuit, Field, Poseidon, Struct } from "snarkyjs";
+import { Bool, Field, Poseidon, Provable, Struct } from "snarkyjs";
 import { notInCircuit } from "../utils";
 // external API
 // eslint-disable-next-line @typescript-eslint/no-use-before-define
@@ -24,8 +24,8 @@ export { maybeSwap };
  * for [Merkle Witness'](https://computersciencewiki.org/index.php/Merkle_proof).
  */
 class RollupMerkleWitness extends Struct({
-    path: Circuit.array(Field, 256 - 1),
-    isLeft: Circuit.array(Bool, 256 - 1),
+    path: Provable.Array(Field, 256 - 1),
+    isLeft: Provable.Array(Bool, 256 - 1),
 }) {
     height() {
         return RollupMerkleWitness.height;
@@ -55,7 +55,7 @@ class RollupMerkleWitness extends Struct({
         const n = this.height();
         // eslint-disable-next-line no-underscore-dangle
         for (let index_ = 1; index_ < n; ++index_) {
-            index = Circuit.if(this.isLeft[index_ - 1], index, index.add(powerOfTwo));
+            index = Provable.if(this.isLeft[index_ - 1], index, index.add(powerOfTwo));
             powerOfTwo = powerOfTwo.mul(2);
         }
         return index;

package/dist/utils/{Utils.d.ts → utils.d.ts}

@@ -8,10 +8,7 @@ export type Subclass<Class extends new (...args: any) => any> = (new (...args: a
     prototype: InstanceType<Class>;
 };
 export declare function notInCircuit(): MethodDecorator;
-export declare function stringToField(value: string, throwOnOverflow?: boolean): import("snarkyjs/dist/node/lib/field").Field;
-/**
- * Note: This only works for strings that have been encoded using the `throwOnOverflow` set to true
- */
-export declare function fieldToString(value: Field | bigint): string;
+export declare function stringToField(value: string): import("snarkyjs/dist/node/lib/field").Field;
+export declare function singleFieldToString(value: Field | bigint): string;
 export declare function noop(): void;
 //# sourceMappingURL=utils.d.ts.map

package/dist/utils/{Utils.d.ts.map → utils.d.ts.map}

@@ -1 +1 @@
-{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../src/utils/utils.ts"],"names":[],"mappings":"AAGA,OAAO,EAAW,KAAK,EAAmB,MAAM,UAAU,CAAC;AAE3D,MAAM,MAAM,UAAU,CAAC,YAAY,SAAS,QAAQ,IAAI,YAAY,SAAS,CAC3E,GAAG,IAAI,EAAE,GAAG,EAAE,KACX,MAAM,MAAM,GACb,MAAM,GACN,GAAG,CAAC;AAER,MAAM,MAAM,YAAY,GAAG,KAAK,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC;AAEvD,MAAM,MAAM,UAAU,CAAC,KAAK,IAAI,KAAK,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,KAAK,CAAC;AAE9D,MAAM,MAAM,QAAQ,CAAC,KAAK,SAAS,KAAK,GAAG,IAAI,EAAE,GAAG,KAAK,GAAG,IAAI,CAAC,KAC/D,GAAG,IAAI,EAAE,GAAG,KACT,YAAY,CAAC,KAAK,CAAC,CAAC,GAAG;KACzB,GAAG,IAAI,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC;CACjC,GAAG;IAAE,SAAS,EAAE,YAAY,CAAC,KAAK,CAAC,CAAA;CAAE,CAAC;AAEvC,wBAAgB,YAAY,IAAI,eAAe,CAoB9C;AAED,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,EAAE,eAAe,UAAQ,gDAiCnE;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM,GAAG,MAAM,CAmB3D;AAED,wBAAgB,IAAI,IAAI,IAAI,CAAG"}
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../src/utils/utils.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,KAAK,EAAsB,MAAM,UAAU,CAAC;AAGrD,MAAM,MAAM,UAAU,CAAC,YAAY,SAAS,QAAQ,IAAI,YAAY,SAAS,CAC3E,GAAG,IAAI,EAAE,GAAG,EAAE,KACX,MAAM,MAAM,GACb,MAAM,GACN,GAAG,CAAC;AAER,MAAM,MAAM,YAAY,GAAG,KAAK,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC;AAEvD,MAAM,MAAM,UAAU,CAAC,KAAK,IAAI,KAAK,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,KAAK,CAAC;AAE9D,MAAM,MAAM,QAAQ,CAAC,KAAK,SAAS,KAAK,GAAG,IAAI,EAAE,GAAG,KAAK,GAAG,IAAI,CAAC,KAC/D,GAAG,IAAI,EAAE,GAAG,KACT,YAAY,CAAC,KAAK,CAAC,CAAC,GAAG;KACzB,GAAG,IAAI,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC;CACjC,GAAG;IAAE,SAAS,EAAE,YAAY,CAAC,KAAK,CAAC,CAAA;CAAE,CAAC;AAEvC,wBAAgB,YAAY,IAAI,eAAe,CAoB9C;AAED,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,gDAiC1C;AAED,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM,GAAG,MAAM,CAKjE;AAED,wBAAgB,IAAI,IAAI,IAAI,CAAG"}

package/dist/utils/utils.js

@@ -0,0 +1,51 @@
+// eslint-disable-next-line max-len
+/* eslint-disable @typescript-eslint/no-explicit-any,@typescript-eslint/ban-types, @typescript-eslint/no-unsafe-return,@typescript-eslint/no-empty-function */
+import { Field, Poseidon, Provable } from "snarkyjs";
+import floor from "lodash/floor";
+export function notInCircuit() {
+    return function ReplacedFunction(target, propertyKey, descriptor) {
+        // eslint-disable-next-line @typescript-eslint/no-unsafe-assignment
+        const childFunction = descriptor.value;
+        descriptor.value = function value(...args) {
+            if (Provable.inCheckedComputation() || Provable.inProver()) {
+                throw new Error(`Method ${propertyKey.toString()} is supposed to be only called outside of the circuit`);
+            }
+            // eslint-disable-next-line max-len
+            // eslint-disable-next-line @typescript-eslint/no-unsafe-call,@typescript-eslint/no-unsafe-member-access
+            return childFunction.apply(this, args);
+        };
+        return descriptor;
+    };
+}
+export function stringToField(value) {
+    const fieldSize = Field.sizeInBytes() - 1;
+    // Encode string as byte[]
+    const encoder = new TextEncoder();
+    const stringBytes = Array.from(encoder.encode(value));
+    // Add padding in case the string is not a multiple of Field.sizeInBytes
+    const padding = Array.from({
+        length: fieldSize - (stringBytes.length % fieldSize),
+    }).fill(0);
+    const data = stringBytes.concat(padding).reverse();
+    // Hash the result Field[] to reduce it to
+    const chunks = data.reduce((a, b, index) => {
+        const arrayIndex = floor(index / fieldSize);
+        a[arrayIndex].push(b);
+        return a;
+    }, 
+    // eslint-disable-next-line array-func/from-map
+    Array.from({ length: floor(data.length / fieldSize) }).map(() => []));
+    const fields = chunks.map((x) => 
+    // We have to add a zero at the highest byte here, because a Field is
+    // a bit smaller than 2^256
+    // console.log(x.concat([0]).length);
+    Field.fromBytes(x.concat([0])));
+    return Poseidon.hash(fields);
+}
+export function singleFieldToString(value) {
+    if (typeof value === "bigint") {
+        value = Field(value);
+    }
+    return value.toString();
+}
+export function noop() { }

package/package.json

@@ -3,7 +3,7 @@
   "license": "MIT",
   "private": false,
   "type": "module",
-  "version": "0.1.1-develop.165+e99182d",
+  "version": "0.1.1-develop.185+513fbd8",
   "scripts": {
     "build": "tsc -p tsconfig.json",
     "dev": "tsc -p tsconfig.json --watch",
@@ -17,18 +17,18 @@
     "access": "public"
   },
   "dependencies": {
-    "@proto-kit/common": "0.1.1-develop.165+e99182d",
+    "@proto-kit/common": "0.1.1-develop.185+513fbd8",
     "lodash": "^4.17.21",
     "loglevel": "^1.8.1",
     "reflect-metadata": "^0.1.13"
   },
   "peerDependencies": {
-    "snarkyjs": "0.11.0",
+    "snarkyjs": "0.12.0",
     "tsyringe": "^4.7.0"
   },
   "devDependencies": {
     "@jest/globals": "^29.5.0",
     "@types/lodash": "^4.14.194"
   },
-  "gitHead": "e99182de6df97193927541c180c2023aceed243a"
+  "gitHead": "513fbd83cb6540fba01736d55ab0b4f7c1f71f78"
 }

package/src/model/Option.ts

@@ -130,4 +130,17 @@ export class Option<Value> {
       value: this.treeValue,
     });
   }
+
+  public toJSON() {
+    const valueContent = this.valueType
+      .toFields(this.value)
+      .map((field) => field.toString())
+      .reduce((a, b) => `${a}, ${b}`);
+
+    return {
+      isSome: this.isSome.toBoolean(),
+
+      value: `[${valueContent}]`,
+    };
+  }
 }

package/src/model/StateTransition.ts

@@ -69,4 +69,12 @@ export class StateTransition<Value> {
       to: this.to.toProvable(),
     });
   }
+
+  public toJSON() {
+    return {
+      path: this.path.toString(),
+      from: this.from.toJSON(),
+      to: this.to.toJSON(),
+    };
+  }
 }

package/src/model/StateTransitionProvableBatch.ts

@@ -1,22 +1,19 @@
-import { Circuit, Struct } from "snarkyjs";
+import { Provable, Struct } from "snarkyjs";
 
-import { ProvableStateTransition } from "./StateTransition.js";
 import { constants } from "../Constants";
 
+import { ProvableStateTransition } from "./StateTransition.js";
+
 /**
  * A Batch of StateTransitions to be consumed by the StateTransitionProver
  * to prove multiple STs at once
  */
 export class StateTransitionProvableBatch extends Struct({
-  batch: Circuit.array(
+  batch: Provable.Array(
     ProvableStateTransition,
     constants.stateTransitionProverBatchSize
   ),
 }) {
-  private constructor(object: { batch: ProvableStateTransition[] }) {
-    super(object);
-  }
-
   public static fromTransitions(
     transitions: ProvableStateTransition[]
   ): StateTransitionProvableBatch {
@@ -28,4 +25,8 @@ export class StateTransitionProvableBatch extends Struct({
 
     return new StateTransitionProvableBatch({ batch: array });
   }
+
+  private constructor(object: { batch: ProvableStateTransition[] }) {
+    super(object);
+  }
 }

package/src/model/network/NetworkState.ts

@@ -8,8 +8,6 @@ export class NetworkState extends Struct({
   block: CurrentBlock,
 }) {
   public hash(): Field {
-    return Poseidon.hash([
-      ...CurrentBlock.toFields(this.block)
-    ])
+    return Poseidon.hash(CurrentBlock.toFields(this.block));
   }
 }

package/src/model/transaction/RuntimeTransaction.ts

@@ -8,16 +8,19 @@ import { ProtocolTransaction } from "./ProtocolTransaction";
  * For example, we don't want to expose the signature or args as fields.
  */
 export class RuntimeTransaction extends Struct({
+  methodId: Field,
   nonce: UInt64,
   sender: PublicKey,
   argsHash: Field,
 }) {
   public static fromProtocolTransaction({
+    methodId,
     nonce,
     sender,
     argsHash,
   }: ProtocolTransaction): RuntimeTransaction {
     return new RuntimeTransaction({
+      methodId,
       nonce,
       sender,
       argsHash,
@@ -26,8 +29,9 @@ export class RuntimeTransaction extends Struct({
 
   public hash(): Field {
     return Poseidon.hash([
-      ...this.nonce.toFields(),
+      this.methodId,
       ...this.sender.toFields(),
+      ...this.nonce.toFields(),
       this.argsHash,
     ]);
   }

package/src/protocol/Protocol.ts

@@ -79,7 +79,7 @@ export class Protocol<
     return protocol;
   }
 
-  protected decorateModule(
+  public decorateModule(
     moduleName: StringKeyOf<Modules>,
     containedModule: InstanceType<Modules[StringKeyOf<Modules>]>
   ) {

package/src/protocol/ProtocolModule.ts

@@ -5,7 +5,6 @@ import {
 } from "@proto-kit/common";
 
 import type { Protocol, ProtocolModulesRecord } from "./Protocol";
-import { noop } from "lodash";
 
 export abstract class ProtocolModule<PublicInput, PublicOutput>
   extends ZkProgrammable<PublicInput, PublicOutput>
@@ -15,13 +14,13 @@ export abstract class ProtocolModule<PublicInput, PublicOutput>
 
   public protocol?: Protocol<ProtocolModulesRecord>;
 
+  public constructor() {
+    super();
+  }
+
   public get appChain(): AreProofsEnabled | undefined {
     return this.protocol?.dependencyContainer.resolve<AreProofsEnabled>(
       "AppChain"
     );
   }
-
-  public constructor() {
-    super();
-  }
 }

package/src/prover/block/BlockProvable.ts

@@ -1,8 +1,8 @@
-import { Field, Proof, Struct, UInt64 } from "snarkyjs";
+import { Field, Proof, Struct } from "snarkyjs";
+import { ZkProgrammable } from "@proto-kit/common";
 
 import { StateTransitionProof } from "../statetransition/StateTransitionProvable";
 import { MethodPublicOutput } from "../../model/MethodPublicOutput";
-import { ZkProgrammable } from "@proto-kit/common";
 import { ProtocolTransaction } from "../../model/transaction/ProtocolTransaction";
 import { NetworkState } from "../../model/network/NetworkState";
 

package/src/prover/block/BlockProver.ts

@@ -182,7 +182,12 @@ export class BlockProver
       networkStateHash: publicInput.networkStateHash,
     };
 
-    const stateTo = this.applyTransaction(state, stateProof, appProof, executionData);
+    const stateTo = this.applyTransaction(
+      state,
+      stateProof,
+      appProof,
+      executionData
+    );
 
     return new BlockProverPublicOutput({
       stateRoot: stateTo.stateRoot,

package/src/prover/statetransition/StateTransitionProver.ts

@@ -1,5 +1,6 @@
 import { Experimental, Field, Provable, SelfProof } from "snarkyjs";
-import { inject, injectable } from "tsyringe";
+import { injectable } from "tsyringe";
+import { PlainZkProgram, provableMethod } from "@proto-kit/common";
 
 import {
   MerkleTreeUtils,
@@ -12,20 +13,15 @@ import {
 import { ProvableStateTransition } from "../../model/StateTransition";
 import { StateTransitionProvableBatch } from "../../model/StateTransitionProvableBatch";
 import { constants } from "../../Constants";
+import { ProtocolModule } from "../../protocol/ProtocolModule";
 
 import { StateTransitionWitnessProvider } from "./StateTransitionWitnessProvider.js";
-import {
-  AreProofsEnabled,
-  PlainZkProgram,
-  provableMethod,
-} from "@proto-kit/common";
 import {
   StateTransitionProvable,
   StateTransitionProverPublicInput,
   StateTransitionProof,
   StateTransitionProverPublicOutput,
 } from "./StateTransitionProvable";
-import { ProtocolModule } from "../../protocol/ProtocolModule";
 import { StateTransitionWitnessProviderReference } from "./StateTransitionWitnessProviderReference";
 
 const errors = {
@@ -78,6 +74,8 @@ export class StateTransitionProver
     StateTransitionProverPublicInput,
     StateTransitionProverPublicOutput
   > {
+    // eslint-disable-next-line max-len
+    // eslint-disable-next-line @typescript-eslint/no-this-alias,consistent-this,unicorn/no-this-assignment
     const instance = this;
 
     const program = Experimental.ZkProgram({
@@ -219,11 +217,10 @@ export class StateTransitionProver
       batch
     );
 
-    const output = new StateTransitionProverPublicOutput({
+    return new StateTransitionProverPublicOutput({
       stateRoot: result.stateRoot,
       stateTransitionsHash: result.stateTransitionList.commitment,
     });
-    return output;
   }
 
   @provableMethod()

package/src/prover/statetransition/StateTransitionWitnessProvider.ts

@@ -18,7 +18,7 @@ export interface StateTransitionWitnessProvider {
 export class NoOpStateTransitionWitnessProvider
   implements StateTransitionWitnessProvider
 {
-  public getWitness(key: Field): RollupMerkleWitness {
+  public getWitness(): RollupMerkleWitness {
     return new RollupMerkleWitness({ path: [], isLeft: [] });
   }
 }

package/src/prover/statetransition/StateTransitionWitnessProviderReference.ts

@@ -1,10 +1,10 @@
 import { injectable, Lifecycle, scoped } from "tsyringe";
+
 import { StateTransitionWitnessProvider } from "./StateTransitionWitnessProvider";
 
 @injectable()
 @scoped(Lifecycle.ContainerScoped)
 export class StateTransitionWitnessProviderReference {
-
   private witnessProvider?: StateTransitionWitnessProvider;
 
   public setWitnessProvider(provider: StateTransitionWitnessProvider) {
@@ -14,4 +14,4 @@ export class StateTransitionWitnessProviderReference {
   public getWitnessProvider(): StateTransitionWitnessProvider | undefined {
     return this.witnessProvider;
   }
-}
+}

package/src/utils/merkletree/InMemoryMerkleTreeStorage.ts

@@ -1,5 +1,4 @@
-// eslint-disable-next-line max-len
-/* eslint-disable @typescript-eslint/no-magic-numbers,@typescript-eslint/no-unnecessary-condition */
+/* eslint-disable @typescript-eslint/no-magic-numbers */
 import { log } from "@proto-kit/common";
 
 import { RollupMerkleTree } from "./RollupMerkleTree.js";
@@ -49,8 +48,8 @@ export class CachedMerkleTreeStore extends InMemoryMerkleTreeStorage {
     this.writeCache = {};
   }
 
+  // eslint-disable-next-line sonarjs/cognitive-complexity
   public async preloadKey(index: bigint): Promise<void> {
-    log.debug(`Preloading MT ${index}`);
     // Algo from RollupMerkleTree.getWitness()
     const { leafCount, height } = RollupMerkleTree;
 
@@ -68,6 +67,7 @@ export class CachedMerkleTreeStore extends InMemoryMerkleTreeStorage {
 
       // eslint-disable-next-line no-await-in-loop
       const value = await this.parent.getNode(key, level);
+      // eslint-disable-next-line no-await-in-loop
       const sibling = await this.parent.getNode(siblingKey, level);
       if (level === 0) {
         log.debug(`Preloaded ${key} @ ${level} -> ${value ?? "-"}`);
@@ -75,7 +75,7 @@ export class CachedMerkleTreeStore extends InMemoryMerkleTreeStorage {
       if (value !== undefined) {
         this.setNode(key, level, value);
       }
-      if(sibling !== undefined) {
+      if (sibling !== undefined) {
         this.setNode(siblingKey, level, sibling);
       }
       index /= 2n;

package/src/utils/merkletree/MerkleTreeStore.ts

@@ -12,4 +12,4 @@ export interface MerkleTreeStore {
   setNode: (key: bigint, level: number, value: bigint) => void;
 
   getNode: (key: bigint, level: number) => bigint | undefined;
-}
+}

package/src/utils/merkletree/RollupMerkleTree.ts

@@ -2,9 +2,10 @@
 /* eslint-disable line-comment-position */
 /* eslint-disable no-inline-comments */
 /* eslint-disable @typescript-eslint/no-magic-numbers */
-import { Bool, Circuit, Field, Poseidon, Struct } from "snarkyjs";
+import { Bool, Field, Poseidon, Provable, Struct } from "snarkyjs";
 
 import { notInCircuit } from "../utils";
+
 import { MerkleTreeStore } from "./MerkleTreeStore";
 
 // external API
@@ -20,8 +21,8 @@ export { maybeSwap };
  * for [Merkle Witness'](https://computersciencewiki.org/index.php/Merkle_proof).
  */
 class RollupMerkleWitness extends Struct({
-  path: Circuit.array(Field, 256 - 1),
-  isLeft: Circuit.array(Bool, 256 - 1),
+  path: Provable.Array(Field, 256 - 1),
+  isLeft: Provable.Array(Bool, 256 - 1),
 }) {
   public static height = 256;
 
@@ -58,7 +59,11 @@ class RollupMerkleWitness extends Struct({
 
     // eslint-disable-next-line no-underscore-dangle
     for (let index_ = 1; index_ < n; ++index_) {
-      index = Circuit.if(this.isLeft[index_ - 1], index, index.add(powerOfTwo));
+      index = Provable.if(
+        this.isLeft[index_ - 1],
+        index,
+        index.add(powerOfTwo)
+      );
       powerOfTwo = powerOfTwo.mul(2);
     }
 

package/src/utils/utils.ts

@@ -1,7 +1,8 @@
 // eslint-disable-next-line max-len
 /* eslint-disable @typescript-eslint/no-explicit-any,@typescript-eslint/ban-types, @typescript-eslint/no-unsafe-return,@typescript-eslint/no-empty-function */
 
-import { Circuit, Field, Poseidon, Proof } from "snarkyjs";
+import { Field, Poseidon, Provable } from "snarkyjs";
+import floor from "lodash/floor";
 
 export type ReturnType<FunctionType extends Function> = FunctionType extends (
   ...args: any[]
@@ -28,7 +29,7 @@ export function notInCircuit(): MethodDecorator {
     // eslint-disable-next-line @typescript-eslint/no-unsafe-assignment
     const childFunction = descriptor.value;
     descriptor.value = function value(this: any, ...args: any[]) {
-      if (Circuit.inCheckedComputation() || Circuit.inProver()) {
+      if (Provable.inCheckedComputation() || Provable.inProver()) {
         throw new Error(
           `Method ${propertyKey.toString()} is supposed to be only called outside of the circuit`
         );
@@ -41,63 +42,46 @@ export function notInCircuit(): MethodDecorator {
   };
 }
 
-export function stringToField(value: string, throwOnOverflow = false) {
-  const fieldSize = Field.sizeInBytes();
+export function stringToField(value: string) {
+  const fieldSize = Field.sizeInBytes() - 1;
 
-  // eslint-disable-next-line putout/putout
+  // Encode string as byte[]
   const encoder = new TextEncoder();
-
   const stringBytes = Array.from(encoder.encode(value));
 
+  // Add padding in case the string is not a multiple of Field.sizeInBytes
   const padding = Array.from<number>({
-    length: fieldSize - stringBytes.length,
+    length: fieldSize - (stringBytes.length % fieldSize),
   }).fill(0);
-  const data = stringBytes.concat(padding);
-
-  if (data.length > fieldSize) {
-    if (throwOnOverflow) {
-      throw new Error(
-        "Trying to encode a stringt that is larger than 256 bits"
-      );
-    }
+  const data = stringBytes.concat(padding).reverse();
 
-    // Hash the result Field[] to reduce it to
-    const chunks = data.reduce<number[][]>((a, b, index) => {
-      const arrayIndex = index / fieldSize;
-      if (a.length <= arrayIndex) {
-        a.push([]);
-      }
+  // Hash the result Field[] to reduce it to
+  const chunks = data.reduce<number[][]>(
+    (a, b, index) => {
+      const arrayIndex = floor(index / fieldSize);
       a[arrayIndex].push(b);
       return a;
-    }, []);
-    return Poseidon.hash(chunks.map((x) => Field.fromBytes(x)));
-  }
-
-  return Field.fromBytes(data);
+    },
+
+    // eslint-disable-next-line array-func/from-map
+    Array.from<number[]>({ length: floor(data.length / fieldSize) }).map(
+      () => []
+    )
+  );
+  const fields = chunks.map((x) =>
+    // We have to add a zero at the highest byte here, because a Field is
+    // a bit smaller than 2^256
+    // console.log(x.concat([0]).length);
+    Field.fromBytes(x.concat([0]))
+  );
+  return Poseidon.hash(fields);
 }
 
-/**
- * Note: This only works for strings that have been encoded using the `throwOnOverflow` set to true
- */
-export function fieldToString(value: Field | bigint): string {
+export function singleFieldToString(value: Field | bigint): string {
   if (typeof value === "bigint") {
     value = Field(value);
   }
-  let bytes = Field.toBytes(value);
-  // Find start of padded zeroes in order to remove them.
-  const zeroesStart =
-    bytes.length -
-    bytes
-      .slice()
-      .reverse()
-      .findIndex((element) => element !== 0);
-
-  bytes = bytes.slice(0, zeroesStart);
-
-  // eslint-disable-next-line putout/putout
-  const decoder = new TextDecoder();
-
-  return decoder.decode(new Uint8Array(bytes));
+  return value.toString();
 }
 
 export function noop(): void {}

package/test/utils.test.ts

@@ -0,0 +1,30 @@
+import "reflect-metadata";
+import { Field } from "snarkyjs";
+
+import { stringToField } from "../src";
+
+describe("stringToField", () => {
+  const stringToFieldInputs: string[] = [];
+
+  // eslint-disable-next-line jest/require-hook
+  [31, 32, 33, 63, 64, 65, 1000].forEach((length) => {
+    stringToFieldInputs.push(
+      // eslint-disable-next-line array-func/from-map
+      Array.from({ length })
+        .map(() => "A")
+        .reduce((a, b) => a + b)
+    );
+  });
+
+  it.each(
+    ["", "a", "Helloasdlsdaglsdiousdioagiosadgoisaudogiusadogusoadgds"].concat(
+      stringToFieldInputs
+    )
+  )("should encode without errors", (input) => {
+    expect.assertions(1);
+
+    const field = stringToField(input);
+
+    expect(field.toBigInt()).toBeGreaterThan(0n);
+  });
+});

package/dist/config/ConfigurableModule.d.ts

@@ -1,18 +0,0 @@
-export type Preset<Config> = Config | ((...args: any[]) => Config);
-export type Presets<Config> = Record<string, Preset<Config>>;
-export interface Configurable<Config> {
-    config: Config;
-}
-/**
- * Used by various module sub-types that may need to be configured
- */
-export declare class ConfigurableModule<Config> implements Configurable<Config> {
-    protected currentConfig: Config | undefined;
-    constructor(...args: any[]);
-    get config(): Config;
-    set config(config: Config);
-}
-export interface StaticConfigurableModule<Config> {
-    presets: Presets<Config>;
-}
-//# sourceMappingURL=ConfigurableModule.d.ts.map

package/dist/config/ConfigurableModule.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"ConfigurableModule.d.ts","sourceRoot":"","sources":["../../src/config/ConfigurableModule.ts"],"names":[],"mappings":"AAQA,MAAM,MAAM,MAAM,CAAC,MAAM,IAAI,MAAM,GAAG,CAAC,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,MAAM,CAAC,CAAC;AACnE,MAAM,MAAM,OAAO,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;AAG7D,MAAM,WAAW,YAAY,CAAC,MAAM;IAClC,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,qBAAa,kBAAkB,CAAC,MAAM,CAAE,YAAW,YAAY,CAAC,MAAM,CAAC;IACrE,SAAS,CAAC,aAAa,EAAE,MAAM,GAAG,SAAS,CAAC;gBAIzB,GAAG,IAAI,EAAE,GAAG,EAAE;IAEjC,IAAW,MAAM,IAAI,MAAM,CAK1B;IAED,IAAW,MAAM,CAAC,MAAM,EAAE,MAAM,EAE/B;CACF;AAGD,MAAM,WAAW,wBAAwB,CAAC,MAAM;IAC9C,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;CAC1B"}

package/dist/config/ConfigurableModule.js

@@ -1,20 +0,0 @@
-const errors = {
-    configNotSet: (moduleName) => new Error(`Trying to retrieve config of ${moduleName}, which was not yet set`),
-};
-/**
- * Used by various module sub-types that may need to be configured
- */
-export class ConfigurableModule {
-    // eslint-disable-next-line max-len
-    // eslint-disable-next-line @typescript-eslint/no-useless-constructor, @typescript-eslint/no-unused-vars, @typescript-eslint/no-empty-function
-    constructor(...args) { }
-    get config() {
-        if (this.currentConfig === undefined) {
-            throw errors.configNotSet(this.constructor.name);
-        }
-        return this.currentConfig;
-    }
-    set config(config) {
-        this.currentConfig = config;
-    }
-}

package/dist/config/ConfigurationAggregator.d.ts

@@ -1,10 +0,0 @@
-import { ComponentConfig, Components, RemoveUndefinedKeys, UninitializedComponentConfig } from "./types";
-/**
- * In this context, a "Component" is just a way of generalizing Modules,
- * because they don't have to be modules, they can be any configurable unit
- */
-export declare abstract class ConfigurationAggregator<Comps extends Components> {
-    protected applyConfig(modules: Comps, currentConfig: UninitializedComponentConfig<ComponentConfig<Comps>>, config: RemoveUndefinedKeys<ComponentConfig<Comps>>): ComponentConfig<Comps>;
-    abstract configure(config: RemoveUndefinedKeys<ComponentConfig<Comps>>): void;
-}
-//# sourceMappingURL=ConfigurationAggregator.d.ts.map