...把这项功能称为通用验证服务（GPS），我们很快会提供更多相关信息。Cairo 语言Cairo 程序要用到类似汇编语言的、也叫 Cairo 的语言来编写，而 Cairo 语言具有以下功能：内存、函数调用、递归和分支条件。Cairo 还用到了证明器（Prover）端的 “hints” 来创建快捷方式并启用特定计算。我们说 Cairo 是生产级...
知识:智能合约,以太坊,图灵完备的,图灵完备
...把这项功能称为通用验证服务（GPS），我们很快会提供更多相关信息。Cairo 语言Cairo 程序要用到类似汇编语言的、也叫 Cairo 的语言来编写，而 Cairo 语言具有以下功能：内存、函数调用、递归和分支条件。Cairo 还用到了证明器（Prover）端的 「hints」 来创建快捷方式并启用特定计算。我们说 Cairo 是生产级...
知识:StarkWare,Cairo
区块链网络消息，由零知识证明研究机构 StarkWare 推出的专用编程语言 Cairo 宣布正在开发一种简单投票机制的应用，可以支持大规模的用户以安全的方式投票并保存在区块链上，去中心化组织（DAO）也将受益于该功能。该应用会收集用户的选票，验证每次投票的签名，累计在一起后更新至默克尔树，同...
知识:以太坊,零知识证明,密码学,DAO,StarkWare,ST
...做的事情大多是让开发者能用 Circom 库 (以及 snarkyjs 这种) 或者其他新创造的语言 (Leo 或者 Cairo 这种语言都有奇奇怪怪的限制) 来做通用 zk DApp 的开发, 但是没有像以太坊上用 Solidity 那么直接和易学.除此之外, 还有很多项目, 比如 zkSync, Scroll, 或者 Polygon 旗下的好多家都在尝试做 zkEVM 或者其他的 zkVM.3. EVME...
知识:太坊,合约,以太坊的,智能合约
...二部分，将介绍StarkWare开发的解决方案StarkNet/StarkEx，StarkNet: Cairo的智能合约语言及其与Solidity相比的特殊性，以及一些非典型和创新的微妙之处。最后将分享一小部分正在构建的项目，这些项目将会在生态系统爆发中发挥重要作用。词汇表ZKP = 零知识证明（Zero Knowlegde Proof）ZKSTARK = 零知识可扩展透明知...
知识:智能合约,链上,以太坊,钱包
...ARKS、Cairo 及 StarkNet：认识STARKS、Cairo及StarkNetStarkWare 工程师 Alon 的演示 Cairo 语言开发：Layer2团队StarkWare工程师Alon的演示Cairo语言开发原文链接：https://medium.com/starkware/starknet-planets-alpha-on-ropsten-e7494929cb95ECN的翻译工作旨在为中国以太坊社区传递优质资讯和学习资源，文章版权归原作者所有，转载须注明原...
知识:智能合约,合约,以太坊,链上
...名。而 Matter Labs 采用的 SNARK 的优势则是验证体积更小，性能更佳。2. 编程语言另一方面，编程语言上他们也都创造了自己独有的框架，StarkWare 采用了图灵完备的高级编程语言和框架 Cairo，用来生成通用计算的 STARK 证明，目前已在主网上线，后续还将推出 alpha 测试版的基于 Cairo 的 Generic Proof Service （...
知识:以太坊,dYdX,StarkWare,Layer 2,ZK
...有多个系统在生产环境中运行，这些系统使用一种称为 Cairo 的图灵完备编程语言，该语言是现成可用的。Matter Labs 处于生产环境中的只有一个简单的支付系统，没有图灵完备的语言可用。最后，我们的核心技术 -- ZK STARK 更快、更安全 (从密码学的意义上来说)、透明 (无需可信设置) 和后量子安全，而 Mat...
知识:以太坊,DeFi,dYdX,StarkWare,Layer
...成时间。这一变化可以提高区块大小的上限，从而降低每笔交易的成本。ZKP 语言 Cairo（StarkNet 操作系统的核心组件）使得 StarkNet 可以实现更加复杂的状态承诺。位操作（Bitwise Operation）：我们已经增加了一个 Builtin（执行单元）来支持在 StarkNet 合约中进行更高效的位操作（点击此处，查看文档）。Goerli...
知识:合约,智能合约,以太坊,帕特里夏树
...缺点开发人员的用户体验和将dApp从L1移植到L2比乐观Rollup选项更具挑战性Cairo语言在开发人员中不太受欢迎 = 在Starkware上建设的人才更少使用Starkware的Validium选项，解决DA问题存在技术挑战。3、StarkWare是一家ZK-rollup公司，它在2018年率先推出了基于零知识的Rollup，于2020年推出了StarkEx，最近于2021年11月发布...
知识:以太坊,链上,钱包,智能合约
...致力于去中心化。最后，Cairo是什么呢？就像在听证会上，你用一种特定的语言来编写你的智能合约，这种语言是最可靠的。主持人：目前的L2扩容技术有Optimistic Rollup，ZK Rollup、Plasma、Sidechain等，但行业普遍更看好ZK Rollup，您的观点是怎样的呢？StarkWare的ZK Rollup技术相比其它ZK Rollup有何特点？Eli：人们...
知识:区块链,以太坊,区块链的,智能合约
...这要归功于其安全且加可扩展性更强的加密证明系统--STARK。StarkNet 使用 Cairo语言编译，这是以太坊上第一个生产级的图灵完备的冯-诺伊曼验证器。Cairo 和 STARK 都是由 StarkWare 内部开发的，并为团队所有的生产级应用提供动力，自 2020 年夏季以来，这些应用已经结算了超过 5000 万笔交易以及 2500 亿美元...
知识:以太坊,智能合约,节点
...在链上。现在我们来比较一下 @zksync 和 @StarkWareLtd。我会尽可能使用简洁的语言，并从这几个角度进行比较：团队及成立初期、技术、数据可用性、融资和背后的支持者、当前产品和路线图、个人的看法和我们的机会。团队和成立初期StarkWare 团队成立于 2018 年 5 月。其团队由世界级的密码学家和科学家...
知识:智能合约,代币,以太坊,链上
...完备性，就很难使其与EVM兼容。此外，Starkware创造了Cairo，一种特定的编程语言，允许运行由STARKs驱动的自由裁量程序。但由于很少有人愿意学习一种新的编程语言来做智能合约，他们现在正与@nethermindeth合作创建Warp，这是一种转译器，可以将solidity智能合约无缝转换为Cairo，以使@StarkWare的EVM兼容。?zksyn...
知识:智能合约,代币,链上,加密货币
...低 Gas 费用。StarkExStarkEx 是 Starkware 开发的 L2 可扩展性引擎，通过类似汇编语言的 Cairo 程序，可以在零知识环境中执行这种功能。StarkEx 支持链上/链下混合数据可用性解决方案、快速提款、ERC-721 和 ERC-20, 保证数据可用性。还可以通过生成有效性证明，确保所有链下计算完整执行，STARK 证明先在链上得...
知识:V神,Layer2