wiselib::ZKPVerify< OsModel_P, Radio_P, Debug_P > Class Template Reference

#include <zkp-verifier.h>

List of all members.

Public Types
typedef OsModel_P	OsModel
typedef Radio_P	Radio
typedef Debug_P	Debug
typedef ZKPVerify< OsModel_P, Radio_P, Debug_P >	self_t
typedef Radio::node_id_t	node_id_t
typedef Radio::size_t	size_t
typedef Radio::block_data_t	block_data_t
typedef self_t *	self_pointer_t
Public Member Functions
Construction / Destruction
	ZKPVerify ()
	~ZKPVerify ()
enum	MsgHeaders {   START_MSG = 200, COIN_MSG = 201, HEADS_MSG = 202, TAILS_MSG = 203,   ACCEPT_MSG = 204, REJECT_MSG = 205, RESTART_MSG = 206 }
int	init (Radio &radio, Debug &debug)
int	init ()
int	destruct ()
int	enable_radio (void)
int	disable_radio (void)
ZKP functionality
void	key_setup (Point *pubkey)
bool	coin_flip (uint8_t b)
void	verify_tails ()
void	verify_heads ()
void	final_decision ()
void	receive (node_id_t from, size_t len, block_data_t *data)

template<typename OsModel_P, typename Radio_P = typename OsModel_P::Radio, typename Debug_P = typename OsModel_P::Debug>
class wiselib::ZKPVerify< OsModel_P, Radio_P, Debug_P >

---

Member Typedef Documentation

template<typename OsModel_P , typename Radio_P = typename OsModel_P::Radio, typename Debug_P = typename OsModel_P::Debug>

typedef Radio::block_data_t wiselib::ZKPVerify< OsModel_P, Radio_P, Debug_P >::block_data_t

template<typename OsModel_P , typename Radio_P = typename OsModel_P::Radio, typename Debug_P = typename OsModel_P::Debug>

typedef Debug_P wiselib::ZKPVerify< OsModel_P, Radio_P, Debug_P >::Debug

template<typename OsModel_P , typename Radio_P = typename OsModel_P::Radio, typename Debug_P = typename OsModel_P::Debug>

typedef Radio::node_id_t wiselib::ZKPVerify< OsModel_P, Radio_P, Debug_P >::node_id_t

template<typename OsModel_P , typename Radio_P = typename OsModel_P::Radio, typename Debug_P = typename OsModel_P::Debug>

typedef OsModel_P wiselib::ZKPVerify< OsModel_P, Radio_P, Debug_P >::OsModel

template<typename OsModel_P , typename Radio_P = typename OsModel_P::Radio, typename Debug_P = typename OsModel_P::Debug>

typedef Radio_P wiselib::ZKPVerify< OsModel_P, Radio_P, Debug_P >::Radio

template<typename OsModel_P , typename Radio_P = typename OsModel_P::Radio, typename Debug_P = typename OsModel_P::Debug>

typedef self_t* wiselib::ZKPVerify< OsModel_P, Radio_P, Debug_P >::self_pointer_t

template<typename OsModel_P , typename Radio_P = typename OsModel_P::Radio, typename Debug_P = typename OsModel_P::Debug>

typedef ZKPVerify<OsModel_P, Radio_P, Debug_P> wiselib::ZKPVerify< OsModel_P, Radio_P, Debug_P >::self_t

template<typename OsModel_P , typename Radio_P = typename OsModel_P::Radio, typename Debug_P = typename OsModel_P::Debug>

typedef Radio::size_t wiselib::ZKPVerify< OsModel_P, Radio_P, Debug_P >::size_t

---

Member Enumeration Documentation

template<typename OsModel_P , typename Radio_P = typename OsModel_P::Radio, typename Debug_P = typename OsModel_P::Debug>

enum wiselib::ZKPVerify::MsgHeaders

Enumerator:

START_MSG
COIN_MSG
HEADS_MSG
TAILS_MSG
ACCEPT_MSG
REJECT_MSG
RESTART_MSG

---

Constructor & Destructor Documentation

template<typename OsModel_P , typename Radio_P , typename Debug_P >

wiselib::ZKPVerify< OsModel_P, Radio_P, Debug_P >::ZKPVerify

(

)

template<typename OsModel_P , typename Radio_P , typename Debug_P >

wiselib::ZKPVerify< OsModel_P, Radio_P, Debug_P >::~ZKPVerify

(

)

---

Member Function Documentation

template<typename OsModel_P , typename Radio_P , typename Debug_P >

bool wiselib::ZKPVerify< OsModel_P, Radio_P, Debug_P >::coin_flip

(

uint8_t

b

)

template<typename OsModel_P , typename Radio_P , typename Debug_P >

int wiselib::ZKPVerify< OsModel_P, Radio_P, Debug_P >::destruct

(

void

)

[inline]

template<typename OsModel_P , typename Radio_P , typename Debug_P >

int wiselib::ZKPVerify< OsModel_P, Radio_P, Debug_P >::disable_radio

(

void

)

template<typename OsModel_P , typename Radio_P , typename Debug_P >

int wiselib::ZKPVerify< OsModel_P, Radio_P, Debug_P >::enable_radio

(

void

)

template<typename OsModel_P , typename Radio_P , typename Debug_P >

void wiselib::ZKPVerify< OsModel_P, Radio_P, Debug_P >::final_decision

(

)

template<typename OsModel_P , typename Radio_P , typename Debug_P >

int wiselib::ZKPVerify< OsModel_P, Radio_P, Debug_P >::init

(

void

)

[inline]

template<typename OsModel_P , typename Radio_P = typename OsModel_P::Radio, typename Debug_P = typename OsModel_P::Debug>

int wiselib::ZKPVerify< OsModel_P, Radio_P, Debug_P >::init	(	Radio &	radio,
		Debug &	debug
	)		[inline]

template<typename OsModel_P , typename Radio_P , typename Debug_P >

void wiselib::ZKPVerify< OsModel_P, Radio_P, Debug_P >::key_setup

(

Point *

pubkey

)

template<typename OsModel_P , typename Radio_P , typename Debug_P >

void wiselib::ZKPVerify< OsModel_P, Radio_P, Debug_P >::receive	(	node_id_t	from,
		size_t	len,
		block_data_t *	data
	)		[protected]

template<typename OsModel_P , typename Radio_P , typename Debug_P >

void wiselib::ZKPVerify< OsModel_P, Radio_P, Debug_P >::verify_heads

(

)

template<typename OsModel_P , typename Radio_P , typename Debug_P >

void wiselib::ZKPVerify< OsModel_P, Radio_P, Debug_P >::verify_tails

(

)

---

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

• wiselib.testing/algorithms/crypto/ZeroKnowledgeProofsFp/zkp-verifier.h