找到约 13 条结果

文章 Kakarot 介紹：重點部件

...024)） - What is L2 and what is ZK-Rollups - What is StarkNet and what is Cairo VM ### TL;DR Kakarot 是一個 type 2.5 zkEVM，架設在 Cairo VM 上（沒錯，就是 VM 架在 VM 上）。Kakarot 以 Cairo 語言重新實作了 EVM 中的 opcodes 和 precompiles，讓 EVM 上能執行的程式...

文章 2024-07-28 zk-insights Weekly

...# Zero-Knowledge Learning Path: Introduction. - ### Bitcoin Script VM in Cairo shinigami is a library enabling Bitcoin Script VM execution in Cairo, thus allowing the generation of STARK proofs of generic Bitcoin Script computation. shinigami是一个可以在 Cairo 中执行比特币脚本虚拟...

文章 StarkNet 组成部分、工作原理与网络延迟

...的区块创建计划。为了让排序器确认交易，它必须使用 Cairo 操作系统来执行交易，这是 EVM 的替代品，用于用 Cairo 编写的智能合约。 ### 证明者 证明者负责生成一个加密证明，以证明排序器在通过执行新区块中包含的交易...

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

...约对比器](https://etherscan.io/contractdiffchecker) * [Starkware 在 Cairo 教程中的投票 app 可以改造成签名聚合器](https://www.cairo-lang.org/from-voting-to-trustless-eth-bridges-via-signature-aggregation/) ## 安全事件 * Cryptopunks [因缺乏前端保护而遭遇抢跑...

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

文章 探索 zk(E)vm

...想上和前面几个团队的大概一致。在一些细节上，借鉴了cairo里的概念，比如virual column，read-only memory，跟多的细节可以直接阅读原论文. ### Cairo-VM 因为不是对EVM的兼容，所以： 1. 输入是solidity的bytecode 输入是汇编程序或...

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

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

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

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

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

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

文章 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 影响力日益...

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