找到约 14 条结果

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

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

文章 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...

文章 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 编程语言：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...

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

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

文章 零知识编程语言

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

文章 Medjai：保护 Cairo 代码免受漏洞影响

...将带你深入了解我们如何开发 Medjai，这是一个用于查找 Cairo 程序中的错误的新符号执行工具。我们的旅程将从乘坐直升机快速俯瞰Cairo开始。在途中，我们将瞥见宏伟著名的 **OpenZeppelin**，并看看一个奇特的错误是在古老的 GitHu...

文章 ZK 语言调查：Noir , o1js , Circom , Leo, Cairo, Lurk

...和多样性有了显著增长。许多电路语言的发展，如 Noir、[Cairo](https://learnblockchain.cn/search/all?word=Cairo)和 Leo，表明了该领域的活跃程度。这种语言的增多使得我们可以比较和对比它们的特性、相似之处和差异。通过对这些语言进行...

文章 Starknet：通过原生Cairo执行解锁更好的性能

## 介绍：Starknet 和 Cairo 执行 Starknet 是一个以太坊第二层（L2）协议，利用加密 STARK 证明（**S** uccinct **T** ransparent **A** rguments of **K** nowledge）来实现可验证的大规模计算。与其他 L2 区块链一样，Starknet 能够为 L2 事务提供有意义...

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

...式承诺、查找表、更灵活的递归证明以及硬件加速 - ·[Cairo 程序执行](https://arxiv.org/abs/2109.14534)的正确性证明 ## 开发者材料 - Solidity [v0.8.8](https://blog.soliditylang.org/2021/09/27/solidity-0.8.8-release-announcement/) 以及 [v0.8.9](https://blog.so...

文章 每周以太坊进展 2021/09/25

...https://www.bitfinex.com/posts/710)，从 USDT 开始 - [从 Solidity 到 Cairo 得转译器](https://medium.com/nethermind-eth/solidity-on-starknet-terminal-velocity-e8df5f63e010)切换模式，从转译 EVM 操作码换成使用 Solidity 和 Yul 语言的 AST - [Rollup 的抗审查性](https://t...

文章 每周以太坊进展 2022/1/15

...): 新关卡，设置交易数据/价值，因此不会恢复 * [starknet-cairo-101](https://github.com/l-henri/starknet-cairo-101): 学习 StarkNet 的一组练习 * Blocknative [Transaction Preview API](https://www.blocknative.com/blog/ethereum-transaction-preview-api):在授权前模拟交易...