zk-STARKs and zk-SNARKs are the two most well-known zero-knowledge proof technologies. Learn what they mean and the diff