purify::Symbol Struct Reference

Compact symbolic variable identifier used inside expressions and transcripts. More...

#include <expr.hpp>

Public Member Functions
std::string	to_string () const
bool	operator== (const Symbol &) const =default

Static Public Member Functions
static Symbol	witness (std::uint32_t index)
static Symbol	left (std::uint32_t index)
static Symbol	right (std::uint32_t index)
static Symbol	output (std::uint32_t index)
static Symbol	commitment (std::uint32_t index)

Data Fields
SymbolKind	kind = SymbolKind::Witness
std::uint32_t	index = 0

Detailed Description

Definition at line 35 of file expr.hpp.

Member Function Documentation

commitment()

Symbol purify::Symbol::commitment ( std::uint32_t  index )

static

Definition at line 71 of file expr.cpp.

References purify::Commitment, and index.

Referenced by purify::BulletproofTranscript::add_pubkey_and_out(), purify::BulletproofTranscript::evaluate(), and purify::NativeBulletproofCircuitTemplate::instantiate_packed().

left()

Symbol purify::Symbol::left ( std::uint32_t  index )

static

Definition at line 59 of file expr.cpp.

References index, and purify::Left.

Referenced by purify::BulletproofTranscript::from_transcript().

operator==()

bool purify::Symbol::operator== ( const Symbol &  ) const

default

output()

Symbol purify::Symbol::output ( std::uint32_t  index )

static

Definition at line 67 of file expr.cpp.

References index, and purify::Output.

Referenced by purify::BulletproofTranscript::from_transcript().

right()

Symbol purify::Symbol::right ( std::uint32_t  index )

static

Definition at line 63 of file expr.cpp.

References index, and purify::Right.

Referenced by purify::BulletproofTranscript::from_transcript().

to_string()

std::string purify::Symbol::to_string

(

)

const

Definition at line 75 of file expr.cpp.

References purify::Commitment, index, kind, purify::Left, purify::Output, purify::Right, and purify::Witness.

witness()

Symbol purify::Symbol::witness ( std::uint32_t  index )

static

Definition at line 55 of file expr.cpp.

References index, and purify::Witness.

Referenced by purify::BulletproofTranscript::from_transcript().

Field Documentation

index

std::uint32_t purify::Symbol::index = 0

Definition at line 37 of file expr.hpp.

Referenced by commitment(), left(), output(), right(), to_string(), and witness().

kind

SymbolKind purify::Symbol::kind = SymbolKind::Witness

Definition at line 36 of file expr.hpp.

Referenced by to_string().

---

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

• include/purify/expr.hpp
• src/protocol/expr.cpp