找到约 14 条结果

文章 2024-09-08 zk-insights Weekly

...i shinigami is a Bitcoin Script library for generic Script VM execution in Cairo, enabling the generation of STARK proofs for Bitcoin Script computation and Bitcoin transaction execution. - - ### Ente Fully open source, End to End Encrypted alternative to Google Photos and Apple Photos - ### No...

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

文章 各 Rollup 解决方案的权衡研究

...atus/1349780683758194702?fileGuid=9hhKcdCvwPrpcy8q)；Starkware 推出了 [Cairo 工具链](https://medium.com/starkware/cairo-welcome-on-board-1cf3487554f?fileGuid=9hhKcdCvwPrpcy8q)，方便开发者使用零知识证明技术。我们看到 rollup 技术有了很多突破，包括 Aztec 和 ZkSync...

文章 ZK-SNARKs中的算术化

...高级编程语言的专用编译器，以及零知识虚拟机，例如 CAIRO。 下面我们将介绍最流行的方案，R1CS、AIR 和 plonkish 算术化。 ## **R1CS** 算术电路可以表示为（二次）秩一约束系统（R1CS）。这些方程组中每个方程中的每个变量至...

文章 以太坊主流 L2 方案回顾与展望

... 2022 年 1 月引入。 StarkWare 创建了一种特定的编程语言 Cairo 来运行由 STARKs 支持的自主型程序。StarkWare 团队现在正与 Nethermind 团队合作创建代码转译器 Warp，来将 Solidity 智能合约无缝转换为 Cairo，以便使其与 EVM 兼容。因此，...

文章 什么是比特币 Rollups？

... 验证器整合到比特币 L1 中。 ZeroSync 是使用 StarkWare 的 Cairo 编程语言构建的，这是以太坊 Rollup 研究渗透到比特币 Rollup 中的另一个例子。[StarkWare](https://starkware.co/) 是一家在以太坊生态系统中开发零知识技术的公司，ZeroSync 是...

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

...//medium.com/nethermind-eth/helm-warp-one-engage-8526233780c4) (Solidity - Cairo 转换器): 第一个主线版本，用 Solidity 编写测试。 * StarkNet Prover 代码 [许可讨论](https://community.starknet.io/t/starknet-prover-code-license/371) ## 开发者资料 * [Forge](https://w.mi...

文章 每周以太坊进展 2021/06/19

...a-on-ropsten-e7494929cb95)：登陆 Ropsten 测试网，智能合约使用 Cairo 重写 * [雷电网络轻客户端](https://raiden-network.medium.com/announcing-the-raiden-light-client-ashvini-release-60d2a66b0d4)：Typescript 实现，运行在一个可启用以太坊节点的浏览器里 ## ...

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

文章 Vitalik: ZK-EVM 封装到以太坊 L1 会怎样？

....io/stylus/stylus-gentle-introduction)的 WASM 支持以及 SNARK-friendly Cairo（https://www.cairo-lang.org/）语言等完全不同的方法。 - **面向用户和开发者的便利性** ：Layer2 团队致力于吸引用户和项目进入其生态系统并使其感到受欢迎；他们通过...

文章 ZK技术的历史发展脉络梳理

...机中是正确执行的即可。 TinyRAM中的一些想法后来在Cairo虚拟机的设计中得到了改进，随后又有了zk-evm和通用zkvm等。在证明系统中使用抗碰撞的哈希函数消除了对可信设置或椭圆曲线操作的需求，但代价是证明时间更长。 ...

文章 2023：L2 赛道爆发前夕，浅析各类 zkEVM

...码（比如 Starkware 使用 Warp 编译器将 Solidity 代码转换为 Cairo 字节码；zkSync 通过 LLVM 编译器将 Solidity 代码转换为其自定义的虚拟机可执行的代码 LLVM-IR）进行编译，并在它们自定义的环境中（比如 Starknet 的 Cairo VM 和 zkSync 的 Sync ...

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

...的引入将分阶段进行。 10 月 27 日，StarkEx 的开发语言 Cairo 官方推特 [@CairoLang](https://twitter.com/CairoLang) 宣布首个 StarkNet Proof 在主网上运行。但值得注意的是，这个 proof 只是一个初步的测试，还有一个月才能在主网上部署 StarkNe...