exports.json

[
  {
    "functionName": "pedersen_commit",
    "inArgs": [
      {
        "name": "inputs_buffer",
        "type": "fr::vec_in_buf"
      },
      {
        "name": "ctx_index",
        "type": "const uint32_t *"
      }
    ],
    "outArgs": [
      {
        "name": "output",
        "type": "affine_element::out_buf"
      }
    ],
    "isAsync": false
  },
  {
    "functionName": "pedersen_hash",
    "inArgs": [
      {
        "name": "inputs_buffer",
        "type": "fr::vec_in_buf"
      },
      {
        "name": "hash_index",
        "type": "const uint32_t *"
      }
    ],
    "outArgs": [
      {
        "name": "output",
        "type": "fr::out_buf"
      }
    ],
    "isAsync": false
  },
  {
    "functionName": "pedersen_hashes",
    "inArgs": [
      {
        "name": "inputs_buffer",
        "type": "fr::vec_in_buf"
      },
      {
        "name": "hash_index",
        "type": "const uint32_t *"
      }
    ],
    "outArgs": [
      {
        "name": "output",
        "type": "fr::out_buf"
      }
    ],
    "isAsync": false
  },
  {
    "functionName": "pedersen_hash_buffer",
    "inArgs": [
      {
        "name": "input_buffer",
        "type": "const uint8_t *"
      },
      {
        "name": "hash_index",
        "type": "const uint32_t *"
      }
    ],
    "outArgs": [
      {
        "name": "output",
        "type": "fr::out_buf"
      }
    ],
    "isAsync": false
  },
  {
    "functionName": "poseidon2_hash",
    "inArgs": [
      {
        "name": "inputs_buffer",
        "type": "fr::vec_in_buf"
      }
    ],
    "outArgs": [
      {
        "name": "output",
        "type": "fr::out_buf"
      }
    ],
    "isAsync": false
  },
  {
    "functionName": "poseidon2_hashes",
    "inArgs": [
      {
        "name": "inputs_buffer",
        "type": "fr::vec_in_buf"
      }
    ],
    "outArgs": [
      {
        "name": "output",
        "type": "fr::out_buf"
      }
    ],
    "isAsync": false
  },
  {
    "functionName": "poseidon2_permutation",
    "inArgs": [
      {
        "name": "inputs_buffer",
        "type": "fr::vec_in_buf"
      }
    ],
    "outArgs": [
      {
        "name": "output",
        "type": "fr::vec_out_buf"
      }
    ],
    "isAsync": false
  },
  {
    "functionName": "blake2s",
    "inArgs": [
      {
        "name": "data",
        "type": "const uint8_t *"
      }
    ],
    "outArgs": [
      {
        "name": "r",
        "type": "out_buf32"
      }
    ],
    "isAsync": false
  },
  {
    "functionName": "blake2s_to_field_",
    "inArgs": [
      {
        "name": "data",
        "type": "const uint8_t *"
      }
    ],
    "outArgs": [
      {
        "name": "r",
        "type": "fr::out_buf"
      }
    ],
    "isAsync": false
  },
  {
    "functionName": "schnorr_compute_public_key",
    "inArgs": [
      {
        "name": "private_key",
        "type": "fr::in_buf"
      }
    ],
    "outArgs": [
      {
        "name": "public_key_buf",
        "type": "affine_element::out_buf"
      }
    ],
    "isAsync": false
  },
  {
    "functionName": "schnorr_negate_public_key",
    "inArgs": [
      {
        "name": "public_key_buffer",
        "type": "affine_element::in_buf"
      }
    ],
    "outArgs": [
      {
        "name": "output",
        "type": "affine_element::out_buf"
      }
    ],
    "isAsync": false
  },
  {
    "functionName": "schnorr_construct_signature",
    "inArgs": [
      {
        "name": "message",
        "type": "const uint8_t *"
      },
      {
        "name": "private_key",
        "type": "fr::in_buf"
      }
    ],
    "outArgs": [
      {
        "name": "s",
        "type": "out_buf32"
      },
      {
        "name": "e",
        "type": "out_buf32"
      }
    ],
    "isAsync": false
  },
  {
    "functionName": "schnorr_verify_signature",
    "inArgs": [
      {
        "name": "message",
        "type": "const uint8_t *"
      },
      {
        "name": "pub_key",
        "type": "affine_element::in_buf"
      },
      {
        "name": "sig_s",
        "type": "in_buf32"
      },
      {
        "name": "sig_e",
        "type": "in_buf32"
      }
    ],
    "outArgs": [
      {
        "name": "result",
        "type": "bool *"
      }
    ],
    "isAsync": false
  },
  {
    "functionName": "schnorr_multisig_create_multisig_public_key",
    "inArgs": [
      {
        "name": "private_key",
        "type": "fq::in_buf"
      }
    ],
    "outArgs": [
      {
        "name": "multisig_pubkey_buf",
        "type": "multisig::MultiSigPublicKey::out_buf"
      }
    ],
    "isAsync": false
  },
  {
    "functionName": "schnorr_multisig_validate_and_combine_signer_pubkeys",
    "inArgs": [
      {
        "name": "signer_pubkey_buf",
        "type": "multisig::MultiSigPublicKey::vec_in_buf"
      }
    ],
    "outArgs": [
      {
        "name": "combined_key_buf",
        "type": "affine_element::out_buf"
      },
      {
        "name": "success",
        "type": "bool *"
      }
    ],
    "isAsync": false
  },
  {
    "functionName": "schnorr_multisig_construct_signature_round_1",
    "inArgs": [],
    "outArgs": [
      {
        "name": "round_one_public_output_buf",
        "type": "multisig::RoundOnePublicOutput::out_buf"
      },
      {
        "name": "round_one_private_output_buf",
        "type": "multisig::RoundOnePrivateOutput::out_buf"
      }
    ],
    "isAsync": false
  },
  {
    "functionName": "schnorr_multisig_construct_signature_round_2",
    "inArgs": [
      {
        "name": "message",
        "type": "const uint8_t *"
      },
      {
        "name": "private_key",
        "type": "fq::in_buf"
      },
      {
        "name": "signer_round_one_private_buf",
        "type": "multisig::RoundOnePrivateOutput::in_buf"
      },
      {
        "name": "signer_pubkeys_buf",
        "type": "multisig::MultiSigPublicKey::vec_in_buf"
      },
      {
        "name": "round_one_public_buf",
        "type": "multisig::RoundOnePublicOutput::vec_in_buf"
      }
    ],
    "outArgs": [
      {
        "name": "round_two_buf",
        "type": "fq::out_buf"
      },
      {
        "name": "success",
        "type": "bool *"
      }
    ],
    "isAsync": false
  },
  {
    "functionName": "schnorr_multisig_combine_signatures",
    "inArgs": [
      {
        "name": "message",
        "type": "const uint8_t *"
      },
      {
        "name": "signer_pubkeys_buf",
        "type": "multisig::MultiSigPublicKey::vec_in_buf"
      },
      {
        "name": "round_one_buf",
        "type": "multisig::RoundOnePublicOutput::vec_in_buf"
      },
      {
        "name": "round_two_buf",
        "type": "fq::vec_in_buf"
      }
    ],
    "outArgs": [
      {
        "name": "s",
        "type": "out_buf32"
      },
      {
        "name": "e",
        "type": "out_buf32"
      },
      {
        "name": "success",
        "type": "bool *"
      }
    ],
    "isAsync": false
  },
  {
    "functionName": "aes_encrypt_buffer_cbc",
    "inArgs": [
      {
        "name": "input",
        "type": "const uint8_t *"
      },
      {
        "name": "iv",
        "type": "const uint8_t *"
      },
      {
        "name": "key",
        "type": "const uint8_t *"
      },
      {
        "name": "length",
        "type": "const uint32_t *"
      }
    ],
    "outArgs": [
      {
        "name": "r",
        "type": "uint8_t **"
      }
    ],
    "isAsync": false
  },
  {
    "functionName": "aes_decrypt_buffer_cbc",
    "inArgs": [
      {
        "name": "input",
        "type": "const uint8_t *"
      },
      {
        "name": "iv",
        "type": "const uint8_t *"
      },
      {
        "name": "key",
        "type": "const uint8_t *"
      },
      {
        "name": "length",
        "type": "const uint32_t *"
      }
    ],
    "outArgs": [
      {
        "name": "r",
        "type": "uint8_t **"
      }
    ],
    "isAsync": false
  },
  {
    "functionName": "srs_init_srs",
    "inArgs": [
      {
        "name": "points_buf",
        "type": "const uint8_t *"
      },
      {
        "name": "num_points",
        "type": "const uint32_t *"
      },
      {
        "name": "g2_point_buf",
        "type": "const uint8_t *"
      }
    ],
    "outArgs": [],
    "isAsync": false
  },
  {
    "functionName": "srs_init_grumpkin_srs",
    "inArgs": [
      {
        "name": "points_buf",
        "type": "const uint8_t *"
      },
      {
        "name": "num_points",
        "type": "const uint32_t *"
      }
    ],
    "outArgs": [],
    "isAsync": false
  },
  {
    "functionName": "examples_simple_create_and_verify_proof",
    "inArgs": [],
    "outArgs": [
      {
        "name": "valid",
        "type": "bool *"
      }
    ],
    "isAsync": false
  },
  {
    "functionName": "test_threads",
    "inArgs": [
      {
        "name": "threads",
        "type": "const uint32_t *"
      },
      {
        "name": "iterations",
        "type": "const uint32_t *"
      }
    ],
    "outArgs": [
      {
        "name": "out",
        "type": "uint32_t *"
      }
    ],
    "isAsync": false
  },
  {
    "functionName": "common_init_slab_allocator",
    "inArgs": [
      {
        "name": "circuit_size",
        "type": "const uint32_t *"
      }
    ],
    "outArgs": [],
    "isAsync": false
  },
  {
    "functionName": "acir_get_circuit_sizes",
    "inArgs": [
      {
        "name": "constraint_system_buf",
        "type": "const uint8_t *"
      },
      {
        "name": "recursive",
        "type": "const bool *"
      },
      {
        "name": "honk_recursion",
        "type": "const bool *"
      }
    ],
    "outArgs": [
      {
        "name": "exact",
        "type": "uint32_t *"
      },
      {
        "name": "total",
        "type": "uint32_t *"
      },
      {
        "name": "subgroup",
        "type": "uint32_t *"
      }
    ],
    "isAsync": false
  },
  {
    "functionName": "acir_new_acir_composer",
    "inArgs": [
      {
        "name": "size_hint",
        "type": "const uint32_t *"
      }
    ],
    "outArgs": [
      {
        "name": "out",
        "type": "out_ptr"
      }
    ],
    "isAsync": false
  },
  {
    "functionName": "acir_delete_acir_composer",
    "inArgs": [
      {
        "name": "acir_composer_ptr",
        "type": "in_ptr"
      }
    ],
    "outArgs": [],
    "isAsync": false
  },
  {
    "functionName": "acir_init_proving_key",
    "inArgs": [
      {
        "name": "acir_composer_ptr",
        "type": "in_ptr"
      },
      {
        "name": "constraint_system_buf",
        "type": "const uint8_t *"
      },
      {
        "name": "recursive",
        "type": "const bool *"
      }
    ],
    "outArgs": [],
    "isAsync": false
  },
  {
    "functionName": "acir_create_proof",
    "inArgs": [
      {
        "name": "acir_composer_ptr",
        "type": "in_ptr"
      },
      {
        "name": "constraint_system_buf",
        "type": "const uint8_t *"
      },
      {
        "name": "recursive",
        "type": "const bool *"
      },
      {
        "name": "witness_buf",
        "type": "const uint8_t *"
      }
    ],
    "outArgs": [
      {
        "name": "out",
        "type": "uint8_t **"
      }
    ],
    "isAsync": false
  },
  {
    "functionName": "acir_prove_and_verify_ultra_honk",
    "inArgs": [
      {
        "name": "constraint_system_buf",
        "type": "const uint8_t *"
      },
      {
        "name": "recursive",
        "type": "const bool *"
      },
      {
        "name": "witness_buf",
        "type": "const uint8_t *"
      }
    ],
    "outArgs": [
      {
        "name": "result",
        "type": "bool *"
      }
    ],
    "isAsync": false
  },
  {
    "functionName": "acir_prove_and_verify_mega_honk",
    "inArgs": [
      {
        "name": "constraint_system_buf",
        "type": "const uint8_t *"
      },
      {
        "name": "recursive",
        "type": "const bool *"
      },
      {
        "name": "witness_buf",
        "type": "const uint8_t *"
      }
    ],
    "outArgs": [
      {
        "name": "result",
        "type": "bool *"
      }
    ],
    "isAsync": false
  },
  {
    "functionName": "acir_fold_and_verify_program_stack",
    "inArgs": [
      {
        "name": "constraint_system_buf",
        "type": "const uint8_t *"
      },
      {
        "name": "recursive",
        "type": "const bool *"
      },
      {
        "name": "witness_buf",
        "type": "const uint8_t *"
      }
    ],
    "outArgs": [
      {
        "name": "result",
        "type": "bool *"
      }
    ],
    "isAsync": false
  },
  {
    "functionName": "acir_load_verification_key",
    "inArgs": [
      {
        "name": "acir_composer_ptr",
        "type": "in_ptr"
      },
      {
        "name": "vk_buf",
        "type": "const uint8_t *"
      }
    ],
    "outArgs": [],
    "isAsync": false
  },
  {
    "functionName": "acir_init_verification_key",
    "inArgs": [
      {
        "name": "acir_composer_ptr",
        "type": "in_ptr"
      }
    ],
    "outArgs": [],
    "isAsync": false
  },
  {
    "functionName": "acir_get_verification_key",
    "inArgs": [
      {
        "name": "acir_composer_ptr",
        "type": "in_ptr"
      }
    ],
    "outArgs": [
      {
        "name": "out",
        "type": "uint8_t **"
      }
    ],
    "isAsync": false
  },
  {
    "functionName": "acir_get_proving_key",
    "inArgs": [
      {
        "name": "acir_composer_ptr",
        "type": "in_ptr"
      },
      {
        "name": "acir_vec",
        "type": "const uint8_t *"
      },
      {
        "name": "recursive",
        "type": "const bool *"
      }
    ],
    "outArgs": [
      {
        "name": "out",
        "type": "uint8_t **"
      }
    ],
    "isAsync": false
  },
  {
    "functionName": "acir_verify_proof",
    "inArgs": [
      {
        "name": "acir_composer_ptr",
        "type": "in_ptr"
      },
      {
        "name": "proof_buf",
        "type": "const uint8_t *"
      }
    ],
    "outArgs": [
      {
        "name": "result",
        "type": "bool *"
      }
    ],
    "isAsync": false
  },
  {
    "functionName": "acir_get_solidity_verifier",
    "inArgs": [
      {
        "name": "acir_composer_ptr",
        "type": "in_ptr"
      }
    ],
    "outArgs": [
      {
        "name": "out",
        "type": "out_str_buf"
      }
    ],
    "isAsync": false
  },
  {
    "functionName": "acir_serialize_proof_into_fields",
    "inArgs": [
      {
        "name": "acir_composer_ptr",
        "type": "in_ptr"
      },
      {
        "name": "proof_buf",
        "type": "const uint8_t *"
      },
      {
        "name": "num_inner_public_inputs",
        "type": "const uint32_t *"
      }
    ],
    "outArgs": [
      {
        "name": "out",
        "type": "fr::vec_out_buf"
      }
    ],
    "isAsync": false
  },
  {
    "functionName": "acir_serialize_verification_key_into_fields",
    "inArgs": [
      {
        "name": "acir_composer_ptr",
        "type": "in_ptr"
      }
    ],
    "outArgs": [
      {
        "name": "out_vkey",
        "type": "fr::vec_out_buf"
      },
      {
        "name": "out_key_hash",
        "type": "fr::out_buf"
      }
    ],
    "isAsync": false
  },
  {
    "functionName": "acir_prove_ultra_honk",
    "inArgs": [
      {
        "name": "acir_vec",
        "type": "const uint8_t *"
      },
      {
        "name": "recursive",
        "type": "const bool *"
      },
      {
        "name": "witness_vec",
        "type": "const uint8_t *"
      }
    ],
    "outArgs": [
      {
        "name": "out",
        "type": "uint8_t **"
      }
    ],
    "isAsync": false
  },
  {
    "functionName": "acir_verify_ultra_honk",
    "inArgs": [
      {
        "name": "proof_buf",
        "type": "const uint8_t *"
      },
      {
        "name": "vk_buf",
        "type": "const uint8_t *"
      }
    ],
    "outArgs": [
      {
        "name": "result",
        "type": "bool *"
      }
    ],
    "isAsync": false
  },
  {
    "functionName": "acir_write_vk_ultra_honk",
    "inArgs": [
      {
        "name": "acir_vec",
        "type": "const uint8_t *"
      },
      {
        "name": "recursive",
        "type": "const bool *"
      }
    ],
    "outArgs": [
      {
        "name": "out",
        "type": "uint8_t **"
      }
    ],
    "isAsync": false
  },
  {
    "functionName": "acir_proof_as_fields_ultra_honk",
    "inArgs": [
      {
        "name": "proof_buf",
        "type": "const uint8_t *"
      }
    ],
    "outArgs": [
      {
        "name": "out",
        "type": "fr::vec_out_buf"
      }
    ],
    "isAsync": false
  },
  {
    "functionName": "acir_vk_as_fields_ultra_honk",
    "inArgs": [
      {
        "name": "vk_buf",
        "type": "const uint8_t *"
      }
    ],
    "outArgs": [
      {
        "name": "out_vkey",
        "type": "fr::vec_out_buf"
      }
    ],
    "isAsync": false
  },
  {
    "functionName": "acir_vk_as_fields_mega_honk",
    "inArgs": [
      {
        "name": "vk_buf",
        "type": "const uint8_t *"
      }
    ],
    "outArgs": [
      {
        "name": "out_vkey",
        "type": "fr::vec_out_buf"
      }
    ],
    "isAsync": false
  }
]