|
Barretenberg
The ZK-SNARK library at the core of Aztec
|
#include "barretenberg/hypernova/hypernova_verifier.hpp"#include "barretenberg/circuit_checker/circuit_checker.hpp"#include "barretenberg/hypernova/hypernova_prover.hpp"#include "barretenberg/stdlib_circuit_builders/mega_circuit_builder.hpp"#include "barretenberg/stdlib_circuit_builders/mock_circuits.hpp"#include "gtest/gtest.h"Go to the source code of this file.
Classes | |
| class | HypernovaFoldingVerifierTests |
Functions | |
| TEST_F (HypernovaFoldingVerifierTests, Fold) | |
| TEST_F (HypernovaFoldingVerifierTests, TamperInstance) | |
| TEST_F | ( | HypernovaFoldingVerifierTests | , |
| Fold | |||
| ) |
Definition at line 143 of file hypernova_verifier.test.cpp.
| TEST_F | ( | HypernovaFoldingVerifierTests | , |
| TamperInstance | |||
| ) |
Definition at line 148 of file hypernova_verifier.test.cpp.