Merge pull request #1373 from o1-labs/perf/field-inverse

Faster TS field inverse

CHANGELOG.md

@@ -19,7 +19,10 @@ This project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.htm
 
 ### Changed
 
-- Improve performance of Poseidon hashing by a factor of 13x https://github.com/o1-labs/o1js/pull/1378
+- Improve performance of Wasm Poseidon hashing by a factor of 13x https://github.com/o1-labs/o1js/pull/1378
+  - Speeds up local blockchain tests without proving by ~40%
+- Improve performance of Field inverse https://github.com/o1-labs/o1js/pull/1373
+  - Speeds up proving by ~2-4%
 
 ## [0.15.3](https://github.com/o1-labs/o1js/compare/1ad7333e9e...be748e42e)
 

src/examples/utils/tic-toc.node.ts

@@ -1,21 +1,21 @@
 /**
  * Helper for printing timings, in the spirit of Python's `tic` and `toc`.
  *
- * This is a slightly nicer version of './tic-tic.ts' which only works in Node.
+ * This is a slightly nicer version of './tic-toc.ts' which only works in Node.
  */
 
 export { tic, toc };
 
-let timingStack: [string, number][] = [];
-let i = 0;
+let timingStack: [string | undefined, number][] = [];
 
-function tic(label = `Run command ${i++}`) {
-  process.stdout.write(`${label}... `);
+function tic(label?: string) {
+  if (label) process.stdout.write(`${label}... `);
   timingStack.push([label, performance.now()]);
 }
 
 function toc() {
   let [label, start] = timingStack.pop()!;
   let time = (performance.now() - start) / 1000;
-  process.stdout.write(`\r${label}... ${time.toFixed(3)} sec\n`);
+  if (label) process.stdout.write(`\r${label}... ${time.toFixed(3)} sec\n`);
+  return time;
 }

src/examples/utils/tic-toc.ts

@@ -4,17 +4,16 @@
 
 export { tic, toc };
 
-let timingStack: [string, number][] = [];
-let i = 0;
+let timingStack: [string | undefined, number][] = [];
 
-function tic(label = `Run command ${i++}`) {
-  console.log(`${label}... `);
+function tic(label?: string) {
+  if (label) console.log(`${label}... `);
   timingStack.push([label, performance.now()]);
 }
 
 function toc() {
   let [label, start] = timingStack.pop()!;
   let time = (performance.now() - start) / 1000;
-  console.log(`\r${label}... ${time.toFixed(3)} sec\n`);
+  if (label) console.log(`${label}... ${time.toFixed(3)} sec`);
   return time;
 }

src/lib/util/assert.ts

@@ -0,0 +1,7 @@
+export { assert };
+
+function assert(stmt: boolean, message?: string): asserts stmt {
+  if (!stmt) {
+    throw Error(message ?? 'Assertion failed');
+  }
+}

src/lib/util/tic-toc.ts

@@ -0,0 +1,18 @@
+/**
+ * Helper for printing timings, in the spirit of Python's `tic` and `toc`.
+ */
+
+export { tic, toc };
+
+let timingStack: [string | undefined, number][] = [];
+
+function tic(label?: string) {
+  timingStack.push([label, performance.now()]);
+}
+
+function toc() {
+  let [label, start] = timingStack.pop()!;
+  let time = (performance.now() - start) / 1000;
+  if (label) console.log(`${label}... ${time.toFixed(3)} sec`);
+  return time;
+}

tsconfig.test.json

@@ -2,6 +2,7 @@
   "extends": "./tsconfig.json",
   "include": [
     "./src/**/*.unit-test.ts",
+    "./src/lib/**/*.ts",
     "./src/snarky.js",
     "./src/bindings/js/wrapper.js"
   ],