找到约 15 条结果

文章 Web3 开发者的自我修养——智能合约

...例如 TON/FunC、Cardano/Plutus、 ICP/Motoko、Flow/Cadence、Starknet/Cairo 等，但过于碎片化。 因此本文将智能合约开发语言按照 EVM 系、Solana 系和 Move 系进行分类介绍。 ## EVM 系 ![image.png](https://img.learnblockchain.cn/attachments/2024/05/0Y6y8bpa6...

文章 Brevis研究报告：zkVM 和 ZK 数据协处理器的无限可验证计算层

...需要重建生态系统（例如，[@Starknet](https://x.com/@Starknet) / Cairo）。 如今，L2 zkRollup 模型已经成熟：执行在链下运行，证明在链上验证，在保持 [@ethereum](https://x.com/@ethereum) 的生态系统和工具的同时，提供高吞吐量和低成本。然而...

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

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

文章 MiCA监管与安全：每个加密货币创始人需要了解的内容

...要。我们的团队涵盖： - 智能合约审计 - Solidity、Rust、Cairo、Sway、Solana、TypeScript - 渗透测试 - 全栈应用程序安全、API 测试、基础设施 - AI 红队 - 适用于集成 AI 代理或 LLM 驱动功能的项目 - 与 MiCA 和 DORA 要求一致的安全评估 - 持...

文章 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 的强项。 ...