本文介绍了2019年时代密码学中的SNARK和STARK技术，特别感谢Justin Drake, Jim Posen, Benjamin Diamond和Radi Cojbasic的反馈STARK和SNARK是一种证明计算机程序正确性的方法......