Skip to content

Commit

Permalink
slight language edit, remove redundant admonition
Browse files Browse the repository at this point in the history
  • Loading branch information
rc-ms committed Nov 13, 2023
1 parent 0d0e614 commit 197845b
Showing 1 changed file with 2 additions and 4 deletions.
6 changes: 2 additions & 4 deletions docs/elections/College_Park_Maryland_2023.md
Original file line number Diff line number Diff line change
Expand Up @@ -34,15 +34,13 @@ In addition, there are features that are [outlined in the 2.0 spec](/spec/#v20)
* Any voting method other than precinct scan
* Encrypted contest data (write-ins, overvotes/undervotes, extended data)

Finally, when the verifier was run initially immediately after the tally ceremony, a data error was discovered around the extended base hash, causing the 1.I verification (1.H in the 2.0 Specification) to fail. The error was due to an already-addressed issue regarding equation formulation, yet the desired approach was implemented differently in the verifier versus the production code. Since the core ElectionGuard code could not be updated (due to the code freeze cited above), the verifier was modified to interpret the extended base hash correctly and the election was fully verified according to the precepts agreed to above.
Finally, when the verifier was run initially immediately after the tally ceremony on November 5, a data error was discovered around the extended base hash, causing the MITRE 1.I verification (1.H in the 2.0 Specification) to fail. The error was due to an already-addressed issue regarding equation formulation, yet the desired approach was implemented differently in the verifier versus the production code. Since the core ElectionGuard code could not be updated (due to the code freeze cited above), the verifier was modified to interpret the extended base hash correctly and the election was fully verified according to the precepts agreed to above.

!!! abstract "The [MITRE Requirements document](/images/MITRE-EG-CP-requirements.pdf) outlines in detail the encryption and election record capabilities adopted by their verifier for College Park."

!!! tip "Run the verifier yourself!"
If you want to run the MITRE verifier yourself, [follow the instructions here](https://mitre.github.io/ElectionGuardVerifier1X.jl/index.html). When the election results are published, [the election record is available at the confirmation code lookup website](https://app.enhancedvoting.com/results/public/cc/CollegePark/nov23).
If you want to run the MITRE verifier yourself, [follow the instructions here](https://mitre.github.io/ElectionGuardVerifier1X.jl/index.html). The [election record for College Park is available at the confirmation code lookup website](https://app.enhancedvoting.com/results/public/cc/CollegePark/nov23).

!!! tip "Run the verifier yourself!"
If you want to run the MITRE verifier yourself, [follow the instructions here](https://mitre.github.io/ElectionGuardVerifier1X.jl/index.html). When the election results are published, [the election record will be available at the confirmation code lookup website](https://app.enhancedvoting.com/results/public/cc/CollegePark/nov23).

## Survey and Feedback from Voters

Expand Down

0 comments on commit 197845b

Please sign in to comment.