draft 6/27/2023
- These are JSON files that give inputs and expected outputs for the purpose of testing interoperability between implementations.
- The JSON formats are ad-hoc. Suggestions for improvements are welcome!
- The Kotlin code generates and reads back the JSON test vectors. Follow it to find the implementation of that feature. Note that its just my implementation, not guaranteed to be right.
Name | JSON file | Kotlin code |
---|---|---|
Parameters | JSON | code |
KeyCeremony | JSON | code |
ShareEncryption | JSON | code |
BallotEncryption | JSON | code |
ConfirmationCode | JSON | code |
BallotChaining | JSON | code |
BallotAggregation | JSON | code |
TallyDecryption | JSON | code |
TallyPartialDecryption | JSON | code |
PreEncryption | JSON | code |
PreEncryptionRecorded | JSON | code |
DecryptWithNonce | JSON | code |
DecryptBallot | JSON | code |
... moar soon |