找到约 15 条结果

文章 Dojo 安全审查

## 总结 类型游戏时间线从 2024-09-02 到 2024-09-12 语言 Cairo 总问题 11 个 (9 个已解决) 严重程度问题 1 个 (1 个已解决) 高严重程度问题 1 个 (1 个已解决) 中等严重程度问题 1 个 (1 个已解决) 低严重程度问题 4 个 (4 个已解决) 注释 & 附...

文章 Cairo 实战入门:Starknet Foundry 与组件语法

...rs/starknet-foundry) 的进一步更新,使用 `Starknet Foundry` 进行 Cairo 智能合约开发可能会逐渐成为未来主流。 本文的主要内容实际上是介绍 `cairo v2.3` 引入的 [Components](https://community.starknet.io/t/cairo-components/101136) 重大更新,但考虑 `St...

文章 每周以太坊进展2022/3/26

...[v0.5.0](https://github.com/OpenZeppelin/nile/releases/tag/v0.5.0): 支持 Cairo v0.8.0, 与最新的 Account 合约一起使用的Signer * [将ether .js升级到5.6.1激活ENS L2/Offchain集成](https://medium.com/the-ethereum-name-service/upgrade-ethers-js-to-5-6-1-to-activate-ens-l2-offchain-int...

文章 STARK证明器对比:Miden和Starknet

...ex - Recursive - Starknet - StarknetWithKeccak - RecursiveLargeOutput - AllCairo - AllSolidity - Dynamic 在这里,我们展示了 Starknet 中普通布局的主轨迹的单个步骤的图,没有辅助轨迹(更多信息,请参见[我们的分析](https://github.com/lambdaclass/lambdaworks/...

文章 Lambdaworks 作为 Winterfell 的直接替代品来证明 Miden-VM

...,并且我们正在努力实现一个完全兼容的 [使用 STARK 的 Cairo 证明器](https://github.com/lambdaclass/lambdaworks/tree/main/provers/cairo)。我们希望继续添加新的证明系统和多项式承诺方案,以便用户拥有一个适合他们特定需求的库,并且易于...

文章 热门Web3开发工具、编程语言、框架和安全性

...://solana.com/) 和 Arbitrum stylus 上基础的 Rust 合约热情 - 像 [Cairo](https://www.cairo-lang.org/) 和 [Noir](https://learnblockchain.cn/article/13841) 这样的 ZK 工具/语言 我们预计在这里也会看到更多的发展。 ## **4\. Web3 钱包:MetaMask、Rabby、Trezor ...

文章 以太七日谈 • 2021/11/30

...penZeppelin 正为其编写标准合约:[https://github.com/OpenZeppelin/cairo-contracts/tree/main/contracts](https://github.com/OpenZeppelin/cairo-contracts/tree/main/contracts) * 由 Nethemind 开发的 [Warp](https://github.com/NethermindEth/warp),Solidity -> Cairo 的转译器 * Shard Lab ...

文章 零知识开发者指南: 如何选择 ZK 技术栈

...算。其中包括[Aztec Noir](https://aztec.network/noir/),Starknet 的[Cairo](https://www.cairo-lang.org/),[Circom](https://docs.circom.io/),[ZoKrates](https://zokrates.github.io/)和 Aleo 的[Leo](https://leo-lang.org/)等。底层的证明系统和数学细节通常对应用开发者不可...

文章 Switchboard 与竞争对手:为何我们是全能预言机

...样的 EVM 链、像 Aptos 和 Sui 这样基于 Move 的区块链、基于 Cairo 的区块链 StarkNet,以及 JavaScript、Rust 等语言的 SDK。 通过使用可信执行环境 (**TEEs**),Switchboard 保护数据免受篡改,并通过其 Oracle 队列确保数据不是陈旧的,并且保...

文章 Revmc - 将 EVM 字节码降级为本地代码的编译器

....com/ethereum/evmjit) 和其他 [运行时](https://github.com/lambdaclass/cairo_native) 中。我们预计每个区块链的运行时都会有其运行时的编译本地汇编版本,以提供更高的性能。 ## 它是如何工作的? Revmc 的功能是将 EVM 字节码(在以太坊虚...

文章 Starknet 学习之了解 Starknet 基础知识

... ## 了解 `Starknet` 基础知识 ### 主题 1. 为什么选择 `Cairo` 2. 为什么选择 `Starknet` 3. 智能钱包 4. `Starknet` 架构 101 5. `Transactions` ### `Starknet` 相关名称的了解与区分 `STARKWARE ` :是位于以色列的公司,开发了 `Starknet`,...

文章 组件第 2 部分:OpenZeppelin ERC-20 教程

...合约中。 智能合约中使用的大多数组件都来自外部库。Cairo 的 OpenZeppelin Contracts 提供了所有权、访问控制、代币标准等组件,可以导入到合约中,类似于 Solidity 的 OpenZeppelin Contracts。 在本教程中,你将学习如何从 OpenZeppelin 导...

文章 以太坊的争论:我们对 Roll-ups 有多乐观?

...,要么鼓励人们学习其自定义语言(Rust、Solidity、Move、Cairo 等)。 zkEVM 是相对较新的,并且正在开发中,具有不同程度的以太坊兼容性和性能。虽然像 [Ethereum 的研究部门](https://appliedzkp.org/) 这样的组织致力于实现与以太坊的...

文章 去信任的“侧链-StarkEx”桥接

...llups 证明了特定计算语句的有效性 (即使其背后的工具如 Cairo 语言是图灵完备的)。这使得它们与 Rollup 中需要“互操作性智能合约”的方案不兼容。 而我们去中心化的、无需许可的 zk-Rollup 解决方案 StarkNet 将解决这一问题。...

文章 zkLLVM电路编译器

...制了当代码一旦被实现后的可重用性——自定义DSL(又名Cairo、Noir、Circom等)需要生成整个库和应用程序的生态系统。此外,特定领域的语言通常构建在zkVM之上,这也是导致性能问题的主要原因之一。 无论何时,只要涉及到任何...