zk-STARKs and zk-SNARKs are the two most well-known zero-knowledge proof technologies. Learn what they mean and the difference between the two in this guide.