Suggesting a link for: Homomorphic tally research specifies proof boundaries for token-weighted voting