Where ZK really shines is enabling verifiable, offchain computation to be brought onchain.Consensus is hard (and slow) because of node redundancy. Just use ZK. ...