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

#include <ZKPofSingleBit-verifier.h>

List of all members.

Public Types
typedef OsModel_P	OsModel
typedef Radio_P	Radio
typedef Debug_P	Debug
typedef ZKPOFSINGLEBITVerify < 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
	ZKPOFSINGLEBITVerify ()
	~ZKPOFSINGLEBITVerify ()
enum	MsgHeaders {   START_MSG = 200, RAND_MSG = 201, CONT_MSG = 202, ACCEPT_MSG = 203,   REJECT_MSG = 204 }
int	init (Radio &radio, Debug &debug)
int	init ()
int	destruct ()
int	enable_radio (void)
int	disable_radio (void)
ZKP functionality
void	key_setup (Point *pubkey1, Point *pubkey2)
void	generate_random ()
bool	verify ()
bool	verify_msg ()
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::ZKPOFSINGLEBITVerify< 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::ZKPOFSINGLEBITVerify< 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::ZKPOFSINGLEBITVerify< 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::ZKPOFSINGLEBITVerify< 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::ZKPOFSINGLEBITVerify< 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::ZKPOFSINGLEBITVerify< 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::ZKPOFSINGLEBITVerify< 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 ZKPOFSINGLEBITVerify<OsModel_P, Radio_P, Debug_P> wiselib::ZKPOFSINGLEBITVerify< 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::ZKPOFSINGLEBITVerify< 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::ZKPOFSINGLEBITVerify::MsgHeaders

Enumerator:

START_MSG
RAND_MSG
CONT_MSG
ACCEPT_MSG
REJECT_MSG

---

Constructor & Destructor Documentation

template<typename OsModel_P , typename Radio_P , typename Debug_P >

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

(

)

template<typename OsModel_P , typename Radio_P , typename Debug_P >

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

(

)

---

Member Function Documentation

template<typename OsModel_P , typename Radio_P , typename Debug_P >

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

(

void

)

[inline]

template<typename OsModel_P , typename Radio_P , typename Debug_P >

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

(

void

)

template<typename OsModel_P , typename Radio_P , typename Debug_P >

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

(

void

)

template<typename OsModel_P , typename Radio_P , typename Debug_P >

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

(

)

template<typename OsModel_P , typename Radio_P , typename Debug_P >

void wiselib::ZKPOFSINGLEBITVerify< OsModel_P, Radio_P, Debug_P >::generate_random

(

)

template<typename OsModel_P , typename Radio_P , typename Debug_P >

int wiselib::ZKPOFSINGLEBITVerify< 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::ZKPOFSINGLEBITVerify< OsModel_P, Radio_P, Debug_P >::init	(	Radio &	radio,
		Debug &	debug
	)		[inline]

template<typename OsModel_P , typename Radio_P , typename Debug_P >

void wiselib::ZKPOFSINGLEBITVerify< OsModel_P, Radio_P, Debug_P >::key_setup	(	Point *	pubkey1,
		Point *	pubkey2
	)

template<typename OsModel_P , typename Radio_P , typename Debug_P >

void wiselib::ZKPOFSINGLEBITVerify< 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 >

bool wiselib::ZKPOFSINGLEBITVerify< OsModel_P, Radio_P, Debug_P >::verify

(

)

template<typename OsModel_P , typename Radio_P , typename Debug_P >

bool wiselib::ZKPOFSINGLEBITVerify< OsModel_P, Radio_P, Debug_P >::verify_msg

(

)

---

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

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