hjugement-protocol-0.0.0.20190511: A cryptographic protocol for the Majority Judgment. (Index - D)

hjugement-protocol-0.0.0.20190511: A cryptographic protocol for the Majority Judgment.

A
B
C
D
E
F
G
H
I
M
N
O
P
Q
R
S
T
U
V
W
Z
*
+
/
^
-
All

Index - D

DecryptionFactor	Voting.Protocol.Election, Voting.Protocol
DecryptionShare
1 (Type/Class)	Voting.Protocol.Election, Voting.Protocol
2 (Data Constructor)	Voting.Protocol.Election, Voting.Protocol
DecryptionShareCombinator	Voting.Protocol.Election, Voting.Protocol
decryptionShareStatement	Voting.Protocol.Election, Voting.Protocol
decryptionShare_factors	Voting.Protocol.Election, Voting.Protocol
decryptionShare_proofs	Voting.Protocol.Election, Voting.Protocol
DisjProof
1 (Type/Class)	Voting.Protocol.Election, Voting.Protocol
2 (Data Constructor)	Voting.Protocol.Election, Voting.Protocol
Disjunction	Voting.Protocol.Election, Voting.Protocol