|
purify
C++ Purify implementation with native circuit and BPP support
|
Public context shared by conflicting statements in one slashable slot. More...
#include <accountable.hpp>
Data Fields | |
| std::array< unsigned char, 32 > | signing_key {} |
| std::array< unsigned char, 32 > | host_commitment {} |
| std::span< const unsigned char > | slot |
The caller authenticates the key and ordered Purify host/roster commitment against its registry. The signing key is the even-Y x-only representation. The slot is a canonical, nonempty application encoding and must outlive uses of this view. Proof artifacts and local session identifiers are excluded.
Definition at line 27 of file accountable.hpp.
| std::array<unsigned char, 32> purify::accountable::ConflictContext::host_commitment {} |
Definition at line 29 of file accountable.hpp.
Referenced by purify::accountable::nonce_evaluation_input(), and purify::accountable::signature_challenge().
| std::array<unsigned char, 32> purify::accountable::ConflictContext::signing_key {} |
Definition at line 28 of file accountable.hpp.
Referenced by purify::accountable::nonce_evaluation_input(), purify::accountable::reconstruct_nonce(), purify::accountable::recover_same_slot_key(), and purify::accountable::signature_challenge().
| std::span<const unsigned char> purify::accountable::ConflictContext::slot |
Definition at line 30 of file accountable.hpp.
Referenced by purify::accountable::nonce_evaluation_input(), and purify::accountable::signature_challenge().