Merge pull request #2242 from o1-labs/florian/fix-bindings-test-remove-unused-functions

Remove unused bindings functions

Author: querolita

src/bindings/crypto/bindings/bindings.unit-test.ts

@@ -106,15 +106,13 @@ function option<T, S>(spec: Spec<T, S>): Spec<MlOption<T>, S | undefined> {
   };
 }
 
-equivalentRecord(Bigint256Bindings, wasm, {
+equivalentRecord(Bigint256Bindings as Omit<typeof Bigint256Bindings, "caml_bigint_256_print" | "caml_bigint_256_to_string">, wasm, {
   caml_bigint_256_of_numeral: undefined, // TODO
   caml_bigint_256_of_decimal_string: { from: [decimalString], to: bigint256 },
   caml_bigint_256_num_limbs: { from: [], to: number },
   caml_bigint_256_bytes_per_limb: { from: [], to: number },
   caml_bigint_256_div: { from: [bigint256, bigint256], to: bigint256 },
   caml_bigint_256_compare: { from: [bigint256, bigint256], to: number },
-  caml_bigint_256_print: undefined, // this would spam the console
-  caml_bigint_256_to_string: { from: [bigint256], to: decimalString },
   caml_bigint_256_test_bit: {
     from: [bigint256, numberLessThan(256)],
     to: boolean,
@@ -124,97 +122,8 @@ equivalentRecord(Bigint256Bindings, wasm, {
   caml_bigint_256_deep_copy: { from: [bigint256], to: bigint256 },
 });
 
-equivalentRecord(
-  FpBindings as Omit<
-    typeof FpBindings,
-    | 'caml_pasta_fp_copy'
-    | 'caml_pasta_fp_mut_add'
-    | 'caml_pasta_fp_mut_sub'
-    | 'caml_pasta_fp_mut_mul'
-    | 'caml_pasta_fp_mut_square'
-  >,
-  wasm,
-  {
-    caml_pasta_fp_size_in_bits: { from: [], to: number },
-    caml_pasta_fp_size: { from: [], to: fp },
-    caml_pasta_fp_add: { from: [fp, fp], to: fp },
-    caml_pasta_fp_sub: { from: [fp, fp], to: fp },
-    caml_pasta_fp_negate: { from: [fp], to: fp },
-    caml_pasta_fp_mul: { from: [fp, fp], to: fp },
-    caml_pasta_fp_div: { from: [fp, fp], to: fp },
-    caml_pasta_fp_inv: { from: [fp], to: option(fp) },
-    caml_pasta_fp_square: { from: [fp], to: fp },
-    caml_pasta_fp_is_square: { from: [fp], to: boolean },
-    caml_pasta_fp_sqrt: { from: [fp], to: option(fp) },
-    caml_pasta_fp_of_int: { from: [uint31], to: fp },
-    caml_pasta_fp_to_string: { from: [fp], to: decimalString },
-    caml_pasta_fp_of_string: { from: [decimalString], to: fp },
-    caml_pasta_fp_print: undefined, // this would spam the console
-    // these aren't defined in Rust
-    // caml_pasta_fp_copy: { from: [fp, fp], to: unit },
-    // caml_pasta_fp_mut_add: { from: [fp, fp], to: unit },
-    // caml_pasta_fp_mut_sub: { from: [fp, fp], to: unit },
-    // caml_pasta_fp_mut_mul: { from: [fp, fp], to: unit },
-    // caml_pasta_fp_mut_square: { from: [fp], to: unit },
-    caml_pasta_fp_compare: { from: [fp, fp], to: number },
-    caml_pasta_fp_equal: { from: [fp, fp], to: boolean },
-    caml_pasta_fp_random: undefined, // random outputs won't match
-    caml_pasta_fp_rng: undefined, // random outputs won't match
-    caml_pasta_fp_to_bigint: { from: [fp], to: bigint256 },
-    caml_pasta_fp_of_bigint: { from: [bigint256], to: fp },
-    caml_pasta_fp_two_adic_root_of_unity: { from: [], to: fp },
-    caml_pasta_fp_domain_generator: { from: [numberLessThan(32)], to: fp },
-    caml_pasta_fp_to_bytes: undefined, // not implemented
-    caml_pasta_fp_of_bytes: undefined, // not implemented
-    caml_pasta_fp_deep_copy: { from: [fp], to: fp },
-  }
-);
 
-equivalentRecord(
-  FqBindings as Omit<
-    typeof FqBindings,
-    | 'caml_pasta_fq_copy'
-    | 'caml_pasta_fq_mut_add'
-    | 'caml_pasta_fq_mut_sub'
-    | 'caml_pasta_fq_mut_mul'
-    | 'caml_pasta_fq_mut_square'
-  >,
-  wasm,
-  {
-    caml_pasta_fq_size_in_bits: { from: [], to: number },
-    caml_pasta_fq_size: { from: [], to: fq },
-    caml_pasta_fq_add: { from: [fq, fq], to: fq },
-    caml_pasta_fq_sub: { from: [fq, fq], to: fq },
-    caml_pasta_fq_negate: { from: [fq], to: fq },
-    caml_pasta_fq_mul: { from: [fq, fq], to: fq },
-    caml_pasta_fq_div: { from: [fq, fq], to: fq },
-    caml_pasta_fq_inv: { from: [fq], to: option(fq) },
-    caml_pasta_fq_square: { from: [fq], to: fq },
-    caml_pasta_fq_is_square: { from: [fq], to: boolean },
-    caml_pasta_fq_sqrt: { from: [fq], to: option(fq) },
-    caml_pasta_fq_of_int: { from: [uint31], to: fq },
-    caml_pasta_fq_to_string: { from: [fq], to: decimalString },
-    caml_pasta_fq_of_string: { from: [decimalString], to: fq },
-    caml_pasta_fq_print: undefined, // this would spam the console
-    // these aren't defined in Rust
-    // caml_pasta_fq_copy: { from: [fq, fq], to: unit },
-    // caml_pasta_fq_mut_add: { from: [fq, fq], to: unit },
-    // caml_pasta_fq_mut_sub: { from: [fq, fq], to: unit },
-    // caml_pasta_fq_mut_mul: { from: [fq, fq], to: unit },
-    // caml_pasta_fq_mut_square: { from: [fq], to: unit },
-    caml_pasta_fq_compare: { from: [fq, fq], to: number },
-    caml_pasta_fq_equal: { from: [fq, fq], to: boolean },
-    caml_pasta_fq_random: undefined, // random outputs won't match
-    caml_pasta_fq_rng: undefined, // random outputs won't match
-    caml_pasta_fq_to_bigint: { from: [fq], to: bigint256 },
-    caml_pasta_fq_of_bigint: { from: [bigint256], to: fq },
-    caml_pasta_fq_two_adic_root_of_unity: { from: [], to: fq },
-    caml_pasta_fq_domain_generator: { from: [numberLessThan(32)], to: fq },
-    caml_pasta_fq_to_bytes: undefined, // not implemented
-    caml_pasta_fq_of_bytes: undefined, // not implemented
-    caml_pasta_fq_deep_copy: { from: [fq], to: fq },
-  }
-);
+
 
 // elliptic curve