acir_proofs::AcirComposer Member List

This is the complete list of members for acir_proofs::AcirComposer, including all inherited members.

AcirComposer(size_t size_hint=0, bool verbose=true) (defined in acir_proofs::AcirComposer)	acir_proofs::AcirComposer
create_circuit(acir_format::acir_format &constraint_system) (defined in acir_proofs::AcirComposer)	acir_proofs::AcirComposer
create_goblin_circuit(acir_format::acir_format &constraint_system, acir_format::WitnessVector &witness) (defined in acir_proofs::AcirComposer)	acir_proofs::AcirComposer
create_goblin_proof() (defined in acir_proofs::AcirComposer)	acir_proofs::AcirComposer
create_proof(acir_format::acir_format &constraint_system, acir_format::WitnessVector &witness, bool is_recursive) (defined in acir_proofs::AcirComposer)	acir_proofs::AcirComposer
get_circuit_subgroup_size() (defined in acir_proofs::AcirComposer)	acir_proofs::AcirComposer	inline
get_exact_circuit_size() (defined in acir_proofs::AcirComposer)	acir_proofs::AcirComposer	inline
get_solidity_verifier() (defined in acir_proofs::AcirComposer)	acir_proofs::AcirComposer
get_total_circuit_size() (defined in acir_proofs::AcirComposer)	acir_proofs::AcirComposer	inline
init_proving_key(acir_format::acir_format &constraint_system) (defined in acir_proofs::AcirComposer)	acir_proofs::AcirComposer
init_verification_key() (defined in acir_proofs::AcirComposer)	acir_proofs::AcirComposer
load_verification_key(proof_system::plonk::verification_key_data &&data) (defined in acir_proofs::AcirComposer)	acir_proofs::AcirComposer
serialize_proof_into_fields(std::vector< uint8_t > const &proof, size_t num_inner_public_inputs)	acir_proofs::AcirComposer
serialize_verification_key_into_fields()	acir_proofs::AcirComposer
verify_goblin_proof(std::vector< uint8_t > const &proof) (defined in acir_proofs::AcirComposer)	acir_proofs::AcirComposer
verify_proof(std::vector< uint8_t > const &proof, bool is_recursive) (defined in acir_proofs::AcirComposer)	acir_proofs::AcirComposer