...### 如果你需要帮助合作： - 智能合约审计（Solidity, Rust, Cairo） - 高级安全测试套件（模糊测试、不变性测试 + 形式化验证） - 智能合约开发 - Web2渗透测试 [https://github.com/ZealynxSecurity](https://github.com/ZealynxSecurity) [https://x.com/Zealy...
... 2022 年 1 月引入。 StarkWare 创建了一种特定的编程语言 Cairo 来运行由 STARKs 支持的自主型程序。StarkWare 团队现在正与 Nethermind 团队合作创建代码转译器 Warp，来将 Solidity 智能合约无缝转换为 Cairo，以便使其与 EVM 兼容。因此，...
... 验证器整合到比特币 L1 中。 ZeroSync 是使用 StarkWare 的 Cairo 编程语言构建的，这是以太坊 Rollup 研究渗透到比特币 Rollup 中的另一个例子。[StarkWare](https://starkware.co/) 是一家在以太坊生态系统中开发零知识技术的公司，ZeroSync 是...
...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...
...T：无需更改共识协议的 PEPC \\ 感谢 Barnabé Monnot、Xyn Sun、Cairo、Mike Neuder、William X、Pranav Garimidi 以及其他许多人为这个想法的整个开发过程提供了富有洞察力的讨论。 tl;dr：我引入了一种新颖的机制，用于在以太坊中强制执行提...
...效的 zk-VM 实现优化高级语言。 此类 zk-VM 的示例包括：Cairo zk-VM（与 Cairo 语言绑定）、Lurk zk-VM（与 Lurk 语言绑定）和 Polygon zk-EVM（与 Solidity 绑定）。 **支持多种通用高级语言的优势** 或者，某些 zk-VM 项目支持多种通用高级语...
....io/stylus/stylus-gentle-introduction)的 WASM 支持以及 SNARK-friendly Cairo（https://www.cairo-lang.org/）语言等完全不同的方法。 - **面向用户和开发者的便利性** ：Layer2 团队致力于吸引用户和项目进入其生态系统并使其感到受欢迎；他们通过...
...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 证明生成聚合证明...
...//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...
...m** → **Starknet** 技术堆栈 → OP Stack（EVM 原生） → 基于 Cairo 的 ZK-STARK rollup 治理 → 通过 OP 代币和公民 Onchain → 中心化（StarkWare 管理） 公共物品融资 → 是（RetroPGF） → 有限的生态系统赠款 代码库许可 → MIT 许可 → StarkWa...
...机中是正确执行的即可。 TinyRAM中的一些想法后来在Cairo虚拟机的设计中得到了改进，随后又有了zk-evm和通用zkvm等。在证明系统中使用抗碰撞的哈希函数消除了对可信设置或椭圆曲线操作的需求，但代价是证明时间更长。 ...
...码（比如 Starkware 使用 Warp 编译器将 Solidity 代码转换为 Cairo 字节码；zkSync 通过 LLVM 编译器将 Solidity 代码转换为其自定义的虚拟机可执行的代码 LLVM-IR）进行编译，并在它们自定义的环境中（比如 Starknet 的 Cairo VM 和 zkSync 的 Sync ...