找到约 15 条结果

文章 每周以太坊进展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...

文章 每周以太坊进展 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):在授权前模拟交易...

文章 以太坊的最佳指令集架构是什么？

...Loongson) - [WASM](https://webassembly.org/) - [eBPF](https://ebpf.io/) - [CairoVM](https://book.cairo-lang.org/ch200-introduction.html) - [Valida](https://lita.gitbook.io/lita-documentation/architecture/valida-zk-vm) - [PetraVM](https://github.com/PetraProver/PetraVM) 我们试图衡量： - 简...

文章 什么是零知识证明 | 给程序员的实用指南

...须知道正确的值。 **特定领域语言（DSL）（例如 Noir、Cairo、Circom）**： - 为了简化电路编写和验证过程，开发者使用 Noir、Cairo 或 Circom 等语言编写电路。 **中间表示（例如 ACIR）和约束系统（例如 R1CS）**： - 对于 Noir ...

视频 Vitalik 长期L1提案 - 用RISC-V取代EVM

...机开销，并支持 Rust 等更多语言。 3. **其他 VM 架构：** Cairo 等专为 ZK 证明设计的 VM 可能更优，但选择需要谨慎，因为未来的证明技术可能变化。 4. **迁移策略：** 分阶段进行，先用新 VM 替换预编译合约，然后允许用户部署新...

招聘 智能合约开发工程师+钱包开发工程师（base深圳）

... 熟悉Layer 2解决方案、NFT、DAO等新兴区块链应用。 了解Cairo、Move等其他智能合约语言。

文章 Loot Survivor 介绍：最新的全链游戏，基于……

...twitter.com/Starknet), [Cartridge](https://twitter.com/cartridge_gg), and [CairoLang](https://twitter.com/CairoLang) 的代表进行了一次有趣的会面。  ### 什么是 Autonomous World (AW)？ ![](https://img.lea...

文章 零知识证明安全工具现状 - ZKSECURITY

...ethermindEth/horus-checker)：使用 SMT 求解器对带有语言注释的 Cairo 智能合约执行形式验证。 - [Medjai](https://github.com/Veridise/Medjai)：Cairo 的符号求值器，用于检查 Cairo 程序是否持有某些属性。 - DSL（如 [Coda](https://github.com/Veridise/coda) 和...

文章 【zkMIPS系列】zkVM概述

...de.js 和浏览器兼容性等成熟技术 | Mina 协议上的 zkApps | | Cairo | Starkware | 专注于安全性和易用性，支持开发 StarkNet 智能合约 | StarkNet 和 StarkEx | | Noir | Aztec | 提供隐私保护功能，支持多种证明系统 | 仍在开发中 | 以下是如何使...

文章 不同的ZK-EVM类型

...团队，也正在致力于将 EVM 转向 Starkware 的 ZK 友好语言 [Cairo](https://starkware.co/cairo/) 的 [alpha 编译器](https://learnblockchain.cn/article/11678)，还有一些我遗漏的持续努力的团队。 所有这些项目的基本目标是相同的：利用 [ZK-SNARK](https://l...

文章 一文读懂 zk-STARK 与 zk-SNARK 零知识证明

...，社区成熟，入门相对容易； - **STARK**：StarkWare推出的Cairo语言等正在快速迭代，需要一定学习成本，但也为开发者带来新的开发范式。 **六. 应用场景：从隐私到 Layer2，再到通用计算** **1.隐私支付与匿名货币** - **Zca...

文章 每周以太坊进展 2020/08/30

...模拟器及 Eth2 交易手续费分析 ## Layer-2 * StarkWare 的 [Cairo](https://medium.com/@StarkWare/hello-cairo-3cb43b13b209)：通用计算的 STARK 证明器 * [Rollup 数据压缩技术](https://ethresear.ch/t/rollup-diff-compression/7933) * 使用该压缩技术后，optimistic roll...

文章 每周以太坊进展 2020/09/06

...模拟器及 Eth2 交易手续费分析 ## Layer-2 * StarkWare 的 [Cairo](https://medium.com/@StarkWare/hello-cairo-3cb43b13b209)：通用计算的 STARK 证明器 * [Rollup 数据压缩技术](https://ethresear.ch/t/rollup-diff-compression/7933) * 使用该压缩技术后，optimistic roll...

文章 OpenBuild Starknet Bootcamp 任务2：Ownable合约部署、所有权转移、dispatcher交互

...约部署 ### 3.1 合约编译 ```bash $ scarb build Compiling cairo1_v2 v0.1.0 (/root/Ownable-Starknet/Scarb.toml) Finished release target(s) in 1 second ``` ### 3.2 准备env - `.env_a` ```bash export STARKNET_RPC="https://starknet-goerli.g.alchemy.com/v2/xxx" export ST...

文章 不同类型的 ZK-EVM

...lockchain.cn/article/11678)（能把 EVM 编译成 Starkware 所开发的 [Cairo](https://starkware.co/cairo/)），族繁不及备载。 上述项目有一个共同的目标：利用 [ZK-SNARK](https://learnblockchain.cn/article/10962) 进行密码学证明，验证以太坊生态（Ethereum-like...