swisspost-evoting-go-poc/pkg
saymrwulf 31e9a25bb8 Cockpit MathML converter: sums, products, dots; verified in browser
Extend the LaTeX→MathML converter for the deep-instrumentation notation:
big operators ∏ ∑ with msubsup limits (\sum_{i=1}^{m}), ∘ ∗ ∼ log, and the
dots family (\cdots ⋯, \ldots …, \vdots, \ddots). Handle _{}^{} pairs as
msubsup and ignore \textstyle/\Bigg.

Trim the shuffle-argument template so the core relation fits without wrapping.

Verified in a real browser (6-voter run, full 2×3 shuffle matrix so every
sub-argument fires): Pedersen commitment, all five Bayer-Groth sub-arguments
(shuffle, product, Hadamard, zero, SVP, multi-exp), and partial decryption all
render as clean typeset math with live values — no console errors.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
2026-07-07 16:31:43 +02:00
..
elgamal Due-diligence hardening + Rust transport-security layer 2026-07-06 14:42:34 +02:00
hash Due-diligence hardening + Rust transport-security layer 2026-07-06 14:42:34 +02:00
kdf Due-diligence hardening + Rust transport-security layer 2026-07-06 14:42:34 +02:00
math Due-diligence hardening + Rust transport-security layer 2026-07-06 14:42:34 +02:00
mixnet Cockpit MathML converter: sums, products, dots; verified in browser 2026-07-07 16:31:43 +02:00
party Instrument the deep Bayer-Groth layers: commitments, sub-arguments, decryption 2026-07-07 16:26:03 +02:00
protocol Due-diligence hardening + Rust transport-security layer 2026-07-06 14:42:34 +02:00
returncodes Tally + verification: full multi-party ceremony runs end-to-end 2026-07-06 15:23:56 +02:00
serialize Swiss Post E-Voting Go PoC 2026-02-13 19:53:09 +01:00
symmetric Swiss Post E-Voting Go PoC 2026-02-13 19:53:09 +01:00
trace Instrument the deep Bayer-Groth layers: commitments, sub-arguments, decryption 2026-07-07 16:26:03 +02:00
transport Add evote cockpit: watch the cryptography execute as live typeset math 2026-07-07 14:19:13 +02:00
transportsec Due-diligence hardening + Rust transport-security layer 2026-07-06 14:42:34 +02:00
verify Due-diligence hardening + Rust transport-security layer 2026-07-06 14:42:34 +02:00
zkp Instrument real crypto ops to emit live LaTeX events 2026-07-07 14:06:08 +02:00