网络安全检测|网络安全服务|网络安全扫描-香港墨客投资移动版

　　但ZK-SNARKs存在一些问题，如该技术使用椭圆曲线密码学 (ECDSA) 进行加密，虽然ECDSA算法目前是安全的，但量子计算机的发展可能会打破其安全模型；此外，zk-SNARKs在密钥生成阶段需依靠可信设置，可能存在中心化风险。因此，2018年StarkWare联合创始人Eli-Ben Sasson在论文《Scalable, transparent, and post-quantum secure computationalintegrity》中提出了一种新的ZK技术方案：zk-STARKs。

　　zk-STARKs是zk-SNARKs算法的一种技术演变，解决了SNARK依赖可信设置的弱点，可以不依赖任何信任设置来完成区块链验证，从而降低启动网络的复杂性并消除任何串通风险。同时，zk-STARK 使用更精简的加密方法，避免了椭圆曲线、配对和指数假设知识的需要，而是依赖散列和信息理论，因此理论上能够抵御量子攻击。

　　被称为L2四大天王之一的StarkNet目前采用的就是SATRK有效性证明来解决以太坊可拓展性难题。

　　除底层技术不同外，当前ZK Rollup项目都是将交易数据生成ZKP发送到主链再被验证，项目间的直接差异更多体现在和EVM的兼容性方面。

　　根据改造程度和EVM兼容程度，Vitalik将目前的ZK Rollups分为以下等级：

　　一般来讲，和以太坊/EVM兼容性越好的方案，所需的设计重构工作量越小，但后续工作中的生成ZK验证计算工作量越大。但作为当前的 ZK Rollup 赛道的两大绝对龙头项目，无论是StarkNet还是zkSync，现阶段都只属于高级程式语言等效的ZK Rollups。不过，尽管StarkNet 本身并不兼容EVM，但可以通过包括 Kakarot(Kakarot 是一个用 Cairo 写的 zkEVM，是一个字节码等效 EVM 的 zkEVM)等其他方式兼容以太坊，从而降低开发难度。

　　总结

　　ZK技术可能是我们这个时代最被低估的技术之一，与铺天盖地的人工智能和大数据技术相关的新闻宣传不同，ZK技术至今少有人问津。但尽管如此，这项技术仍然是一项伟大创新，因为它为我们在个人信息无处藏身的大数据时代带来了宝贵的隐私保障。而作为当前ZK技术在区块链领域的重要应用方向，ZK Rollup还有望解决限制区块链大规模应用的最大难题，让更多Web3创新能在现实中的复杂商业环境中得到广泛应用。