Skip to content

Latest commit

 

History

History
37 lines (28 loc) · 1.06 KB

Verification.md

File metadata and controls

37 lines (28 loc) · 1.06 KB

EGK Verification

last update 02.25.2024

EGK fully implements the Verifier section 6 of the ElectionGuard specification. Use the classes in the org.cryptobiotic.eg.verifier package in your own program, or the existing CLI program.

Run Verifier Command Line Interface

See Building a library uber jar in GettingStarted, then run the verifier like:

/usr/bin/java \
  -classpath build/libs/egk-ec-2.1-SNAPSHOT-uber.jar \
  org.cryptobiotic.eg.cli.RunVerifier \
  -in /path/to/election_record

The help output of that program is:

Usage: RunVerifier options_list
Options: 
    --inputDir, -in -> Directory containing input election record (always required) { String }
    --nthreads, -nthreads [11] -> Number of parallel threads to use { Int }
    --showTime, -time [false] -> Show timing 
    --help, -h -> Usage info

Since the main class of the uberJar is org.cryptobiotic.eg.cli.RunVerifier you can also run the verifier as:

/usr/bin/java \
  -jar build/libs/egk-ec-2.1-SNAPSHOT-uber.jar \
  -in /path/to/election_record