找到约 14 条结果

文章 EVM 2.0：以证明为中心与以执行为中心的方法

...的指令集。 为 ZK 证明优化的现有 VM 示例（适当披露：CairoVM 由 StarkWare 构建，StarkWare 是本文的共同作者） #### 1\. CairoVM（由 Starknet 使用） - 从头开始为基于 STARK 的证明系统设计 - 使用最小的、算术友好的指令集 - 避免...

文章 Awesome zkVM - 零知识虚拟机 (zkVM) 精选列表

...测试](#independentthird-party-benchmarks) - [论文](#papers) - [Cairo](#cairo) - [Ceno](#ceno) - [Jolt](#jolt) - [SP1](#sp1) - [Risc Zero](#risc-zero) - [EDEN](#eden) - [资源](#resources) - [教程/教育 zkVM](#tutorials--educational-zkvm) - [相关工...

文章 论EVM和zkEVM的新叙事

...们已启动一个小型内部团队，以使用 o1js (MinaProtocol) 在 Cairo (Starknet) 中开发 zkWASM。 ### 4.2 zkEVM - 项目列表：zkSync、Polygon zkEVM、Linea、Taiko、Scroll … zkEVM 是一个与以太坊虚拟机 (EVM) 兼容的虚拟机，它支持零知识证明计算。 ...

文章 每周以太坊进展 2021/08/21

...edium.com/nethermind-eth/warp-your-way-to-starknet-ddd6856875e0)：EVM 到 Cairo（StarkNet 的 智能合约编程语言）转译器 * StarkWare 的[共享证明器](https://twitter.com/ukolodny/status/1428556705525374978)降低小 app 的 layer 2 负担 ## 开发者材料 * web3.js [v1.5.2](...

文章 zkVM与zkEVM：下一代区块链扩展解决方案的技术分析

...支持多种编程语言和用例。 ## zkVM项目示例 - **Starknet (Cairo VM)**：使用Cairo编程语言构建可扩展的去中心化应用 (dApps)，配备STARK证明。 - **RISC Zero**：实现了一种 **RISC-V架构虚拟机**，使开发者能够用Rust或C++编写经过ZK证明的代码...

文章 2023年Web3领域最重要的12种编程语言

...言包括： 1. Solidity 2. Vyper 3. Go 4. Huff 5. Rust 6. Move 7. Cairo 8. Haskell 从第一个版本的 Solidity 到今天独特的 Web3 编程语言，行业领导者都在努力使 Web3 开发尽可能符合人体工程学。 凭借一套 web3 编程语言的强大技能，开发人员...

文章 每周以太坊进展 2021/03/28

...简洁的 dapp](https://github.com/admazzola/infernal-simple-dapp) * [用 Cairo 写出一个寻找质数的程序](https://medium.com/nethermind-eth/lets-find-a-prime-d5ee8b4643cc) * [Hardhat 部署教程](https://github.com/wighawag/tutorial-hardhat-deploy#readme) * [整个 NFT 闪电贷](https:...

文章 零知识前沿：关于SNARKs，STARKs和未来的应用

...arkEx** ，一个独立的 zk-rollup SaaS。此外，StarkWare 是名为 **Cairo** 的生产级零知识虚拟机 (zkVM) 的第一家生产商。Cairo 声称通过实现图灵完备的[冯诺依曼](https://en.wikipedia.org/wiki/Von_Neumann_architecture) 架构以达到这一点。每个程序与它...

文章 OpenBuild Starknet Bootcamp任务3：Starknet Foundry合约测试代码错误修复及部署和交互测试

...ub.com/gianalarcon/Ownable-contract-snFoundry)， 在 **tests/test_ownable.cairo** 文件上完成测试。当前包含一个老版本的测试，需要升级到 v0.12.0 or v0.13.0并修复错误，所有的测试必须通过 `snforge test` ，你可参考 [Voting contract](https://github.com/gianal...

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

...swap-only-warped-to-starknet-6b62d3a96690): 用 Warp 将 Uniswap v3 转成 Cairo（也进行了手动修改）, [通过测试](https://twitter.com/0xgreg_/status/1580291490655350784) * [Maze](https://github.com/privacy-scaling-explorations/maze#readme): 为 Circom-PLONK 证明生成聚合证明...

文章 每周以太坊进展2022/3/26

...[v0.5.0](https://github.com/OpenZeppelin/nile/releases/tag/v0.5.0): 支持 Cairo v0.8.0, 与最新的 Account 合约一起使用的Signer * [将ether .js升级到5.6.1激活ENS L2/Offchain集成](https://medium.com/the-ethereum-name-service/upgrade-ethers-js-to-5-6-1-to-activate-ens-l2-offchain-int...

文章 热门Web3开发工具、编程语言、框架和安全性

...://solana.com/) 和 Arbitrum stylus 上基础的 Rust 合约热情 - 像 [Cairo](https://www.cairo-lang.org/) 和 [Noir](https://learnblockchain.cn/article/13841) 这样的 ZK 工具/语言 我们预计在这里也会看到更多的发展。 ## **4\. Web3 钱包：MetaMask、Rabby、Trezor ...

文章 以太七日谈 • 2021/11/30

...penZeppelin 正为其编写标准合约：[https://github.com/OpenZeppelin/cairo-contracts/tree/main/contracts](https://github.com/OpenZeppelin/cairo-contracts/tree/main/contracts) * 由 Nethemind 开发的 [Warp](https://github.com/NethermindEth/warp)，Solidity -> Cairo 的转译器 * Shard Lab ...

文章 零知识开发者指南: 如何选择 ZK 技术栈

...算。其中包括[Aztec Noir](https://aztec.network/noir/)，Starknet 的[Cairo](https://www.cairo-lang.org/)，[Circom](https://docs.circom.io/)，[ZoKrates](https://zokrates.github.io/)和 Aleo 的[Leo](https://leo-lang.org/)等。底层的证明系统和数学细节通常对应用开发者不可...