[main] Add support to build bindings using mina as a submodule in o1js repo

.github/workflows/lint.yaml

@@ -15,4 +15,3 @@ jobs:
         run: |
           npm init -y
           npm i prettier
-          npx prettier -c kimchi/js/**/*.js js/**/*.js

CODEOWNERS

@@ -1,3 +1,2 @@
 /CODEOWNERS @bkase @mitschabaude @mrmr1993
-/kimchi @o1-labs/crypto-eng-reviewers
 . @o1-labs/eng

MINA_COMMIT

@@ -1,2 +1,2 @@
 The mina commit used to generate the backends for node and web is
-40897ede7b1adb595d51c43ba84f05e0e17dd08d
+e6fceba0b16e95824f89b553d821a60fcd5f72bd

README.md

@@ -9,7 +9,6 @@ The repo is included as a git submodule in the [o1js repo](https://github.com/o1
 - `/compiled` - compiled JS and Wasm artifacts produced by `js_of_ocaml` and `wasm-bindgen` from Rust and OCaml source code. We keep these artifacts in the source tree so that developing on o1js can be done with standard JS tooling and doesn't require setting up the full OCaml/Rust build pipeline.
 - `/crypto` - pure TS implementations of a subset of the crypto primitives we use, including finite field and elliptic curve arithmetic. This is used by mina-signer (a pure TS package) to hash and sign transactions.
 - `/js` - JS-side wrappers for the artifacts located in `/compiled`, which differs between the Node.js and web versions of o1js. Includes code for setting up workers to support using `rayon` in Rust.
-- `/kimchi` - bindings to the [Kimchi proof system](https://o1-labs.github.io/proof-systems/kimchi/overview.html) which is implemented in Rust. This contains a Wasm compatibility layer written in Rust as well as a `js_of_ocaml`-to-`wasm-bindgen` glue layer written in JS.
 - `/lib` - miscellaneous low-level TypeScript, which underpins o1js and provides generic ways to connect with a proof system and blockchain protocol.
 - `/mina-transaction` - TS types and modules that specialize the generic tooling in `/lib` to Mina's zkApp protocol; mostly auto-generated from OCaml.
 - `/ocaml` - OCaml library exposing Snarky, Pickles and parts of the Mina transaction logic to JS. Also, OCaml scripts that help auto-generate TypeScript for Mina- and crypto-related types and constants.

compiled/node_bindings/plonk_wasm.cjs

@@ -9526,20 +9526,20 @@ class Wire {
     * @returns {number}
     */
     get row() {
-        const ret = wasm.__wbg_get_wire_row(this.__wbg_ptr);
+        const ret = wasm.__wbg_get_lookupinfo_max_per_row(this.__wbg_ptr);
         return ret >>> 0;
     }
     /**
     * @param {number} arg0
     */
     set row(arg0) {
-        wasm.__wbg_set_wire_row(this.__wbg_ptr, arg0);
+        wasm.__wbg_set_lookupinfo_max_per_row(this.__wbg_ptr, arg0);
     }
     /**
     * @returns {number}
     */
     get col() {
-        const ret = wasm.__wbg_get_wire_col(this.__wbg_ptr);
+        const ret = wasm.__wbg_get_lookupinfo_max_joint_size(this.__wbg_ptr);
         return ret >>> 0;
     }
     /**

compiled/node_bindings/plonk_wasm_bg.wasm.d.ts

@@ -662,11 +662,6 @@ export function caml_vesta_to_affine(a: number): number;
 export function caml_vesta_of_affine(a: number): number;
 export function caml_vesta_of_affine_coordinates(a: number, b: number, c: number, d: number): number;
 export function caml_vesta_affine_deep_copy(a: number): number;
-export function __wbg_wire_free(a: number): void;
-export function __wbg_get_wire_row(a: number): number;
-export function __wbg_set_wire_row(a: number, b: number): void;
-export function __wbg_get_wire_col(a: number): number;
-export function __wbg_set_wire_col(a: number, b: number): void;
 export function lookuppatterns_new(a: number, b: number, c: number, d: number): number;
 export function lookupfeatures_new(a: number, b: number, c: number): number;
 export function lookupinfo_new(a: number, b: number, c: number): number;
@@ -693,6 +688,11 @@ export function __wbg_get_lookupinfo_max_joint_size(a: number): number;
 export function __wbg_set_lookupinfo_max_joint_size(a: number, b: number): void;
 export function __wbg_get_lookupinfo_features(a: number): number;
 export function __wbg_set_lookupinfo_features(a: number, b: number): void;
+export function __wbg_wire_free(a: number): void;
+export function __wbg_set_wire_col(a: number, b: number): void;
+export function __wbg_set_wire_row(a: number, b: number): void;
+export function __wbg_get_wire_row(a: number): number;
+export function __wbg_get_wire_col(a: number): number;
 export function wire_create(a: number, b: number): number;
 export const memory: WebAssembly.Memory;
 export function __wbindgen_malloc(a: number): number;