找到约 15 条结果

文章 移动平均——去中心化金融数学：用例和脆弱性

...要帮助，请与我们合作： - 智能合约审计 (Solidity, Rust, Cairo) - 高级安全测试套件 (模糊测试、不可变性测试 + 形式验证) - 智能合约开发 - Web2 渗透测试 [https://github.com/ZealynxSecurity](https://github.com/ZealynxSecurity) [https://x.com/ZealynxSecu...

文章 ZK/SEC 季度报

...如果你好奇如何使用 S-two prover 编写 AIRs、在 S-two 中实现 Cairo AIR，或者 Circle STARKs 是如何使用的，那么这篇文章适合你。深入了解这些见解，加深你对这些有趣主题的理解。 [阅读 →](https://blog.zksecurity.xyz/posts/posts/fri-security/post...

文章 Scroll：一个基于 zk-Rollup 的 Layer-2 生态系统

...于其底层证明系统，证明生成成本很高。StarkWare 还使用 Cairo 编译器来支持 DApp，但是它们的证明大小很大并且 on-chain 验证成本非常高。 我们的方案通过使用更高效的分层（可能是递归的）零知识证明系统和一种新颖得 Layer-2 ...

文章 ZK/SEC季度报告

...合作。如果你对使用 S-two prover 编写 AIR、在 S-two 中实现 Cairo AIR 或 Circle STARKs 的使用方式感到好奇，那么这篇文章适合你。深入探索这些见解，加深你对这些有趣主题的理解。 [阅读 →](https://blog.zksecurity.xyz/posts/posts/bulletproofs-s...

文章 CTF挑战 - Tenderly与ChainSecurity 战时游戏

...能在几分钟内迅速开始解决挑战。我还想表扬我的队友 [Cairo](https://x.com/cairoeth)、[Damian Rusinek](https://x.com/drdr_zz) 和 [Daniel Von Fange](https://x.com/danielvf) 的高效表现和专业精神，他们带领团队成功，推动我们登上排行榜的顶端。 在...

文章 Arbitrum Stylus 合约开发范式的转变

...约开发，例如 Rust、C 和 C++。其他语言如 Go、Sway、Move 和 Cairo 也可以支持。具备自己运行时的语言，如 Python 和 Javascript，Stylus 支持起来比较困难，尽管不是不可能。欢迎以库的形式对新语言和现有语言进行第三方贡献！ 与使...

文章 以太七日谈 • 2022/8/23

...devpillme 网站，帮助你了解 starknet 及其运作，并提供一份 Cairo 语言学习资源清单。 Starknet 开发者指南的内容包括了 Starknet 的定义、优势、状态、Cairo 语言、开发者系统以及其他资源。 devpillme 网站的开发指南适合新手开发...

文章 利用 Valida 通过简洁证明优化以太坊执行引擎

...文中不易复制。这是 Valida 与类似工具链（如 Starkware 的 Cairo 工具链或 Lurk Lab 的 Lurk 工具链）之间的关键区别，后者使用为简洁证明设计的专用编程语言。 ...

文章 ZK/SEC 季度刊

...作。如果你对使用 S-two 证明器编写 AIR、在 S-two 中实现 Cairo AIR 或如何使用 Circle STARK 感兴趣，那么这篇文章适合你。深入探索这些见解，加深你对这些有趣主题的理解。 [阅读 →](https://blog.zksecurity.xyz/posts/posts/bulletproofs-range-pro...

文章 Axiom Halo2 电路深入研究

...格式（电路）对程序进行建模。Halo2（以及其他如 Circom、Cairo 和 Noir）是由 ZCash 团队开发的库，它可以让你做到这一点；具体来说，它允许你指定由有选择地激活的多项式方程（称为“gates”）、充当这些 gates 之间“wires”的相...

文章 ZK/SEC 季度报告

...作。如果你对使用 S-two 证明器编写 AIR、在 S-two 中实现 Cairo AIR 或如何使用 Circle STARK 感兴趣，那么这篇文章适合你。深入研究以探索这些见解并加深你对这些有趣主题的理解。 [阅读 →](https://blog.zksecurity.xyz/posts/formal-verification...

文章 下一个 700 种 EVM 语言

...，当谈到智能合约编程语言时，我们看到压倒性的影响：Cairo、Noir、Move、Sway、Stylus、Solana，这些都是受 Rust 启发或直接使用 Rust 的。我认为这并非偶然。智能合约需要安全，并且需要有效利用资源，而这些正是 Rust 的强项。 ...

文章 以太坊协议的未来展望，第二部分：The Surge

...器，如最小化虚拟机的示例，像[RISC-V](https://riscv.org/) 或[Cairo](https://github.com/lambdaclass/cairo-vm)， 然后在这一简化的虚拟机中实现 EVM，且正式证明其等价于其他一些 EVM 规范。 对于多个证明者，有两个主要剩余的部分。 首先，...

文章 2023年Solidity开发者调查结果

...，只是百分比略有增加。 [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 没有经...

文章 Web3 DApp 最佳编程实践指南

...2 方案 [StarkNet](https://starkware.co/starknet/) 中，你可以使用 [Cairo](https://starkware.co/cairo/) 来进行开发；在 Arweave 储存网络中，也存在着类似 [3em](https://github.com/three-em/3em) 这样的运行环境支持你使用 JavaScript 来编写合约。 在这些百...