Increase max branches in a circuit

CHANGELOG.md

@@ -17,6 +17,10 @@ This project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.htm
 
 ## [Unreleased](https://github.com/o1-labs/o1js/compare/e1bac02...HEAD)
 
+### Added
+
+- Increased maximum supported amount of methods in a `SmartContract` or `ZkProgram` to 30. https://github.com/o1-labs/o1js/pull/1918
+
 ### Fixed
 
 - Compiling stuck in the browser for recursive zkprograms https://github.com/o1-labs/o1js/pull/1906

src/lib/proof-system/zkprogram.unit-test.ts

@@ -0,0 +1,33 @@
+import { Field } from '../provable/wrapped.js';
+import { ZkProgram } from './zkprogram.js';
+
+const methodCount = 30;
+
+let MyProgram = ZkProgram({
+  name: 'large-program',
+  publicOutput: Field,
+  methods: nMethods(methodCount),
+});
+
+function nMethods(i: number) {
+  let methods: Record<string, any> = {};
+  for (let j = 0; j < i; j++) {
+    methods['method' + j] = {
+      privateInputs: [Field],
+      async method(a: Field) {
+        return {
+          publicOutput: a.mul(1),
+        };
+      },
+    };
+  }
+  return methods;
+}
+
+try {
+  await MyProgram.compile();
+} catch (error) {
+  throw Error(
+    `Could not compile zkProgram with ${methodCount} branches: ${error}`
+  );
+}