SNARKs and STARKs both prove computation correctly with compact evidence. Compare trusted setup, proof size, speed and post-quantum security tradeoffs.