来源：火讯财经
文章转载来源：DAOrayaki
原文：ADeveloper’sGuidetothezkGalaxy
去年夏天，Vitalik写了一篇博文，概述了不同类型的zkEVM（零知识以太坊虚拟机）。Vitalik根据性能和兼容性来定义与权衡。
这是一个非常有用的启发式方法，以区分支持zkEVM的方法。然而，zkEVM是构建零知识应用程序的所有可能方法的一个子集。对于想要利用zk计算的独特属性，即简洁性、零知识和正确性的程序员来说，zkEVM可能不是最好的选择。通过阐述整个开发工具集，本文希望提供一个指南，帮助开发者在决策过程中选择合适的zk堆栈。
抽象复杂度的力量
在过去的一两年中，zk工具有了巨大的进步。使得普通软件的开发人员可以利用zk的强大属性，而不需要深入了解令人生畏的基础数学和工程。另一方面，为高级用户提供的工具激增，使zk专家能够极其精细地控制zk堆栈。
现代软件是建立在无数的抽象层上的，以最大限度地提高专家的生产力。工程中的抽象有许多优势，这些优势在某种程度上是直观的--网络开发者不需要深入了解操作系统的工作原理。
建立良好的、可重复使用的抽象层的关键是封装一个层的复杂性，然后为堆栈中更高的层提供简单但有表现力的接口。正确的做法是，这使得具有不同专业领域和知识的开发人员能够在整个堆栈中建立有用的工具。
毫不奇怪，这些原则也适用于zk系统，而且这些抽象层正变得足够成熟，一个zk新手今天就可以开始使用它们并构建应用程序。
zk堆栈与各层的一些工具/技术实例
低级别的zk开发
Arkworks-rs
Arkworks-rs是一个Rust库的生态系统，它为zkSNARK应用程序的子组件提供高效和安全的实现。Arkworks为开发者提供了必要的接口，以定制zk应用程序的软件栈，而不必重新实现与其他现有库的共性。
在Arkworks之前，创建一个新的zk应用程序的唯一方法是从头开始构建一切。与定制的垂直整合工具相比，Arkworks-rs的主要优势在于其灵活性水平，减少重复工程，以及减少审计工作。Arkworks组件之间合理的接口线允许升级的速度，可以使堆栈在zk技术快速创新的过程中保持相关性，而不会迫使团队从头开始重建一切。
优点
通过模块化实现灵活性
减少重复代码
降低工程成本
减少审计/bug的表面积
无需重大重构即可升级任何组件
易于在快速发展的zk环境中试验新原语
缺点
需要深入了解完整的软件堆栈
如果没有正确理解，太多的控制会导致脚枪
精细控制需要堆栈所有级别的专业知识。
Arkworks确实提供了一些合理的默认设置。
zk领域专用语言(DSL)
为了创建一个关于某些计算的证明，首先这个计算必须以一个zkSNARK系统可以理解的形式来表达。一些特定领域的语言已经创建了编程语言，允许应用开发者以这种方式表达他们的计算。这些语言包括AztecNoir、Starknet的Cairo、Cir