Spartan：满足透明性的通用高效zkSNARK方案

去年就开坑的paper，当时个人理解不足没看懂，文中有一个很巧妙的点来减少Verifier的开销