|
Barretenberg
The ZK-SNARK library at the core of Aztec
|
#include <chonk.hpp>
Public Member Functions | |
| StdlibVerifierInputs (StdlibProof proof_, std::shared_ptr< AppRecursiveVKAndHash > app_vk_and_hash_) | |
| StdlibVerifierInputs (StdlibProof proof_, std::shared_ptr< KernelRecursiveVKAndHash > kernel_vk_and_hash_) | |
| bool | is_kernel () const |
| size_t | vk_num_public_inputs () const |
Public Attributes | |
| StdlibProof | proof |
| std::shared_ptr< AppRecursiveVKAndHash > | app_honk_vk_and_hash |
| std::shared_ptr< KernelRecursiveVKAndHash > | kernel_honk_vk_and_hash |
| CircuitKind | kind = CircuitKind::None |
|
inline |
|
inline |
|
inline |
|
inline |
| std::shared_ptr<AppRecursiveVKAndHash> bb::Chonk::StdlibVerifierInputs::app_honk_vk_and_hash |
| std::shared_ptr<KernelRecursiveVKAndHash> bb::Chonk::StdlibVerifierInputs::kernel_honk_vk_and_hash |
| CircuitKind bb::Chonk::StdlibVerifierInputs::kind = CircuitKind::None |
| StdlibProof bb::Chonk::StdlibVerifierInputs::proof |