acir_format::EcdsaConstraint Struct Reference

ECDSA constraints. More...

#include <ecdsa_constraints.hpp>

Public Member Functions
	MSGPACK_FIELDS (hashed_message, signature, pub_x_indices, pub_y_indices, result)

Public Attributes
std::array< uint32_t, 32 >	hashed_message
std::array< uint32_t, 64 >	signature
std::array< uint32_t, 32 >	pub_x_indices
std::array< uint32_t, 32 >	pub_y_indices
uint32_t	result

Friends
bool	operator== (EcdsaConstraint const &lhs, EcdsaConstraint const &rhs)=default

Detailed Description

ECDSA constraints.

ECDSA constraints have five components:

1. hashed_message, an array of length 32 representing the witness indices of the byte representation of the hash of the message for which the signature must be verified
2. signature, an array of length 64 representing the witness indices of the signature \((r, s)\) which must be verified. The components are represented as big-endian, 32-byte numbers.
3. pub_x_indices, an array of length 32 representing the witness indices of the byte representation the x coordinate of the public key against which the signature should be verified.
4. pub_y_indices, an array of length 32 representing the witness indices of the byte representation the y coordinate of the public key against which the signature should be verified.
5. result, an array of length 1 representing the witness index of the expected result of the signature verification.

Definition at line 32 of file ecdsa_constraints.hpp.

Member Function Documentation

MSGPACK_FIELDS()

acir_format::EcdsaConstraint::MSGPACK_FIELDS	(	hashed_message	,
		signature	,
		pub_x_indices	,
		pub_y_indices	,
		result
	)

Friends And Related Symbol Documentation

operator==

bool operator== ( EcdsaConstraint const &  lhs, EcdsaConstraint const &  rhs  )

friend

Member Data Documentation

hashed_message

std::array<uint32_t, 32> acir_format::EcdsaConstraint::hashed_message

Definition at line 34 of file ecdsa_constraints.hpp.

pub_x_indices

std::array<uint32_t, 32> acir_format::EcdsaConstraint::pub_x_indices

Definition at line 42 of file ecdsa_constraints.hpp.

pub_y_indices

std::array<uint32_t, 32> acir_format::EcdsaConstraint::pub_y_indices

Definition at line 43 of file ecdsa_constraints.hpp.

result

uint32_t acir_format::EcdsaConstraint::result

Definition at line 46 of file ecdsa_constraints.hpp.

signature

std::array<uint32_t, 64> acir_format::EcdsaConstraint::signature

Definition at line 37 of file ecdsa_constraints.hpp.

---

The documentation for this struct was generated from the following file:

• src/barretenberg/dsl/acir_format/ecdsa_constraints.hpp