[develop] 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
-170a5b2cd4f936a4f5ab2085ff740370927e6f0d
+702042e3892edbc6a15ee8bac54cb7c36486eb53

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.d.cts

@@ -610,134 +610,134 @@ export function caml_bigint_256_deep_copy(x: Uint8Array): Uint8Array;
 /**
 * @returns {number}
 */
-export function caml_pasta_fq_size_in_bits(): number;
+export function caml_pasta_fp_size_in_bits(): number;
 /**
 * @returns {Uint8Array}
 */
-export function caml_pasta_fq_size(): Uint8Array;
+export function caml_pasta_fp_size(): Uint8Array;
 /**
 * @param {Uint8Array} x
 * @param {Uint8Array} y
 * @returns {Uint8Array}
 */
-export function caml_pasta_fq_add(x: Uint8Array, y: Uint8Array): Uint8Array;
+export function caml_pasta_fp_add(x: Uint8Array, y: Uint8Array): Uint8Array;
 /**
 * @param {Uint8Array} x
 * @param {Uint8Array} y
 * @returns {Uint8Array}
 */
-export function caml_pasta_fq_sub(x: Uint8Array, y: Uint8Array): Uint8Array;
+export function caml_pasta_fp_sub(x: Uint8Array, y: Uint8Array): Uint8Array;
 /**
 * @param {Uint8Array} x
 * @returns {Uint8Array}
 */
-export function caml_pasta_fq_negate(x: Uint8Array): Uint8Array;
+export function caml_pasta_fp_negate(x: Uint8Array): Uint8Array;
 /**
 * @param {Uint8Array} x
 * @param {Uint8Array} y
 * @returns {Uint8Array}
 */
-export function caml_pasta_fq_mul(x: Uint8Array, y: Uint8Array): Uint8Array;
+export function caml_pasta_fp_mul(x: Uint8Array, y: Uint8Array): Uint8Array;
 /**
 * @param {Uint8Array} x
 * @param {Uint8Array} y
 * @returns {Uint8Array}
 */
-export function caml_pasta_fq_div(x: Uint8Array, y: Uint8Array): Uint8Array;
+export function caml_pasta_fp_div(x: Uint8Array, y: Uint8Array): Uint8Array;
 /**
 * @param {Uint8Array} x
 * @returns {Uint8Array | undefined}
 */
-export function caml_pasta_fq_inv(x: Uint8Array): Uint8Array | undefined;
+export function caml_pasta_fp_inv(x: Uint8Array): Uint8Array | undefined;
 /**
 * @param {Uint8Array} x
 * @returns {Uint8Array}
 */
-export function caml_pasta_fq_square(x: Uint8Array): Uint8Array;
+export function caml_pasta_fp_square(x: Uint8Array): Uint8Array;
 /**
 * @param {Uint8Array} x
 * @returns {boolean}
 */
-export function caml_pasta_fq_is_square(x: Uint8Array): boolean;
+export function caml_pasta_fp_is_square(x: Uint8Array): boolean;
 /**
 * @param {Uint8Array} x
 * @returns {Uint8Array | undefined}
 */
-export function caml_pasta_fq_sqrt(x: Uint8Array): Uint8Array | undefined;
+export function caml_pasta_fp_sqrt(x: Uint8Array): Uint8Array | undefined;
 /**
 * @param {number} i
 * @returns {Uint8Array}
 */
-export function caml_pasta_fq_of_int(i: number): Uint8Array;
+export function caml_pasta_fp_of_int(i: number): Uint8Array;
 /**
 * @param {Uint8Array} x
 * @returns {string}
 */
-export function caml_pasta_fq_to_string(x: Uint8Array): string;
+export function caml_pasta_fp_to_string(x: Uint8Array): string;
 /**
 * @param {string} s
 * @returns {Uint8Array}
 */
-export function caml_pasta_fq_of_string(s: string): Uint8Array;
+export function caml_pasta_fp_of_string(s: string): Uint8Array;
 /**
 * @param {Uint8Array} x
 */
-export function caml_pasta_fq_print(x: Uint8Array): void;
+export function caml_pasta_fp_print(x: Uint8Array): void;
 /**
 * @param {Uint8Array} x
 * @param {Uint8Array} y
 * @returns {number}
 */
-export function caml_pasta_fq_compare(x: Uint8Array, y: Uint8Array): number;
+export function caml_pasta_fp_compare(x: Uint8Array, y: Uint8Array): number;
 /**
 * @param {Uint8Array} x
 * @param {Uint8Array} y
 * @returns {boolean}
 */
