ecdsa_constraints.hpp File Reference

#include "barretenberg/crypto/ecdsa/ecdsa.hpp"
#include "barretenberg/serialize/msgpack.hpp"
#include "barretenberg/stdlib/primitives/byte_array/byte_array.hpp"
#include <vector>

Go to the source code of this file.

Classes
struct	acir_format::EcdsaConstraint
	ECDSA constraints. More...

Namespaces
namespace	acir_format

Functions
template<typename Curve >
void	acir_format::create_ecdsa_verify_constraints (typename Curve::Builder &builder, const EcdsaConstraint &input, bool has_valid_witness_assignments)
	Create constraints to verify an ECDSA signature.
template<typename Curve >
void	acir_format::create_dummy_ecdsa_constraint (typename Curve::Builder &builder, const std::vector< stdlib::field_t< typename Curve::Builder > > &hashed_message_fields, const std::vector< stdlib::field_t< typename Curve::Builder > > &r_fields, const std::vector< stdlib::field_t< typename Curve::Builder > > &s_fields, const std::vector< stdlib::field_t< typename Curve::Builder > > &pub_x_fields, const std::vector< stdlib::field_t< typename Curve::Builder > > &pub_y_fields, const stdlib::field_t< typename Curve::Builder > &result_field)
	Generate dummy ECDSA constraints when the builder doesn't have witnesses.