Distributed Ledger Authentication Systems via Homomorphic Pairwise Verification: Formal Cryptographic Analysis and Zero-Knowledge Constructions | Synapse