c_bind.cpp File Reference

#include "c_bind.hpp"
#include "../acir_format/acir_to_constraint_buf.hpp"
#include "barretenberg/chonk/chonk_verifier.hpp"
#include "barretenberg/chonk/private_execution_steps.hpp"
#include "barretenberg/common/mem.hpp"
#include "barretenberg/common/net.hpp"
#include "barretenberg/common/serialize.hpp"
#include "barretenberg/common/throw_or_abort.hpp"
#include "barretenberg/common/zip_view.hpp"
#include "barretenberg/dsl/acir_format/acir_format.hpp"
#include "barretenberg/dsl/acir_format/hypernova_recursion_constraint.hpp"
#include "barretenberg/honk/execution_trace/mega_execution_trace.hpp"
#include "barretenberg/serialize/msgpack.hpp"
#include "honk_contract.hpp"
#include <cstdint>
#include <memory>

Go to the source code of this file.

Functions
WASM_EXPORT void	acir_get_circuit_sizes (uint8_t const *acir_vec, bool const *has_ipa_claim, uint32_t *total, uint32_t *subgroup)
WASM_EXPORT void	acir_prove_and_verify_ultra_honk (uint8_t const *acir_vec, uint8_t const *witness_vec, bool *result)
	Construct and verify an UltraHonk proof.
WASM_EXPORT void	acir_prove_and_verify_mega_honk (uint8_t const *acir_vec, uint8_t const *witness_vec, bool *result)
	Construct and verify a Chonk proof.
WASM_EXPORT void	acir_prove_aztec_client (uint8_t const *ivc_inputs_buf, uint8_t **out_proof, uint8_t **out_vk)
WASM_EXPORT void	acir_verify_aztec_client (uint8_t const *proof_buf, uint8_t const *vk_buf, bool *result)
WASM_EXPORT void	acir_prove_ultra_zk_honk (uint8_t const *acir_vec, uint8_t const *witness_vec, uint8_t const *vk_buf, uint8_t **out)
WASM_EXPORT void	acir_prove_ultra_keccak_honk (uint8_t const *acir_vec, uint8_t const *witness_vec, uint8_t const *vk_buf, uint8_t **out)
WASM_EXPORT void	acir_prove_ultra_keccak_zk_honk (uint8_t const *acir_vec, uint8_t const *witness_vec, uint8_t const *vk_buf, uint8_t **out)
WASM_EXPORT void	acir_prove_ultra_starknet_honk (uint8_t const *acir_vec, uint8_t const *witness_vec, uint8_t const *vk_buf, uint8_t **out)
WASM_EXPORT void	acir_prove_ultra_starknet_zk_honk (uint8_t const *acir_vec, uint8_t const *witness_vec, uint8_t const *vk_buf, uint8_t **out)
WASM_EXPORT void	acir_verify_ultra_zk_honk (uint8_t const *proof_buf, uint8_t const *vk_buf, bool *result)
WASM_EXPORT void	acir_verify_ultra_keccak_honk (uint8_t const *proof_buf, uint8_t const *vk_buf, bool *result)
WASM_EXPORT void	acir_verify_ultra_keccak_zk_honk (uint8_t const *proof_buf, uint8_t const *vk_buf, bool *result)
WASM_EXPORT void	acir_verify_ultra_starknet_honk (uint8_t const *proof_buf, uint8_t const *vk_buf, bool *result)
WASM_EXPORT void	acir_verify_ultra_starknet_zk_honk (uint8_t const *proof_buf, uint8_t const *vk_buf, bool *result)
WASM_EXPORT void	acir_write_vk_ultra_honk (uint8_t const *acir_vec, uint8_t **out)
WASM_EXPORT void	acir_write_vk_ultra_keccak_honk (uint8_t const *acir_vec, uint8_t **out)
WASM_EXPORT void	acir_write_vk_ultra_keccak_zk_honk (uint8_t const *acir_vec, uint8_t **out)
WASM_EXPORT void	acir_write_vk_ultra_starknet_honk (uint8_t const *acir_vec, uint8_t **out)
WASM_EXPORT void	acir_write_vk_ultra_starknet_zk_honk (uint8_t const *acir_vec, uint8_t **out)
WASM_EXPORT void	acir_honk_solidity_verifier (uint8_t const *proof_buf, uint8_t const *vk_buf, uint8_t **out)
WASM_EXPORT void	acir_proof_as_fields_ultra_honk (uint8_t const *proof_buf, fr::vec_out_buf out)
WASM_EXPORT void	acir_vk_as_fields_ultra_honk (uint8_t const *vk_buf, fr::vec_out_buf out_vkey)
WASM_EXPORT void	acir_vk_as_fields_mega_honk (uint8_t const *vk_buf, fr::vec_out_buf out_vkey)
WASM_EXPORT void	acir_gates_aztec_client (uint8_t const *ivc_inputs_buf, uint8_t **out)

