ZK 证明系统正在融合，但很少有团队构建在生产中同时包含 STARKs 和 SNARKs 的架构。

ZKM Research 的最新文章详细介绍了我们的证明系统如何桥接两者——在内部使用 STARKs 生成证明，然后递归地对输出进行 SNARK，以便在 @ethereum 和 Bitcoin 等区块链上进行验证。

这种混合方法旨在优化管道每个阶段的性能：

🔸 STARKs 用于快速、透明、具有量子弹性的证明构建

🔸 SNARKs 用于紧凑、高效、对 L1 友好的验证

我们分解了这种双重设计的工作原理、背后的原理，以及为什么它对于大规模的实际 zkVM 部署至关重要 🟠

阅读更多：https://t.co/VdaagV12cO

对于构建跨链的实用 zk 基础设施的开发者：https://t.co/U4t30nienn