...器，如最小化虚拟机的示例，像[RISC-V](https://riscv.org/) 或[Cairo](https://github.com/lambdaclass/cairo-vm)， 然后在这一简化的虚拟机中实现 EVM，且正式证明其等价于其他一些 EVM 规范。 对于多个证明者，有两个主要剩余的部分。 首先，...
...，只是百分比略有增加。 [Huff](https://docs.huff.sh/) (9.3%)、[Cairo](https://www.cairo-lang.org/docs/) (5.8%) 和 [Sway](https://fuellabs.github.io/sway/) (2.1%) 连续第二年进入列表。 [Fe](https://fe-lang.org/docs/) (1.8%) 今年也再次进入图表。但是，Rust 没有经...
...2 方案 [StarkNet](https://starkware.co/starknet/) 中，你可以使用 [Cairo](https://starkware.co/cairo/) 来进行开发；在 Arweave 储存网络中，也存在着类似 [3em](https://github.com/three-em/3em) 这样的运行环境支持你使用 JavaScript 来编写合约。 在这些百...
... ZK Rollup 与以太坊不兼容。 例如，使用 StarkNet 需要学习 Cairo，这是一种用于在 StarkNet 操作系统中执行程序的图灵完备语言。 这意味着这些系统无法像 Polygon 的 ZK Rollup 那样扩展以太坊的功能。 用户无法在此类 ZK Rollup 上访问基...
...建可靠的生产系统至关重要的先进工程实践。有很多像 Cairo、Noir 这样的项目没有这些问题，但它们是成熟的编程语言。我们想要一个工具来构建像那些语言、新的证明系统或任何我们需要的东西。 因此，我们决定开始构建我...
...分利用STARK在计算和可扩展性方面的优势，StarkWare开发了Cairo语言，这是一种高效且图灵完备的编程语言，专门用于创建STARK证明。这意味着StarkWare需要开发文档、框架和其他工具来激活其开发者生态。 #### Immutable X Immutable ...
...AKE 函数和后量子方案（如 Falcon）——不再需要昂贵的纯 Cairo 解决方法。此更改完全向后兼容，减少了 API 膨胀，并开辟了新的加密设计空间。 **与 L2BEAT 讨论** 你可以找到我们讨论与 Starknet 治理相关的所有内容，从当前的计...
... 源代码编译为自定义 ZK 友好的字节码。你也可以选择用 Cairo（StarkNet 的语言）编写合约。 >- 原文链接： [alchemy.com/overviews/zk...](https://www.alchemy.com/overviews/zkevm) >- 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不...
...arc.org) ## 编程语言 ### ZKP 中的编程语言 - [Cario](https://cairo-lang.org/docs/) - [Circom](https://docs.circom.io/) - [Noir](http://noir-lang.org/index.html) - [Snarky](https://github.com/o1-labs/snarky) - [Zinc](https://github.com/matter-labs/zinc) - [ZoKrates](https://zokrate...
...性，StarkWare 创建了一种新的高效且图灵完备的编程语言 Cairo，用于生成 STARK 证明。这意味着 StarkWare 需要通过文档、框架和配套工具来引导开发者生态系统。 #### Immutable X [Immutable X](https://www.immutable.com/) 是一个 NFT 平台，支持 ...
...“SNARK 友好”的非常简单的指令集会导致更快的 zkVM（见 Cairo、Miden、Valida 等）。事实上，Jolt 在每个指令上的速度几乎与那些拥有更简单指令集的先前 zkVM 相当（在某些情况下甚至更快）。并且对于满足自然可分解性属性的任...
...的 Arkworks）编写的库，要么使用领域专用语言 (DSL)（如 Cairo 或 Circom），该语言会编译为生成证明所需的基元。操作越复杂，生成证明所需的时间就越长。此外，某些操作本质上不是 ZK 友好的，需要额外的工作才能使其如此。例...
...以以 [每小时60英里]（https://archive.aramcoworld.com/issue/201102/cairo.s.fancy.fliers.htm）的速度飞行，距离最多可达600英里。 - **保管与结算。** 纸质证书由交易者自行保管。因体积较大，无法由归巢鸽运输，故物理贸易结算发生在交易执...
...采取不同的路线。因此更具挑战性。我们拥有一种称为 Cairo 的新颖，新颖，真实和完整的语言。因此，我们的解决方法是，让我们正在做的每一件事都能立即被需要它的真正团队在生产中使用。 Eli(Starkware)(01:03:37): 因此，...