摘要Cairo 是第一个用于生成通用计算的 STARK 证明的生产级平台，具有图灵完备，高效等特点。我们开发的所有内容都是用 Cairo 编写的，从提交 Reddit 的竞标开始，到我们即将部署的各个项目：DeversiFi、Immutable 和 dYdX。无论你的计算和储蓄需求有多少，如果你需要在以太坊上以较低的 Gas 成本大规模应用...
知识:智能合约,以太坊,图灵完备的,图灵完备
Cairo 是第一个用于生成通用计算的 STARK 证明的生产级平台，具有图灵完备，高效等特点。我们开发的所有内容都是用 Cairo 编写的，从提交 Reddit 的竞标开始，到我们即将部署的各个项目：DeversiFi、Immutable 和 dYdX。无论你的计算和储蓄需求有多少，如果你需要在以太坊上以较低的 Gas 成本大规模应用，Cair...
知识:StarkWare,Cairo
...链网络消息，零知识证明研发机构 StarkWare 发布首个生产级图灵完备框架「Cairo」。「Cairo」可使用户在以太坊上以较低的 gas 费用实现大规模扩展。StarkWare 将在接下来的几个季度提供 Cairo 开发者工具。StarkWare 表示「Cairo」将支持即将进行的主网部署，包括适用于去中心化交易所 DeversiFi 的 StarkEx 2.0 版本...
知识:以太坊,StarkWare,Gas费,Cairo,零知识证明
区块链网络消息，零知识证明研发机构 StarkWare 为其图灵完备框架「Cairo」发布 Cairo 工具链的首个版本 v0.0.1，包括编译器、虚拟机、调式器（Tracer）、IDE 扩展等。另外，StarkWare 即将为太坊二层扩容方案 StarkEx 2.0 发布 Cairo 代码。链闻此前报道，本月初，StarkWare 宣布以太坊二层扩容方案 StarkEx 2.0 主网正...
知识:以太坊,StarkWare,图灵完备,StarkEx,二层扩
12 月 28 日，零知识证明研发机构 StarkWare 为其图灵完备框架「Cairo」发布 Cairo 工具链的首个版本 v0.0.1，包括编译器、虚拟机、调式器（Tracer）、IDE 扩展等。另外，StarkWare 即将为太坊二层扩容方案 StarkEx 2.0 发布 Cairo 代码。 本月初，StarkWare 宣布以太坊二层扩容方案 StarkEx 2.0 主网正式上线，去中心化交...
知识:零,知识,证明,研发机构,StarkWare,发布,Cair
区块链网络消息，以太坊客户端 Nethermind 表示，其 Warp 团队关于在 StarkNet 上支持任意 Solidity 合约的研究取得了重大进步，很快就可以将任意 Solidity 合约转换到 Cairo 并将它们部署到 StarkNet 上，下一步将演示将 Uniswap V3 转换到 Cairo 并将其部署在 StarkNet 上。
知识:以太坊,Solidity,Uniswap,Cairo,Net
区块链网络消息，由零知识证明研究机构 StarkWare 推出的专用编程语言 Cairo 宣布正在开发一种简单投票机制的应用，可以支持大规模的用户以安全的方式投票并保存在区块链上，去中心化组织（DAO）也将受益于该功能。该应用会收集用户的选票，验证每次投票的签名，累计在一起后更新至默克尔树，同...
知识:以太坊,零知识证明,密码学,DAO,StarkWare,ST
...，4 月 6 日，以太坊技术服务商 OpenZeppelin 发布为 StarkNet 构建的智能合约库 Cairo v0.1.0，此版本包括 ERC20、ERC721 智能合约，以及 Argent 开发所需的账户抽象合约。 律动此前报道，1 月 28 日，StarkWare 宣布与 OpenZeppelin 达成合作伙伴关系，OpenZeppelin 将为 StarkNet 网络提供审计和安全资源开发服务。
知识:以太,坊,技术,服务商,OpenZeppelin,发布,为,
...eppelin 将为 StarkNet 开发标准化合约，就像他们在以太坊上开发的那样！EVM -> Cairo 编译器：Warp 团队 @ Nethermind 展示了如何将 ERC20 Solidity 代码编译为 StarkNet 合约。背景StarkNet 是一个免许可型去中心化 Validity-Rollup（即 “ZK-Rollup”）。我们在今年年初官宣了该项目的路线图。StarkNet Alpha 目前正在以太坊公共...
知识:合约,智能合约,以太坊,帕特里夏树
...这些知识。第二部分，将介绍StarkWare开发的解决方案StarkNet/StarkEx，StarkNet: Cairo的智能合约语言及其与Solidity相比的特殊性，以及一些非典型和创新的微妙之处。最后将分享一小部分正在构建的项目，这些项目将会在生态系统爆发中发挥重要作用。词汇表ZKP = 零知识证明（Zero Knowlegde Proof）ZKSTARK = 零知识...
知识:智能合约,链上,以太坊,钱包
...一步如果想要参与 StarkNet 的测试网，请先阅读我们的教程和文档：https://www.cairo-lang.org/docs/hello_starknet/然后，继续浏览我们在 StarkNet 上编写和部署的 “AMM 智能合约示例” (http://cairo-lang.org/docs/hello_starknet/amm.html)。这是一个简单的 AMM，你可以访问此处 (https://starkware-amm-demo.netlify.app/swap) 与它进行交互。...
知识:智能合约,合约,以太坊,链上
...使用过程中用户不需要揭露其他信息。他们使用的工具是由 StarkWare 研发的 Cairo。在用户账户管理中他们采用了去中心化钱包 Torus 的方案。参考链接????The LabRats：Optimism+预测交易The LabRats （实验室老鼠）团队推出的 RatTrace 是一个多人交易游戏，你可以根据图形趋势会上升或下降进行赌注。该项目使用 Op...
知识:矿工,以太坊,钱包,去中心化钱包
...ISC-V)、EVM (EVM bytecode)、ZK-Optimized (全新指令集, 针对零知识证明所优化, 比如 Cairo 和 zkSync). 以下是根据 Miden 在 ETH Amsterdam 的演讲所整理的类型对比图:很多零知识证明开发生态所做的事情大多是让开发者能用 Circom 库 (以及 snarkyjs 这种) 或者其他新创造的语言 (Leo 或者 Cairo 这种语言都有奇奇怪怪的限制) ...
知识:太坊,合约,以太坊的,智能合约
...，这要归功于其安全且加可扩展性更强的加密证明系统--STARK。StarkNet 使用 Cairo语言编译，这是以太坊上第一个生产级的图灵完备的冯-诺伊曼验证器。Cairo 和 STARK 都是由 StarkWare 内部开发的，并为团队所有的生产级应用提供动力，自 2020 年夏季以来，这些应用已经结算了超过 5000 万笔交易以及 2500 亿美...
知识:以太坊,智能合约,节点
...在内部运行它们，并确保所有内容都检出并有意义。 然后，它将交易移至 Cairo 程序。 基本上，Cairo 程序可以代表任何语句（它具有图灵完备性）。 Cairo 编译器会编译 Cairo 程序，然后由我们的证明器将其转换为 STARK 证明。 然后，我们将此链上的证明发送给验证者进行验证。 如果验证者接受了证明，...
知识:以太坊,衍生品,观点,DeFi,Uniswap,dYdX,S