Tag: low-latency proofs