Barretenberg: src/barretenberg/chonk/chonk_batch_verifier.hpp Source File

#pragma once


#include "barretenberg/chonk/chonk_proof.hpp"

#include "barretenberg/chonk/chonk_verifier.hpp"


namespace bb {


class ChonkBatchVerifier {

  public:


    struct Input {

        ChonkProof proof;

        std::shared_ptr<MegaZKFlavor::VKAndHash> vk_and_hash;

    };


    static bool verify(std::span<const Input> inputs);

};


} // namespace bb

chonk_proof.hpp

chonk_verifier.hpp

bb::ChonkBatchVerifier
Batch verifier for multiple Chonk IVC proofs.
Definition chonk_batch_verifier.hpp:14

bb::ChonkBatchVerifier::verify
static bool verify(std::span< const Input > inputs)
Verify multiple Chonk proofs with batched IPA verification.
Definition chonk_batch_verifier.cpp:8

inputs
AvmProvingInputs inputs
Definition hinting_dbs.test.cpp:45

bb
Entry point for Barretenberg command-line interface.
Definition api.hpp:5

std::get
constexpr decltype(auto) get(::tuplet::tuple< T... > &&t) noexcept
Definition tuple.hpp:13

bb::ChonkBatchVerifier::Input
Definition chonk_batch_verifier.hpp:16

bb::ChonkBatchVerifier::Input::vk_and_hash
std::shared_ptr< MegaZKFlavor::VKAndHash > vk_and_hash
Definition chonk_batch_verifier.hpp:18

bb::ChonkBatchVerifier::Input::proof
ChonkProof proof
Definition chonk_batch_verifier.hpp:17

bb::ChonkProof_< false >