ElectionGuard-Kotlin-Multiplatform

last update 01/21/2024

ElectionGuard-Kotlin-Multiplatform (EGK) is a Kotlin Multiplatform implementation of ElectionGuard, version 2.0.0, available under an MIT-style open source License.

Our GitHub repository is now hosted by VotingWorks.

Currently we have ~88% LOC code coverage on the common and jvm core library (7024/7995 LOC). We are focusing on just the JVM implementation, and will consider native and other implementations in the future.

Library dependencies are summarized here.

Currently Java 17 is required.

Table of contents:

• ElectionGuard-Kotlin-Multiplatform
  • Getting Started
  • Workflow and Command Line Programs
  • Serialization
    • JSON Serialization specification
  • Validation
  • Verification
  • Test Vectors
  • Implementation Notes
  • Authors

Getting Started

• Getting Started

Workflow and Command Line Programs

• Workflow and Command Line Programs
• Encryption Workflow
• Pre-encryption Workflow

Serialization

We are waiting for the 2.0 JSON serialization specification from Microsoft, before finalizing our serialization. For now, we are still mostly using the 1.9 serialization.

Support for Protocol Buffers has been moved to this repo.

JSON Serialization specification

• JSON serialization 1.9
• Election Record JSON directory and file layout

Validation

• Input Validation
• Tally Validation

Verification

• Verification

Test Vectors

These are JSON files that give inputs and expected outputs for the purpose of testing interoperability between implementations.

• Test Vectors

Implementation Notes

• Cryptography Notes
• Implementation Notes

Authors

• John Caron
• Dan S. Wallach