找到约 14 条结果

文章 每周以太坊进展 2021/02/01

...640880) 之路：StarkWare 将在 2021 年末推出的 zk-rollup，使用 [Cairo](https://www.cairo-lang.org/playground/) 编写应用 ## 开发者材料 - Solidity [v0.8.1](https://blog.soliditylang.org/2021/01/27/solidity-0.8.1-release-announcement/)：SMTChecker 支持外部调用 - [Solid...

文章 lambdaworks - 回顾与更新路线图

... 个版本。 - 超过 18.5 万次下载。 - 4 个证明系统（STARKs、Cairo、Groth16、Plonk）和两个额外的示例实现（Pinocchio 和 BabySNARK）。 - 举办了两届密码学 Sparkling Water Bootcamp，有来自不同国家的 30 名训练营学员。 - 使用 Montgomery 算法的 [...

文章 各智能合约编程语言的权衡

...的设计哲学，他们并非一样，这篇文章探索一下 Solidity、Cairo、Rust和Move的语言设计的权衡。  > 图片来源：[Fatos Bytyqi](https://unsplash.com/@fatosi?utm_source=medium&utm_medium=re...

文章 Cairo 1.0 幕后：探索 Sierra

## 第三部分：通过 Sierra 成为更好的 Cairo 开发者  ## 介绍 在[本系列的第一篇博文](https://medium.com/nethermind-eth/under-the-hood-of-cairo-1-0-exploring-sierra-7f32808421f5)中，我们介绍了 S...

文章 Starknet Cairo 中的可组合性和组件

...://medium.com/@estheraladioche569/composability-and-components-in-starknet-cairo-cedcccb4acc3 >- 译者：[AI翻译官](https://learnblockchain.cn/people/19584)，校对：[翻译小组](https://learnblockchain.cn/people/412) >- 本文永久链接：[learnblockchain.cn/article…](https://learnblo...

文章 RISC Zero zkVM 1.2：引入应用程序定义的预编译

...21 年夏季**：在 zkVM 中使用预编译的原始模式可以追溯到 CAIRO 的“内置函数”，详见 [CAIRO 论文](https://eprint.iacr.org/2021/1063.pdf) 的第 2.8 节。 **2022 年春季**：当我们首次发布 RISC Zero zkVM 时，我们使用了 CAIRO 论文中描述的方法，...

文章 Foresight Ventures: 解读 zk, zkVM, zkEVM 及其未来

...e)、ZK-Optimized (全新指令集, 针对零知识证明所优化, 比如 Cairo 和 zkSync). 以下是根据 Miden 在 ETH Amsterdam 的演讲所整理的类型对比图:  很多零知识证明开...

文章 给 Solidity 开发者的 Cairo 编程指南

原文：[Moving form Solidity to Cairo](https://medium.com/starkware/moving-from-solidity-to-cairo-7d44f9723c68) **翻译及校对**：「StarkNet 中文社区」  ## 概要 - Starknet 影响力日益...

文章 Cairo 中的构造函数

...态变量、执行合约设置任务、进行跨合约交互等等。 在 Cairo 中，构造函数使用合约 `mod` 块内的 `#[constructor]` 属性定义。 本文将介绍构造函数在 Cairo 中如何工作，初始化合约状态的规则，以及构造函数返回值与 Solidity 的不同...

文章 012：L2 是什么？Rollup 到底 Roll 的是什么？

...容，速度快 | | **Starknet** | ZK Rollup | 采用 Cairo 语言，创新性强 | | **Linea** | ZK Rollup | ConsenSys 出品，兼容性强 | *** ### L2 对用户意味着什么？ * 手续费更便宜：几分钱就能转账 / Mint * 速度更...

文章 深入探索 Cairo 编程语言：Starknet 的基础与实践

# 深入探索 Cairo 编程语言：Starknet 的基础与实践 ## `Cairo` `Cairo` 和 `Cairo` 实战 ### 主题 1. 什么是`Cairo` 2. `Field Element` 3. `Starklings` 介绍 4. 实战 #### 什么是`Cairo` ## [What is Cairo?](https://book.cairo-lang.org/ch00-00-introduction.html#...

文章 每周以太坊进展2022/4/9

...ases/tag/v2.0.1): 添加了 Foundry 支持，错误修复 * OpenZeppelin [Cairo v0.1.0 合约](https://blog.openzeppelin.com/announcing-openzeppelin-contracts-for-cairo/): 账户抽象、ERC20 和 ERC721 实现，Ownable, Pausable, SafeMath 和 代理 * [GitPOAP](https://medium.com/gitpoap/gitpoap...

文章 零知识编程语言

...函数返回，以防你想知道为什么返回语句消失了。 ### [Cairo](https://www.cairo-lang.org/) 由 [Starkware](https://starkware.co/) 提供 Starknet是另一个L2。 这个名字是中央处理单元代数中间表示的合成词。中间表示语言用于“略低于汇编”...

文章 区块链如何旨在变革选举：安全和可访问的投票

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