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

Index

*Voting.Protocol.FFC, Voting.Protocol
+Voting.Protocol.FFC, Voting.Protocol
-Voting.Protocol.FFC, Voting.Protocol
/Voting.Protocol.FFC, Voting.Protocol
AdditiveVoting.Protocol.FFC, Voting.Protocol
Answer 
1 (Type/Class)Voting.Protocol.Election, Voting.Protocol
2 (Data Constructor)Voting.Protocol.Election, Voting.Protocol
answer_opinionsVoting.Protocol.Election, Voting.Protocol
answer_sumProofVoting.Protocol.Election, Voting.Protocol
Ballot 
1 (Type/Class)Voting.Protocol.Election, Voting.Protocol
2 (Data Constructor)Voting.Protocol.Election, Voting.Protocol
ballot_answersVoting.Protocol.Election, Voting.Protocol
ballot_election_hashVoting.Protocol.Election, Voting.Protocol
ballot_election_uuidVoting.Protocol.Election, Voting.Protocol
ballot_signatureVoting.Protocol.Election, Voting.Protocol
Base64SHA256 
1 (Type/Class)Voting.Protocol.FFC, Voting.Protocol
2 (Data Constructor)Voting.Protocol.FFC, Voting.Protocol
base64SHA256Voting.Protocol.FFC, Voting.Protocol
beleniosFFCVoting.Protocol.FFC, Voting.Protocol
booleanDisjunctionsVoting.Protocol.Election, Voting.Protocol
bytesNatVoting.Protocol.FFC, Voting.Protocol
ChallengeVoting.Protocol.Election, Voting.Protocol
combineIndispensableDecryptionSharesVoting.Protocol.Trustee.Indispensable, Voting.Protocol.Trustee, Voting.Protocol
combineIndispensableTrusteePublicKeysVoting.Protocol.Trustee.Indispensable, Voting.Protocol.Trustee, Voting.Protocol
commitVoting.Protocol.Election, Voting.Protocol
CommitmentVoting.Protocol.Election, Voting.Protocol
commitQuickerVoting.Protocol.Election, Voting.Protocol
Credential 
1 (Type/Class)Voting.Protocol.Credential, Voting.Protocol
2 (Data Constructor)Voting.Protocol.Credential, Voting.Protocol
credentialAlphabetVoting.Protocol.Credential, Voting.Protocol
credentialSecretKeyVoting.Protocol.Credential, Voting.Protocol
decodeBigEndianVoting.Protocol.FFC, Voting.Protocol
DecryptionFactorVoting.Protocol.Tally, Voting.Protocol
DecryptionShare 
1 (Type/Class)Voting.Protocol.Tally, Voting.Protocol
2 (Data Constructor)Voting.Protocol.Tally, Voting.Protocol
DecryptionShareCombinatorVoting.Protocol.Tally, Voting.Protocol
decryptionShareStatementVoting.Protocol.Tally, Voting.Protocol
DisjProof 
1 (Type/Class)Voting.Protocol.Election, Voting.Protocol
2 (Data Constructor)Voting.Protocol.Election, Voting.Protocol
DisjunctionVoting.Protocol.Election, Voting.Protocol
E 
1 (Type/Class)Voting.Protocol.FFC, Voting.Protocol
2 (Data Constructor)Voting.Protocol.FFC, Voting.Protocol
Election 
1 (Type/Class)Voting.Protocol.Election, Voting.Protocol
2 (Data Constructor)Voting.Protocol.Election, Voting.Protocol
ElectionCryptoVoting.Protocol.Election, Voting.Protocol
ElectionCrypto_FFCVoting.Protocol.Election, Voting.Protocol
electionCrypto_FFC_paramsVoting.Protocol.Election, Voting.Protocol
electionCrypto_FFC_PublicKeyVoting.Protocol.Election, Voting.Protocol
election_cryptoVoting.Protocol.Election, Voting.Protocol
election_descriptionVoting.Protocol.Election, Voting.Protocol
election_hashVoting.Protocol.Election, Voting.Protocol
election_nameVoting.Protocol.Election, Voting.Protocol
election_questionsVoting.Protocol.Election, Voting.Protocol
election_uuidVoting.Protocol.Election, Voting.Protocol
emptyEncryptedTallyVoting.Protocol.Tally, Voting.Protocol
encryptVoting.Protocol.Election, Voting.Protocol
encryptAnswerVoting.Protocol.Election, Voting.Protocol
encryptBallotVoting.Protocol.Election, Voting.Protocol
EncryptedTallyVoting.Protocol.Tally, Voting.Protocol
encryptedTallyVoting.Protocol.Tally, Voting.Protocol
Encryption 
1 (Type/Class)Voting.Protocol.Election, Voting.Protocol
2 (Data Constructor)Voting.Protocol.Election, Voting.Protocol
encryptionCommitmentsVoting.Protocol.Election, Voting.Protocol
EncryptionNonceVoting.Protocol.Election, Voting.Protocol
encryptionStatementVoting.Protocol.Election, Voting.Protocol
encryption_nonceVoting.Protocol.Election, Voting.Protocol
encryption_vaultVoting.Protocol.Election, Voting.Protocol
ErrorAnswerVoting.Protocol.Election, Voting.Protocol
ErrorAnswer_WrongNumberOfOpinionsVoting.Protocol.Election, Voting.Protocol
ErrorAnswer_WrongSumOfOpinionsVoting.Protocol.Election, Voting.Protocol
ErrorBallotVoting.Protocol.Election, Voting.Protocol
ErrorBallot_AnswerVoting.Protocol.Election, Voting.Protocol
ErrorBallot_WrongVoting.Protocol.Election, Voting.Protocol
ErrorBallot_WrongNumberOfAnswersVoting.Protocol.Election, Voting.Protocol
ErrorTallyVoting.Protocol.Tally, Voting.Protocol
ErrorTally_CannotDecryptCountVoting.Protocol.Tally, Voting.Protocol
ErrorTally_NumberOfChoicesVoting.Protocol.Tally, Voting.Protocol
ErrorTally_NumberOfQuestionsVoting.Protocol.Tally, Voting.Protocol
ErrorTally_NumberOfTrusteesVoting.Protocol.Tally, Voting.Protocol
ErrorTally_WrongProofVoting.Protocol.Tally, Voting.Protocol
ErrorTokenVoting.Protocol.Credential, Voting.Protocol
ErrorToken_BadCharVoting.Protocol.Credential, Voting.Protocol
ErrorToken_ChecksumVoting.Protocol.Credential, Voting.Protocol
ErrorToken_LengthVoting.Protocol.Credential, Voting.Protocol
ErrorTrusteePublicKeyVoting.Protocol.Trustee.Indispensable, Voting.Protocol.Trustee, Voting.Protocol
ErrorTrusteePublicKey_WrongProofVoting.Protocol.Trustee.Indispensable, Voting.Protocol.Trustee, Voting.Protocol
ErrorVerifyEncryptionVoting.Protocol.Election, Voting.Protocol
ErrorVerifyEncryption_InvalidProofLengthVoting.Protocol.Election, Voting.Protocol
F 
1 (Type/Class)Voting.Protocol.FFC, Voting.Protocol
2 (Data Constructor)Voting.Protocol.FFC, Voting.Protocol
fakeProofVoting.Protocol.Election, Voting.Protocol
FFC 
1 (Type/Class)Voting.Protocol.FFC, Voting.Protocol
2 (Data Constructor)Voting.Protocol.FFC, Voting.Protocol
ffc_fieldCharacVoting.Protocol.FFC, Voting.Protocol
ffc_groupGenVoting.Protocol.FFC, Voting.Protocol
ffc_groupOrderVoting.Protocol.FFC, Voting.Protocol
ffc_nameVoting.Protocol.FFC, Voting.Protocol
fieldCharacVoting.Protocol.FFC, Voting.Protocol
FromNaturalVoting.Protocol.FFC, Voting.Protocol
fromNaturalVoting.Protocol.FFC, Voting.Protocol
G 
1 (Type/Class)Voting.Protocol.FFC, Voting.Protocol
2 (Data Constructor)Voting.Protocol.FFC, Voting.Protocol
groupGenVoting.Protocol.FFC, Voting.Protocol
groupGenInversesVoting.Protocol.FFC, Voting.Protocol
groupGenPowersVoting.Protocol.FFC, Voting.Protocol
groupOrderVoting.Protocol.FFC, Voting.Protocol
Hash 
1 (Type/Class)Voting.Protocol.FFC, Voting.Protocol
2 (Data Constructor)Voting.Protocol.FFC, Voting.Protocol
hashVoting.Protocol.FFC, Voting.Protocol
hashElectionVoting.Protocol.Election, Voting.Protocol
HexSHA256 
1 (Type/Class)Voting.Protocol.FFC, Voting.Protocol
2 (Data Constructor)Voting.Protocol.FFC, Voting.Protocol
hexSHA256Voting.Protocol.FFC, Voting.Protocol
indispensableTrusteePublicKeyStatementVoting.Protocol.Trustee.Indispensable, Voting.Protocol.Trustee, Voting.Protocol
insertEncryptedTallyVoting.Protocol.Tally, Voting.Protocol
intervalDisjunctionsVoting.Protocol.Election, Voting.Protocol
invVoting.Protocol.FFC, Voting.Protocol
InvertibleVoting.Protocol.FFC, Voting.Protocol
isoZipWithVoting.Protocol.Utils
isoZipWith3Voting.Protocol.Utils
isoZipWith3MVoting.Protocol.Utils
isoZipWith3M_Voting.Protocol.Utils
isoZipWithMVoting.Protocol.Utils
isoZipWithM_Voting.Protocol.Utils
MultiplicativeVoting.Protocol.FFC, Voting.Protocol
natVoting.Protocol.FFC, Voting.Protocol
NaturalVoting.Protocol.FFC, Voting.Protocol
negVoting.Protocol.FFC, Voting.Protocol
NegableVoting.Protocol.FFC, Voting.Protocol
o2Voting.Protocol.Utils
oneVoting.Protocol.FFC, Voting.Protocol
OpinionVoting.Protocol.Election, Voting.Protocol
OracleVoting.Protocol.Election, Voting.Protocol
Proof 
1 (Type/Class)Voting.Protocol.Election, Voting.Protocol
2 (Data Constructor)Voting.Protocol.Election, Voting.Protocol
proof_challengeVoting.Protocol.Election, Voting.Protocol
proof_responseVoting.Protocol.Election, Voting.Protocol
proveVoting.Protocol.Election, Voting.Protocol
proveDecryptionFactorVoting.Protocol.Tally, Voting.Protocol
proveDecryptionShareVoting.Protocol.Tally, Voting.Protocol
proveEncryptionVoting.Protocol.Election, Voting.Protocol
proveIndispensableTrusteePublicKeyVoting.Protocol.Trustee.Indispensable, Voting.Protocol.Trustee, Voting.Protocol
proveQuickerVoting.Protocol.Election, Voting.Protocol
proveTallyVoting.Protocol.Tally, Voting.Protocol
Proxy 
1 (Data Constructor)Voting.Protocol.FFC, Voting.Protocol
2 (Type/Class)Voting.Protocol.FFC, Voting.Protocol
PublicKeyVoting.Protocol.Credential, Voting.Protocol
publicKeyVoting.Protocol.Credential, Voting.Protocol
Question 
1 (Type/Class)Voting.Protocol.Election, Voting.Protocol
2 (Data Constructor)Voting.Protocol.Election, Voting.Protocol
question_choicesVoting.Protocol.Election, Voting.Protocol
question_maxiVoting.Protocol.Election, Voting.Protocol
question_miniVoting.Protocol.Election, Voting.Protocol
question_textVoting.Protocol.Election, Voting.Protocol
randomVoting.Protocol.FFC, Voting.Protocol
randomCredentialVoting.Protocol.Credential, Voting.Protocol
RandomGenVoting.Protocol.FFC, Voting.Protocol
randomRVoting.Protocol.FFC, Voting.Protocol
randomSecretKeyVoting.Protocol.Credential, Voting.Protocol
randomUUIDVoting.Protocol.Credential, Voting.Protocol
readCredentialVoting.Protocol.Credential, Voting.Protocol
readElectionVoting.Protocol.Election, Voting.Protocol
readUUIDVoting.Protocol.Credential, Voting.Protocol
reflectVoting.Protocol.FFC, Voting.Protocol
ReifiesVoting.Protocol.FFC, Voting.Protocol
reifyVoting.Protocol.FFC, Voting.Protocol
reifyElectionVoting.Protocol.Election, Voting.Protocol
SecretKeyVoting.Protocol.Credential, Voting.Protocol
Signature 
1 (Type/Class)Voting.Protocol.Election, Voting.Protocol
2 (Data Constructor)Voting.Protocol.Election, Voting.Protocol
signatureCommitmentsVoting.Protocol.Election, Voting.Protocol
signatureStatementVoting.Protocol.Election, Voting.Protocol
signature_proofVoting.Protocol.Election, Voting.Protocol
signature_publicKeyVoting.Protocol.Election, Voting.Protocol
sumVoting.Protocol.FFC, Voting.Protocol
Tally 
1 (Type/Class)Voting.Protocol.Tally, Voting.Protocol
2 (Data Constructor)Voting.Protocol.Tally, Voting.Protocol
tally_countByChoiceByQuestVoting.Protocol.Tally, Voting.Protocol
tally_countMaxVoting.Protocol.Tally, Voting.Protocol
tally_decShareByTrusteeVoting.Protocol.Tally, Voting.Protocol
tally_encByChoiceByQuestVoting.Protocol.Tally, Voting.Protocol
tokenBaseVoting.Protocol.Credential, Voting.Protocol
tokenLengthVoting.Protocol.Credential, Voting.Protocol
ToNaturalVoting.Protocol.FFC, Voting.Protocol
TrusteePublicKey 
1 (Type/Class)Voting.Protocol.Trustee.Indispensable, Voting.Protocol.Trustee, Voting.Protocol
2 (Data Constructor)Voting.Protocol.Trustee.Indispensable, Voting.Protocol.Trustee, Voting.Protocol
trustee_PublicKeyVoting.Protocol.Trustee.Indispensable, Voting.Protocol.Trustee, Voting.Protocol
trustee_SecretKeyProofVoting.Protocol.Trustee.Indispensable, Voting.Protocol.Trustee, Voting.Protocol
unDecryptionShareVoting.Protocol.Tally, Voting.Protocol
unEVoting.Protocol.FFC, Voting.Protocol
unFVoting.Protocol.FFC, Voting.Protocol
unGVoting.Protocol.FFC, Voting.Protocol
UUID 
1 (Type/Class)Voting.Protocol.Credential, Voting.Protocol
2 (Data Constructor)Voting.Protocol.Credential, Voting.Protocol
verifyAnswerVoting.Protocol.Election, Voting.Protocol
verifyBallotVoting.Protocol.Election, Voting.Protocol
verifyDecryptionShareVoting.Protocol.Tally, Voting.Protocol
verifyDecryptionShareByTrusteeVoting.Protocol.Tally, Voting.Protocol
verifyEncryptionVoting.Protocol.Election, Voting.Protocol
verifyIndispensableDecryptionShareByTrusteeVoting.Protocol.Trustee.Indispensable, Voting.Protocol.Trustee, Voting.Protocol
verifyIndispensableTrusteePublicKeyVoting.Protocol.Trustee.Indispensable, Voting.Protocol.Trustee, Voting.Protocol
verifyTallyVoting.Protocol.Tally, Voting.Protocol
weakFFCVoting.Protocol.FFC, Voting.Protocol
zeroVoting.Protocol.FFC, Voting.Protocol
ZKP 
1 (Type/Class)Voting.Protocol.Election, Voting.Protocol
2 (Data Constructor)Voting.Protocol.Election, Voting.Protocol
^Voting.Protocol.FFC, Voting.Protocol