Vitalik Buterin proposes using zero-knowledge proofs to make social media algorithms verifiable without exposing code or user ...