Ballot | |
1 (Type/Class) | Voting.Protocol.Election, Voting.Protocol |
2 (Data Constructor) | Voting.Protocol.Election, Voting.Protocol |
ballotCommitments | Voting.Protocol.Election, Voting.Protocol |
ballotStatement | Voting.Protocol.Election, Voting.Protocol |
ballot_answers | Voting.Protocol.Election, Voting.Protocol |
ballot_election_hash | Voting.Protocol.Election, Voting.Protocol |
ballot_election_uuid | Voting.Protocol.Election, Voting.Protocol |
ballot_signature | Voting.Protocol.Election, Voting.Protocol |
Base64SHA256 | |
1 (Type/Class) | Voting.Protocol.Cryptography, Voting.Protocol |
2 (Data Constructor) | Voting.Protocol.Cryptography, Voting.Protocol |
base64SHA256 | Voting.Protocol.Cryptography, Voting.Protocol |
beleniosFFC | Voting.Protocol.FFC, Voting.Protocol |
booleanDisjunctions | Voting.Protocol.Cryptography, Voting.Protocol |
bytesNat | Voting.Protocol.Arithmetic, Voting.Protocol |