Function Documentation

acir_gates_aztec_client()

WASM_EXPORT void acir_gates_aztec_client	(	uint8_t const *	ivc_inputs_buf,
		uint8_t **	out
	)

Definition at line 442 of file c_bind.cpp.

acir_get_circuit_sizes()

WASM_EXPORT void acir_get_circuit_sizes	(	uint8_t const *	acir_vec,
		bool const *	has_ipa_claim,
		uint32_t *	total,
		uint32_t *	subgroup
	)

Definition at line 19 of file c_bind.cpp.

acir_honk_solidity_verifier()

WASM_EXPORT void acir_honk_solidity_verifier	(	uint8_t const *	proof_buf,
		uint8_t const *	vk_buf,
		uint8_t **	out
	)

Definition at line 407 of file c_bind.cpp.

acir_proof_as_fields_ultra_honk()

WASM_EXPORT void acir_proof_as_fields_ultra_honk	(	uint8_t const *	proof_buf,
		fr::vec_out_buf	out
	)

Definition at line 418 of file c_bind.cpp.

acir_prove_and_verify_mega_honk()

WASM_EXPORT void acir_prove_and_verify_mega_honk	(	uint8_t const *	constraint_system_buf,
		uint8_t const *	witness_buf,
		bool *	result
	)

Construct and verify a Chonk proof.

Deprecated:

Definition at line 54 of file c_bind.cpp.

acir_prove_and_verify_ultra_honk()

WASM_EXPORT void acir_prove_and_verify_ultra_honk	(	uint8_t const *	acir_vec,
		uint8_t const *	witness_vec,
		bool *	result
	)

Construct and verify an UltraHonk proof.

Definition at line 34 of file c_bind.cpp.

acir_prove_aztec_client()

WASM_EXPORT void acir_prove_aztec_client	(	uint8_t const *	ivc_inputs_buf,
		uint8_t **	out_proof,
		uint8_t **	out_vk
	)

Definition at line 73 of file c_bind.cpp.

acir_prove_ultra_keccak_honk()

WASM_EXPORT void acir_prove_ultra_keccak_honk	(	uint8_t const *	acir_vec,
		uint8_t const *	witness_vec,
		uint8_t const *	vk_buf,
		uint8_t **	out
	)

Definition at line 142 of file c_bind.cpp.

acir_prove_ultra_keccak_zk_honk()

WASM_EXPORT void acir_prove_ultra_keccak_zk_honk	(	uint8_t const *	acir_vec,
		uint8_t const *	witness_vec,
		uint8_t const *	vk_buf,
		uint8_t **	out
	)

Definition at line 164 of file c_bind.cpp.

acir_prove_ultra_starknet_honk()

WASM_EXPORT void acir_prove_ultra_starknet_honk	(	uint8_t const *	acir_vec,
		uint8_t const *	witness_vec,
		uint8_t const *	vk_buf,
		uint8_t **	out
	)

Definition at line 186 of file c_bind.cpp.

acir_prove_ultra_starknet_zk_honk()