-export function caml_pasta_fq_equal(x: Uint8Array, y: Uint8Array): boolean;
+export function caml_pasta_fp_equal(x: Uint8Array, y: Uint8Array): boolean;
 /**
 * @returns {Uint8Array}
 */
-export function caml_pasta_fq_random(): Uint8Array;
+export function caml_pasta_fp_random(): Uint8Array;
 /**
 * @param {number} i
 * @returns {Uint8Array}
 */
-export function caml_pasta_fq_rng(i: number): Uint8Array;
+export function caml_pasta_fp_rng(i: number): Uint8Array;
 /**
 * @param {Uint8Array} x
 * @returns {Uint8Array}
 */
-export function caml_pasta_fq_to_bigint(x: Uint8Array): Uint8Array;
+export function caml_pasta_fp_to_bigint(x: Uint8Array): Uint8Array;
 /**
 * @param {Uint8Array} x
 * @returns {Uint8Array}
 */
-export function caml_pasta_fq_of_bigint(x: Uint8Array): Uint8Array;
+export function caml_pasta_fp_of_bigint(x: Uint8Array): Uint8Array;
 /**
 * @returns {Uint8Array}
 */
-export function caml_pasta_fq_two_adic_root_of_unity(): Uint8Array;
+export function caml_pasta_fp_two_adic_root_of_unity(): Uint8Array;
 /**
 * @param {number} log2_size
 * @returns {Uint8Array}
 */
-export function caml_pasta_fq_domain_generator(log2_size: number): Uint8Array;
+export function caml_pasta_fp_domain_generator(log2_size: number): Uint8Array;
 /**
 * @param {Uint8Array} x
 * @returns {Uint8Array}
 */
-export function caml_pasta_fq_to_bytes(x: Uint8Array): Uint8Array;
+export function caml_pasta_fp_to_bytes(x: Uint8Array): Uint8Array;
 /**
 * @param {Uint8Array} x
 * @returns {Uint8Array}
 */
-export function caml_pasta_fq_of_bytes(x: Uint8Array): Uint8Array;
+export function caml_pasta_fp_of_bytes(x: Uint8Array): Uint8Array;
 /**
 * @param {Uint8Array} x
 * @returns {Uint8Array}
 */
-export function caml_pasta_fq_deep_copy(x: Uint8Array): Uint8Array;
+export function caml_pasta_fp_deep_copy(x: Uint8Array): Uint8Array;
 /**
 * @returns {WasmVestaGProjective}
 */
@@ -811,134 +811,134 @@ export function caml_vesta_affine_deep_copy(x: WasmGVesta): WasmGVesta;
 /**
 * @returns {number}
 */
-export function caml_pasta_fp_size_in_bits(): number;
+export function caml_pasta_fq_size_in_bits(): number;
 /**
 * @returns {Uint8Array}
 */
-export function caml_pasta_fp_size(): Uint8Array;
+export function caml_pasta_fq_size(): Uint8Array;
 /**
 * @param {Uint8Array} x
 * @param {Uint8Array} y
 * @returns {Uint8Array}
 */
-export function caml_pasta_fp_add(x: Uint8Array, y: Uint8Array): Uint8Array;
+export function caml_pasta_fq_add(x: Uint8Array, y: Uint8Array): Uint8Array;
 /**
 * @param {Uint8Array} x
 * @param {Uint8Array} y
 * @returns {Uint8Array}
 */
-export function caml_pasta_fp_sub(x: Uint8Array, y: Uint8Array): Uint8Array;
+export function caml_pasta_fq_sub(x: Uint8Array, y: Uint8Array): Uint8Array;
 /**
 * @param {Uint8Array} x
 * @returns {Uint8Array}
 */
-export function caml_pasta_fp_negate(x: Uint8Array): Uint8Array;
+export function caml_pasta_fq_negate(x: Uint8Array): Uint8Array;
 /**
 * @param {Uint8Array} x
 * @param {Uint8Array} y
 * @returns {Uint8Array}
 */
-export function caml_pasta_fp_mul(x: Uint8Array, y: Uint8Array): Uint8Array;
+export function caml_pasta_fq_mul(x: Uint8Array, y: Uint8Array): Uint8Array;
 /**
 * @param {Uint8Array} x
 * @param {Uint8Array} y
 * @returns {Uint8Array}
 */
-export function caml_pasta_fp_div(x: Uint8Array, y: Uint8Array): Uint8Array;
+export function caml_pasta_fq_div(x: Uint8Array, y: Uint8Array): Uint8Array;
 /**
 * @param {Uint8Array} x
 * @returns {Uint8Array | undefined}
 */
