hjugement-protocol-0.0.8.20191027: A cryptographic protocol for the Majority Judgment. (Index - F)

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

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

Index - F

F
1 (Type/Class)	Voting.Protocol.FFC, Voting.Protocol
2 (Data Constructor)	Voting.Protocol.FFC, Voting.Protocol
fakeProof	Voting.Protocol.Election, Voting.Protocol
FFC
1 (Type/Class)	Voting.Protocol.FFC, Voting.Protocol
2 (Data Constructor)	Voting.Protocol.FFC, Voting.Protocol
ffc_fieldCharac	Voting.Protocol.FFC, Voting.Protocol
ffc_groupGen	Voting.Protocol.FFC, Voting.Protocol
ffc_groupOrder	Voting.Protocol.FFC, Voting.Protocol
ffc_name	Voting.Protocol.FFC, Voting.Protocol
fieldCharac	Voting.Protocol.FFC, Voting.Protocol
FieldElement	Voting.Protocol.Arith, Voting.Protocol
FieldElementConstraints	Voting.Protocol.Election, Voting.Protocol
FromNatural	Voting.Protocol.Arith, Voting.Protocol
fromNatural	Voting.Protocol.Arith, Voting.Protocol