Barretenberg
The ZK-SNARK library at the core of Aztec
|
#include "barretenberg/ecc/groups/precomputed_generators_secp256r1_impl.hpp"
#include "barretenberg/stdlib/encryption/ecdsa/ecdsa.hpp"
#include "barretenberg/stdlib/hash/sha256/sha256.hpp"
#include "barretenberg/stdlib/primitives/curves/secp256k1.hpp"
Go to the source code of this file.
Namespaces | |
namespace | bb |
Entry point for Barretenberg command-line interface. | |
namespace | bb::stdlib |
Functions | |
template<typename Builder , typename Curve , typename Fq , typename Fr , typename G1 > | |
void | bb::stdlib::validate_inputs (const stdlib::byte_array< Builder > &hashed_message, const G1 &public_key, const ecdsa_signature< Builder > &sig) |
Validate the inputs used by the verification function and return messages if they produce an invalid circuit. | |
template<typename Builder , typename Curve , typename Fq , typename Fr , typename G1 > | |
bool_t< Builder > | bb::stdlib::ecdsa_verify_signature (const stdlib::byte_array< Builder > &hashed_message, const G1 &public_key, const ecdsa_signature< Builder > &sig) |
Verify ECDSA signature. Returns bool_t(true/false) depending on whether the signature is valid or not. | |
template<typename Builder > | |
void | bb::stdlib::generate_ecdsa_verification_test_circuit (Builder &builder, size_t num_iterations) |
Generate a simple ecdsa verification circuit for testing purposes. | |