Barretenberg
The ZK-SNARK library at the core of Aztec
|
#include "barretenberg/commitment_schemes/commitment_key.hpp"
#include "barretenberg/ecc/batched_affine_addition/batched_affine_addition.hpp"
#include "barretenberg/polynomials/polynomial.hpp"
#include "barretenberg/srs/global_crs.hpp"
#include <gtest/gtest.h>
Go to the source code of this file.
Classes | |
class | bb::CommitmentKeyTest< Curve > |
struct | bb::CommitmentKeyTest< Curve >::StructuredPolyData |
Namespaces | |
namespace | bb |
Entry point for Barretenberg command-line interface. | |
Typedefs | |
using | bb::Curves = ::testing::Types< curve::BN254, curve::Grumpkin > |
Functions | |
bb::TYPED_TEST_SUITE (CommitmentKeyTest, Curves) | |
bb::TYPED_TEST (CommitmentKeyTest, CommitFull) | |
bb::TYPED_TEST (CommitmentKeyTest, CommitFullMedium) | |
bb::TYPED_TEST (CommitmentKeyTest, CommitSRSCheck) | |
bb::TYPED_TEST (CommitmentKeyTest, CommitStructuredWire) | |
Test commit_structured on polynomial with blocks of non-zero values (like wires when using structured trace) | |
bb::TYPED_TEST (CommitmentKeyTest, CommitStructuredMaskedWire) | |
Test commit_structured on polynomial with blocks of non-zero values that resembles masked structured witness. | |
bb::TYPED_TEST (CommitmentKeyTest, CommitStructuredNonzeroComplement) | |
Test the method for committing to structured polynomials with a constant nonzero complement (i.e. the permutation grand product polynomial z_perm in the structured trace setting). | |