WASM_EXPORT void acir_prove_ultra_starknet_zk_honk	(	uint8_t const *	acir_vec,
		uint8_t const *	witness_vec,
		uint8_t const *	vk_buf,
		uint8_t **	out
	)

Definition at line 209 of file c_bind.cpp.

acir_prove_ultra_zk_honk()

WASM_EXPORT void acir_prove_ultra_zk_honk	(	uint8_t const *	acir_vec,
		uint8_t const *	witness_vec,
		uint8_t const *	vk_buf,
		uint8_t **	out
	)

Definition at line 119 of file c_bind.cpp.

acir_verify_aztec_client()

WASM_EXPORT void acir_verify_aztec_client	(	uint8_t const *	proof_buf,
		uint8_t const *	vk_buf,
		bool *	result
	)

Definition at line 106 of file c_bind.cpp.

acir_verify_ultra_keccak_honk()

WASM_EXPORT void acir_verify_ultra_keccak_honk	(	uint8_t const *	proof_buf,
		uint8_t const *	vk_buf,
		bool *	result
	)

Definition at line 245 of file c_bind.cpp.

acir_verify_ultra_keccak_zk_honk()

WASM_EXPORT void acir_verify_ultra_keccak_zk_honk	(	uint8_t const *	proof_buf,
		uint8_t const *	vk_buf,
		bool *	result
	)

Definition at line 258 of file c_bind.cpp.

acir_verify_ultra_starknet_honk()

WASM_EXPORT void acir_verify_ultra_starknet_honk	(	uint8_t const *	proof_buf,
		uint8_t const *	vk_buf,
		bool *	result
	)

Definition at line 271 of file c_bind.cpp.

acir_verify_ultra_starknet_zk_honk()

WASM_EXPORT void acir_verify_ultra_starknet_zk_honk	(	uint8_t const *	proof_buf,
		uint8_t const *	vk_buf,
		bool *	result
	)

Definition at line 290 of file c_bind.cpp.

acir_verify_ultra_zk_honk()

WASM_EXPORT void acir_verify_ultra_zk_honk	(	uint8_t const *	proof_buf,
		uint8_t const *	vk_buf,
		bool *	result
	)

Definition at line 232 of file c_bind.cpp.

acir_vk_as_fields_mega_honk()

WASM_EXPORT void acir_vk_as_fields_mega_honk	(	uint8_t const *	vk_buf,
		fr::vec_out_buf	out_vkey
	)

Definition at line 433 of file c_bind.cpp.

acir_vk_as_fields_ultra_honk()

WASM_EXPORT void acir_vk_as_fields_ultra_honk	(	uint8_t const *	vk_buf,
		fr::vec_out_buf	out_vkey
	)

Definition at line 424 of file c_bind.cpp.

acir_write_vk_ultra_honk()

WASM_EXPORT void acir_write_vk_ultra_honk	(	uint8_t const *	acir_vec,
		uint8_t **	out
	)

Definition at line 308 of file c_bind.cpp.

acir_write_vk_ultra_keccak_honk()

WASM_EXPORT void acir_write_vk_ultra_keccak_honk	(	uint8_t const *	acir_vec,
		uint8_t **	out
	)

Definition at line 325 of file c_bind.cpp.

acir_write_vk_ultra_keccak_zk_honk()

WASM_EXPORT void acir_write_vk_ultra_keccak_zk_honk	(	uint8_t const *	acir_vec,
		uint8_t **	out
	)

Definition at line 343 of file c_bind.cpp.

acir_write_vk_ultra_starknet_honk()

WASM_EXPORT void acir_write_vk_ultra_starknet_honk	(	uint8_t const *	acir_vec,
		uint8_t **	out
	)

Definition at line 361 of file c_bind.cpp.

acir_write_vk_ultra_starknet_zk_honk()

WASM_EXPORT void acir_write_vk_ultra_starknet_zk_honk	(	uint8_t const *	acir_vec,
		uint8_t **	out
	)

Definition at line 384 of file c_bind.cpp.