proto-kit · rpanic · Nov 10, 2025 · Oct 30, 2025 · Oct 30, 2025 · Oct 31, 2025
diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -53,7 +53,7 @@
     "ts-jest": "^29.0.5",
     "typedoc": "^0.26.11",
     "typedoc-plugin-frontmatter": "1.0.0",
-    "typedoc-plugin-inline-sources": "^1.2.0",
+    "typedoc-plugin-inline-sources": "1.2.0",
     "typedoc-plugin-markdown": "4.2.10",
     "typescript": "5.1",
     "istanbul-merge": "^2.0.0"

diff --git a/packages/api/package.json b/packages/api/package.json
@@ -48,7 +48,7 @@
     "@proto-kit/module": "*",
     "@proto-kit/protocol": "*",
     "@proto-kit/sequencer": "*",
-    "o1js": "^1.6.0",
+    "o1js": "^2.10.0",
     "tsyringe": "^4.10.0"
   },
   "devDependencies": {

diff --git a/packages/api/src/metrics/OpenTelemetryServer.ts b/packages/api/src/metrics/OpenTelemetryServer.ts
@@ -59,12 +59,12 @@ export class OpenTelemetryServer extends SequencerModule<OpenTelemetryServerConf
     );
 
     const metricReader =
-      metrics?.enabled ?? true
+      (metrics?.enabled ?? true)
         ? new PrometheusExporter(metrics?.prometheus)
         : undefined;
 
     const instrumentations =
