...的引入将分阶段进行。 10 月 27 日，StarkEx 的开发语言 Cairo 官方推特 [@CairoLang](https://twitter.com/CairoLang) 宣布首个 StarkNet Proof 在主网上运行。但值得注意的是，这个 proof 只是一个初步的测试，还有一个月才能在主网上部署 StarkNe...
... Golang 写的，上手更简单一些。最后，还有 zkSNARK 社区的 Cairo，虽然我自己没有写过 Cairo，但我已经看到不少人已经成功启动了，所以我认为 Cairo 的效果应该是不错的。 关于代码围绕什么去写，我认为可以基于 KZG 多样式...
...链系列公开课](https://learnblockchain.cn/course/39)，与OpenBuild和Cairo中文社区联合发起了[Starknet中文公开课](https://learnblockchain.cn/course/43)。系统的课程全面的提升，共 800+ 人参与系列课程 6. 技术分享：举办了 **30** 期 Web3 极客公开课...
...码（比如 Starkware 使用 Warp 编译器将 Solidity 代码转换为 Cairo 字节码；zkSync 通过 LLVM 编译器将 Solidity 代码转换为其自定义的虚拟机可执行的代码 LLVM-IR）进行编译，并在它们自定义的环境中（比如 Starknet 的 Cairo VM 和 zkSync 的 Sync ...
...如果你好奇如何使用 S-two prover 编写 AIRs、在 S-two 中实现 Cairo AIR，或者 Circle STARKs 是如何使用的，那么这篇文章适合你。深入了解这些见解，加深你对这些有趣主题的理解。 [阅读 →](https://blog.zksecurity.xyz/posts/posts/fri-security/post...
...快证明者（每 VM 步）。这一直是特别简单的 zkVM，比如 [Cairo VM](https://eprint.iacr.org/2021/1063) 的驱动动力，这种设计目的之一就是让其对 SNARK 友好。 确实，Jolt 为更简单的 VM 的证明者比早期的 SNARK 取得了更低的承诺成本。例如...
...帮助，请让我们合作： - 智能合约审计（Solidity，Rust，Cairo） - 高级安全测试套件（模糊测试、不可变性测试 + 形式化验证） - 智能合约开发 - Web2 渗透测试 [https://github.com/ZealynxSecurity](https://github.com/ZealynxSecurity) [https://x.com/Zea...
...n专注于安全的区块链开发和审计。它提供可信的Solidity和Cairo库、全面的智能合约审计和零知识证明服务。其全面服务支持分布式支付网络、金融系统和治理协议。 **已选定的** [**客户**](https://blog.openzeppelin.com/tag/security-audits) ...
...合作。如果你对使用 S-two prover 编写 AIR、在 S-two 中实现 Cairo AIR 或 Circle STARKs 的使用方式感到好奇，那么这篇文章适合你。深入探索这些见解，加深你对这些有趣主题的理解。 [阅读 →](https://blog.zksecurity.xyz/posts/posts/bulletproofs-s...
...路和相应的更快的证明者。这是特别简单的 zkVM（例如 [Cairo VM](https://eprint.iacr.org/2021/1063)）背后的指导动机，它们是专门为 SNARK 友好而设计的。 事实上，对于更简单的虚拟机，Jolt 为证明者实现了比之前的 SNARK 更低的承诺开...
...k/status/1578082456212643840 **通过 Warp 将 Uniswap V3 转译为 Cairo 语言并在 StarkNet 上部署** 10 月 8 日，扩容解决方案 StarkNet 的语言 Cairo 转译器的开发公司 Nethermind 宣布推出 UniStark —— 将 Uniswap V3 转译和编译在 StarkNet 上。 并...
...AKE 函数和后量子方案（如 Falcon）——不再需要昂贵的纯 Cairo 解决方法。此更改完全向后兼容，减少了 API 膨胀，并开辟了新的加密设计空间。 **与 L2BEAT 讨论** 你可以找到我们讨论与 Starknet 治理相关的所有内容，从当前的计...
...学习如何使用 Starknet Foundry 中最常用的 cheatcodes 来测试 Cairo 智能合约。 ## `caller_address` Cheatcodes 在 Starknet 智能合约中，`get_caller_address()` 返回当前与合约中的函数交互的账户地址，类似于 Ethereum 中的 `msg.sender`。合约依赖它来...
...于其底层证明系统，证明生成成本很高。StarkWare 还使用 Cairo 编译器来支持 DApp，但是它们的证明大小很大并且 on-chain 验证成本非常高。 我们的方案通过使用更高效的分层（可能是递归的）零知识证明系统和一种新颖得 Layer-2 ...