找到约 13 条结果

文章 ZK约束系统的形式化验证

...明](https://github.com/starkware-libs/formal-proofs) 以检查表示为 Cairo 程序的电路是否符合其规范。 Anoma 团队正在开发 [Juvix 语言](https://github.com/anoma/juvix)，作为创建比现有语言更健壮和可靠的，经过形式化验证的智能合约替代方案的第...

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

文章 OpenBuild 开发者内容输出激励及个人品牌计划

...ect、跨链桥、Remix、Snapshot、 **Starknet 生态：** Cairo 编程、全链游戏、Volition、Sequencer、原生 AA、StarkEx  **Solana 生态：** Rust 编程、Solana 合约开发、SPL 、 账户模型、 **密码学与零知识证明：** 椭...

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

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

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

文章 隐藏费用的终结？区块链对改变你的支付方式的尝试

...### 如果你需要帮助合作： - 智能合约审计（Solidity, Rust, Cairo） - 高级安全测试套件（模糊测试、不变性测试 + 形式化验证） - 智能合约开发 - Web2渗透测试 [https://github.com/ZealynxSecurity](https://github.com/ZealynxSecurity) [https://x.com/Zealy...

文章 ZK-SNARKs中的算术化

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

文章 ZK-Rollup项目：完整指南

...，发送交易或与智能合约交互。” StarkNet 智能合约是用 Cairo 编写的（像以太坊和 Solidity），这允许 STARK 的优化和可扩展性。但是，正在开发从 Solidity 和其他语言到 Cairo 的 transpiler，以便更快地部署。 Starkware 是 Starknet 和 Stark...

文章 Vitalik: 简化以太坊 L1

...pt.com/share/680723a0-f7e4-8012-9ac6-86e7f3bbede0)。替代方案（例如 Cairo）同样简单。 * **所有激励 EOF 的好处**（例如，代码段、更静态的分析友好性、更大的代码大小限制） * **开发人员的更多选择**：Solidity 和 Vyper 可以添加后端以编译...

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

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

文章 什么是比特币 Rollups？

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

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

文章 ROP-4：在PEPC框架中“重写”原生IP-PBS

...T：无需更改共识协议的 PEPC \\ 感谢 Barnabé Monnot、Xyn Sun、Cairo、Mike Neuder、William X、Pranav Garimidi 以及其他许多人为这个想法的整个开发过程提供了富有洞察力的讨论。 tl;dr：我引入了一种新颖的机制，用于在以太坊中强制执行提...