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

Index - B

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.Arith, Voting.Protocol
2 (Data Constructor)Voting.Protocol.Arith, Voting.Protocol
base64SHA256Voting.Protocol.Arith, Voting.Protocol
beleniosFFCVoting.Protocol.FFC, Voting.Protocol
booleanDisjunctionsVoting.Protocol.Election, Voting.Protocol
bytesNatVoting.Protocol.Arith, Voting.Protocol