-export function caml_pasta_fp_inv(x: Uint8Array): Uint8Array | undefined;
+export function caml_pasta_fq_inv(x: Uint8Array): Uint8Array | undefined;
 /**
 * @param {Uint8Array} x
 * @returns {Uint8Array}
 */
-export function caml_pasta_fp_square(x: Uint8Array): Uint8Array;
+export function caml_pasta_fq_square(x: Uint8Array): Uint8Array;
 /**
 * @param {Uint8Array} x
 * @returns {boolean}
 */
-export function caml_pasta_fp_is_square(x: Uint8Array): boolean;
+export function caml_pasta_fq_is_square(x: Uint8Array): boolean;
 /**
 * @param {Uint8Array} x
 * @returns {Uint8Array | undefined}
 */
-export function caml_pasta_fp_sqrt(x: Uint8Array): Uint8Array | undefined;
+export function caml_pasta_fq_sqrt(x: Uint8Array): Uint8Array | undefined;
 /**
 * @param {number} i
 * @returns {Uint8Array}
 */
-export function caml_pasta_fp_of_int(i: number): Uint8Array;
+export function caml_pasta_fq_of_int(i: number): Uint8Array;
 /**
 * @param {Uint8Array} x
 * @returns {string}
 */
-export function caml_pasta_fp_to_string(x: Uint8Array): string;
+export function caml_pasta_fq_to_string(x: Uint8Array): string;
 /**
 * @param {string} s
 * @returns {Uint8Array}
 */
-export function caml_pasta_fp_of_string(s: string): Uint8Array;
+export function caml_pasta_fq_of_string(s: string): Uint8Array;
 /**
 * @param {Uint8Array} x
 */
-export function caml_pasta_fp_print(x: Uint8Array): void;
+export function caml_pasta_fq_print(x: Uint8Array): void;
 /**
 * @param {Uint8Array} x
 * @param {Uint8Array} y
 * @returns {number}
 */
-export function caml_pasta_fp_compare(x: Uint8Array, y: Uint8Array): number;
+export function caml_pasta_fq_compare(x: Uint8Array, y: Uint8Array): number;
 /**
 * @param {Uint8Array} x
 * @param {Uint8Array} y
 * @returns {boolean}
 */
-export function caml_pasta_fp_equal(x: Uint8Array, y: Uint8Array): boolean;
+export function caml_pasta_fq_equal(x: Uint8Array, y: Uint8Array): boolean;
 /**
 * @returns {Uint8Array}
 */
-export function caml_pasta_fp_random(): Uint8Array;
+export function caml_pasta_fq_random(): Uint8Array;
 /**
 * @param {number} i
 * @returns {Uint8Array}
 */
-export function caml_pasta_fp_rng(i: number): Uint8Array;
+export function caml_pasta_fq_rng(i: number): Uint8Array;
 /**
 * @param {Uint8Array} x
 * @returns {Uint8Array}
 */
-export function caml_pasta_fp_to_bigint(x: Uint8Array): Uint8Array;
+export function caml_pasta_fq_to_bigint(x: Uint8Array): Uint8Array;
 /**
 * @param {Uint8Array} x
 * @returns {Uint8Array}
 */
-export function caml_pasta_fp_of_bigint(x: Uint8Array): Uint8Array;
+export function caml_pasta_fq_of_bigint(x: Uint8Array): Uint8Array;
 /**
 * @returns {Uint8Array}
 */
-export function caml_pasta_fp_two_adic_root_of_unity(): Uint8Array;
+export function caml_pasta_fq_two_adic_root_of_unity(): Uint8Array;
 /**
 * @param {number} log2_size
 * @returns {Uint8Array}
 */
-export function caml_pasta_fp_domain_generator(log2_size: number): Uint8Array;
+export function caml_pasta_fq_domain_generator(log2_size: number): Uint8Array;
 /**
 * @param {Uint8Array} x
 * @returns {Uint8Array}
 */
-export function caml_pasta_fp_to_bytes(x: Uint8Array): Uint8Array;
+export function caml_pasta_fq_to_bytes(x: Uint8Array): Uint8Array;
 /**
 * @param {Uint8Array} x
 * @returns {Uint8Array}
 */
-export function caml_pasta_fp_of_bytes(x: Uint8Array): Uint8Array;
+export function caml_pasta_fq_of_bytes(x: Uint8Array): Uint8Array;
 /**
 * @param {Uint8Array} x
 * @returns {Uint8Array}
 */
-export function caml_pasta_fp_deep_copy(x: Uint8Array): Uint8Array;
+export function caml_pasta_fq_deep_copy(x: Uint8Array): Uint8Array;
 /**
 * @returns {WasmPallasGProjective}
 */