Blog compares zk-SNARKs vs zk-STARKs, with the usual setup, proof-size, perf, and post-quantum checkboxes.