-      metrics?.enabled ?? true
+      (metrics?.enabled ?? true)
         ? [
             new RuntimeNodeInstrumentation({
               monitoringPrecision: metrics?.nodeScrapeInterval ?? 5000,
@@ -74,7 +74,7 @@ export class OpenTelemetryServer extends SequencerModule<OpenTelemetryServerConf
         : [];
 
     const traceExporter =
-      tracing?.enabled ?? true
+      (tracing?.enabled ?? true)
         ? new OTLPTraceExporter(tracing?.otlp)
         : undefined;
 

diff --git a/packages/common/package.json b/packages/common/package.json
@@ -24,7 +24,7 @@
     "ts-mixer": "^6.0.3"
   },
   "peerDependencies": {
-    "o1js": "^1.6.0",
+    "o1js": "^2.10.0",
     "tsyringe": "^4.10.0"
   },
   "devDependencies": {

diff --git a/packages/common/src/zkProgrammable/ZkProgrammable.ts b/packages/common/src/zkProgrammable/ZkProgrammable.ts
@@ -33,7 +33,10 @@ export interface Compile {
   (): Promise<CompileArtifact>;
 }
 
-export interface PlainZkProgram<PublicInput = undefined, PublicOutput = void> {
+export interface PlainZkProgram<
+  PublicInput = undefined,
+  PublicOutput = undefined,
+> {
   name: string;
   compile: Compile;
   verify: Verify<PublicInput, PublicOutput>;
@@ -45,11 +48,17 @@ export interface PlainZkProgram<PublicInput = undefined, PublicOutput = void> {
   >;
   methods: Record<
     string,
-    | ((...args: any) => Promise<Proof<PublicInput, PublicOutput>>)
+    | ((...args: any) => Promise<{
+        proof: Proof<PublicInput, PublicOutput>;
+        auxiliaryOutput: any;
+      }>)
     | ((
         publicInput: PublicInput,
         ...args: any
-      ) => Promise<Proof<PublicInput, PublicOutput>>)
+      ) => Promise<{
+        proof: Proof<PublicInput, PublicOutput>;
+        auxiliaryOutput: any;
+      }>)
   >;
   analyzeMethods: () => Promise<
     Record<string, Awaited<ReturnType<typeof Provable.constraintSystem>>>

diff --git a/packages/common/src/zkProgrammable/provableMethod.ts b/packages/common/src/zkProgrammable/provableMethod.ts
@@ -38,7 +38,9 @@ export function toProver(
 
     if (areProofsEnabled) {
       const programProvableMethod = zkProgram.methods[methodName];
-      return await Reflect.apply(programProvableMethod, this, args);
+      const result = await Reflect.apply(programProvableMethod, this, args);
+      // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
+      return result.proof as Proof<any, any>;
     }
 
     // create a mock proof by simulating method> execution in JS
@@ -49,8 +51,18 @@ export function toProver(
 
       // TODO: provide undefined if public input is not used
       publicInput: isFirstParameterPublicInput ? args[0] : undefined,
-      publicOutput,
-
+      // eslint-disable-next-line @typescript-eslint/no-unsafe-assignment
+      publicOutput: (() => {
+        // eslint-disable-next-line @typescript-eslint/strict-boolean-expressions
+        if (!publicOutput || typeof publicOutput !== "object") {
+          return undefined;
+        }
+        if ("publicOutput" in publicOutput) {
+          // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
+          return (publicOutput as any).publicOutput;
+        }
+        return publicOutput;
+      })(),
       /**
        * We set this to the max possible number, to avoid having
        * to manually count in-circuit proof verifications

diff --git a/packages/common/test/zkProgrammable/ZkProgrammable.test.ts b/packages/common/test/zkProgrammable/ZkProgrammable.test.ts
@@ -42,18 +42,22 @@ class TestProgrammable extends ZkProgrammable<
   @provableMethod()
   public async foo(publicInput: TestPublicInput, bar: Balance) {
     // expose the private input as public output again for testing purposes
-    return new TestPublicOutput({
-      bar,
-    });
+    return {
+      publicOutput: new TestPublicOutput({
+        bar,
+      }),
+    };
   }
 
   @provableMethod()
   public async fail(publicInput: TestPublicInput) {
     publicInput.foo.assertEquals(1, failErrorMessage);
 
-    return new TestPublicOutput({
-      bar: Field(0),
-    });
+    return {
+      publicOutput: new TestPublicOutput({
+        bar: Field(0),
+      }),
+    };
   }
 
   public zkProgramFactory() {
@@ -272,7 +276,7 @@ describe("zkProgrammable", () => {
             // proof bar
             const otherTestProof = await executionContext
               .current()
-              .result.prove<Proof<undefined, void>>();
+              .result.prove<Proof<undefined, undefined>>();
             const otherTestProofVerified =
               await otherTestProgrammable.zkProgram[0].verify(otherTestProof);
 

diff --git a/packages/deployment/package.json b/packages/deployment/package.json
@@ -28,7 +28,7 @@
     "@proto-kit/sdk": "*",
     "@proto-kit/sequencer": "*",
     "bullmq": "^3.15.8",
-    "o1js": "^1.6.0",
+    "o1js": "^2.10.0",
     "tsyringe": "^4.10.0"
   },
   "devDependencies": {

diff --git a/packages/indexer/package.json b/packages/indexer/package.json
@@ -42,7 +42,7 @@
     "@proto-kit/sdk": "*",
     "@proto-kit/sequencer": "*",
     "koa": "^2.14.2",
-    "o1js": "^1.1.0",
+    "o1js": "^2.10.0",
     "tsyringe": "^4.10.0",
     "type-graphql": "2.0.0-rc.2",
     "typegraphql-prisma": "0.28"

diff --git a/packages/library/package.json b/packages/library/package.json
@@ -27,7 +27,7 @@
     "@proto-kit/module": "*",
     "@proto-kit/protocol": "*",
     "@proto-kit/sequencer": "*",
-    "o1js": "^1.6.0",
+    "o1js": "^2.10.0",
     "tsyringe": "^4.10.0"
   },
   "devDependencies": {

diff --git a/packages/module/package.json b/packages/module/package.json
@@ -28,7 +28,7 @@
   "peerDependencies": {
     "@proto-kit/common": "*",
     "@proto-kit/protocol": "*",
-    "o1js": "^1.6.0",
+    "o1js": "^2.10.0",
     "tsyringe": "^4.10.0"
   },
   "gitHead": "397881ed5d8f98f5005bcd7be7f5a12b3bc6f956"

diff --git a/packages/module/src/method/MethodParameterEncoder.ts b/packages/module/src/method/MethodParameterEncoder.ts
@@ -5,6 +5,7 @@ import {
   Provable,
   DynamicProof,
   FlexibleProvablePure,
+  FlexibleProvable,
 } from "o1js";
 import {
   ArgumentTypes,
@@ -29,7 +30,7 @@ const errors = {
 };
 
 type ArgumentType =
-  | FlexibleProvablePure<any>
+  | FlexibleProvable<any>
   | typeof Proof<unknown, unknown>
   | typeof DynamicProof<unknown, unknown>;
 
@@ -122,7 +123,7 @@ export class MethodParameterEncoder {
       );
     }
     // as any, since we shouldn't be using this workaround in the first place
-    return (type as FlexibleProvablePure<unknown>).sizeInFields();
+    return (type as FlexibleProvable<unknown>).sizeInFields();
   }
 
   public constructor(private readonly types: ArgTypeArray) {}
@@ -178,8 +179,9 @@ export class MethodParameterEncoder {
           }
         }
 
-        return (type as FlexibleProvablePure<unknown>).fromFields(
-          structFields
+        return (type as FlexibleProvable<unknown>).fromFields(
+          structFields,
+          []
         ) as any;
       })
     );

diff --git a/packages/module/src/runtime/Runtime.ts b/packages/module/src/runtime/Runtime.ts
@@ -222,10 +222,23 @@ export class RuntimeZkProgrammable<
 
     return splitRuntimeMethods().map((bucket, index) => {
       const name = `RuntimeProgram-${index}`;
+      const wrappedBucket = Object.fromEntries(
+        Object.entries(bucket).map(([methodName, methodDef]) => [
+          methodName,
+          {
+            privateInputs: methodDef.privateInputs,
+            method: async (...args: any[]) => {
+              const publicOutput = await methodDef.method(...args);
+              return { publicOutput };
+            },
+          },
+        ])
+      );
+
       const program = ZkProgram({
         name,
         publicOutput: MethodPublicOutput,
-        methods: bucket,
+        methods: wrappedBucket,
       });
 
       const SelfProof = ZkProgram.Proof(program);

diff --git a/packages/module/test/method/MethodParameterEncoder.test.ts b/packages/module/test/method/MethodParameterEncoder.test.ts
@@ -25,8 +25,10 @@ const TestProgram = ZkProgram({
       privateInputs: [],
       method: async (input: PublicKey) => {
         return {
-          a: Field(input.x),
-          b: Bool(input.isOdd),
+          publicOutput: {
+            a: Field(input.x),
+            b: Bool(input.isOdd),
+          },
         };
       },
     },
@@ -117,5 +119,5 @@ describe("MethodParameterEncoder", () => {
     expect(decoded1.publicOutput.b.equals(output.b).toBoolean()).toStrictEqual(
       true
     );
-  }, 30000);
+  }, 60_000);
 });
diff --git a/packages/module/test/method/runtimeMethod-fail.test.ts b/packages/module/test/method/runtimeMethod-fail.test.ts
@@ -17,8 +17,10 @@ const TestProgram = ZkProgram({
       privateInputs: [],
       method: async (input: PublicKey) => {
         return {
-          a: Field(input.x),
-          b: Bool(input.isOdd),
+          publicOutput: {
+            a: Field(input.x),
+            b: Bool(input.isOdd),
+          },
         };
       },
     },

diff --git a/packages/persistance/package.json b/packages/persistance/package.json
@@ -31,7 +31,7 @@
     "@proto-kit/module": "*",
     "@proto-kit/protocol": "*",
     "@proto-kit/sequencer": "*",
-    "o1js": "^1.6.0",
+    "o1js": "^2.10.0",
     "tsyringe": "^4.10.0"
   },
   "devDependencies": {

diff --git a/packages/persistance/test-integration/PrismaBlockProduction.test.ts b/packages/persistance/test-integration/PrismaBlockProduction.test.ts
@@ -73,7 +73,7 @@ describe("prisma integration", () => {
       [block, batch] = await appChain.sequencer
         .resolve("BlockTrigger")
         .produceBlockAndBatch();
-    }, 30000);
+    }, 60_000);
 
     afterAll(async () => {
       await teardown();
@@ -201,7 +201,7 @@ describe("prisma integration", () => {
         expectDefined(block2);
         expectDefined(batch2);
         expect(block2.transactions).toHaveLength(1);
-      }, 30000);
+      }, 60_000);
 
       it("should retrieve correct balance for account 2", async () => {
         const balance = await appChain.query.runtime.Balances.balances.get(

diff --git a/packages/processor/package.json b/packages/processor/package.json
@@ -44,7 +44,7 @@
     "@proto-kit/protocol": "*",
     "@proto-kit/sdk": "*",
     "@proto-kit/sequencer": "*",
-    "o1js": "^1.1.0",
+    "o1js": "^2.10.0",
     "tsyringe": "^4.10.0",
     "type-graphql": "2.0.0-rc.2",
     "typegraphql-prisma": "^0.28"

diff --git a/packages/protocol/package.json b/packages/protocol/package.json
@@ -24,7 +24,7 @@
   },
   "peerDependencies": {
     "@proto-kit/common": "*",
-    "o1js": "^1.6.0",
+    "o1js": "^2.10.0",
     "ts-pattern": "^4.3.0",
     "tsyringe": "^4.10.0"
   },