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

#include <zkp-prover.h>

List of all members.

Public Types
enum	MsgHeaders {   START_MSG = 200, COIN_MSG = 201, HEADS_MSG = 202, TAILS_MSG = 203,   ACCEPT_MSG = 204, REJECT_MSG = 205, RESTART_MSG = 206 }
typedef OsModel_P	OsModel
typedef Radio_P	Radio
typedef Debug_P	Debug
typedef ZKPProve< 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
int	init (Radio &radio, Debug &debug)
int	init ()
int	destruct ()
int	enable_radio (void)
int	disable_radio (void)
Construction / Destruction
	ZKPProve ()
	~ZKPProve ()
ZKP functionality
void	key_setup (NN_DIGIT *privkey, Point *pubkey)
void	start_proof ()
void	send_tails ()
void	send_heads ()
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::ZKPProve< 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::ZKPProve< 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::ZKPProve< 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::ZKPProve< 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::ZKPProve< 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::ZKPProve< 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::ZKPProve< 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 ZKPProve<OsModel_P, Radio_P, Debug_P> wiselib::ZKPProve< 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::ZKPProve< 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::ZKPProve::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::ZKPProve< OsModel_P, Radio_P, Debug_P >::ZKPProve

(

)

template<typename OsModel_P , typename Radio_P , typename Debug_P >

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

(

)

---

Member Function Documentation

template<typename OsModel_P , typename Radio_P , typename Debug_P >

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

(

void

)

[inline]

template<typename OsModel_P , typename Radio_P , typename Debug_P >

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

(

void

)

template<typename OsModel_P , typename Radio_P , typename Debug_P >

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

(

void

)

template<typename OsModel_P , typename Radio_P , typename Debug_P >

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

template<typename OsModel_P , typename Radio_P , typename Debug_P >

void wiselib::ZKPProve< OsModel_P, Radio_P, Debug_P >::key_setup	(	NN_DIGIT *	privkey,
		Point *	pubkey
	)

template<typename OsModel_P , typename Radio_P , typename Debug_P >

void wiselib::ZKPProve< 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::ZKPProve< OsModel_P, Radio_P, Debug_P >::send_heads

(

void

)

template<typename OsModel_P , typename Radio_P , typename Debug_P >

void wiselib::ZKPProve< OsModel_P, Radio_P, Debug_P >::send_tails

(

void

)

template<typename OsModel_P , typename Radio_P , typename Debug_P >

void wiselib::ZKPProve< OsModel_P, Radio_P, Debug_P >::start_proof

(

void

)

---

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

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