|
Barretenberg
The ZK-SNARK library at the core of Aztec
|
#include <decider_verifier.hpp>
Public Member Functions | |
| bool | check () |
Public Attributes | |
| bool | sumcheck_verified |
| bool | libra_evals_verified |
| PairingPoints | pairing_points |
Definition at line 26 of file decider_verifier.hpp.
|
inline |
Definition at line 31 of file decider_verifier.hpp.
| bool bb::DeciderVerifier_< Flavor >::Output::libra_evals_verified |
Definition at line 28 of file decider_verifier.hpp.
| PairingPoints bb::DeciderVerifier_< Flavor >::Output::pairing_points |
Definition at line 29 of file decider_verifier.hpp.
| bool bb::DeciderVerifier_< Flavor >::Output::sumcheck_verified |
Definition at line 27 of file decider_verifier.hpp.