找到约 13 条结果

文章 Lookup奇点降临：Lasso 和 Jolt 简介

...路和相应的更快的证明者。这是特别简单的 zkVM（例如 [Cairo VM](https://eprint.iacr.org/2021/1063)）背后的指导动机，它们是专门为 SNARK 友好而设计的。 事实上，对于更简单的虚拟机，Jolt 为证明者实现了比之前的 SNARK 更低的承诺开...

文章 zkEVM：以太坊可扩展性的未来

...于以太坊的交易。这得益于 Starkware 团队创建的一种名为 Cairo 的自定义编程语言。然而，最近，在 2022 年 7 月，三个不同的基于以太坊的 L2 协议——zkSync、Polygon 和 Scroll——宣布了利用 ZKP 以 zkEVM 的形式扩展以太坊的突破。 ...

文章 Madara 快速入门

...ra 是一个开放源代码 Rollup 堆栈，让开发者快速构建基于 Cairo 和 Starknet 技术驱动的应用链。 本指南将带你快速而轻松地启动和部署合约的Madara节点。让我们开始吧！ ## 必需软件 请确保已安装以下软件 * [rust](https://rus...

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

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

文章 安比实验室创始人郭宇：ZK 技术的学习心得和经验分享

... Golang 写的，上手更简单一些。最后，还有 zkSNARK 社区的 Cairo，虽然我自己没有写过 Cairo，但我已经看到不少人已经成功启动了，所以我认为 Cairo 的效果应该是不错的。 关于代码围绕什么去写，我认为可以基于 KZG 多样式...

文章 Vitalik：5 种不同类型的 ZK-EVM

...ations）、Nicolas Liochon 等人的团队‌、从 EVM 到 Starkware 的 Cairo 语言的 alpha 编译器‌也在不断努力，当然，还有一些是我错过的。 所有这些项目的核心目标都是相同的：使用 [ZK-SNARK 技术](https://learnblockchain.cn/article/1662)来制作...

文章 430亿美元的身份盗窃问题：区块链如何保护你的财富

...需要帮助，欢迎合作：** - 智能合约审计（Solidity, Rust, Cairo） - 高级安全测试套件（模糊测试、Invariant测试 + 形式验证） - 智能合约开发 - Web2渗透测试 [https://github.com/ZealynxSecurity](https://github.com/ZealynxSecurity) [https://x.com/ZealynxSec...

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