找到约 15 条结果

文章 Circle STARKs:第四部分,圆的算术化

.../article/19337)中,我们描述了 Circle FFT 算法,它是一种 Cooley-Tukey 风格的算法,使我们能够在圆曲线上二元多项式的求值和系数表示之间移动。我们还定义了 Circle FFT 算法引起的基,以及圆曲线上二元多项式空间与 Circle FFT 插值多...

文章 关于Jet Protocol中的2000万美元漏洞

最近,[Charlie You](https://twitter.com/CharlieYouAI) 公开了 Jet Protocol 中的一个漏洞([查看推文](https://twitter.com/CharlieYouAI/status/1508842093514567687))。如果这个漏洞被利用,将导致 Jet 用户损失 2000 万美元的资金。幸运的是,Jet 在任何用户...

文章 PREP(可证明 Rootless EIP-7702代理)方法深入探讨

....io) 中所解释的那样,Nick 方法 - 由 [Vitalik Buterin](https://x.com/VitalikButerin?ref=blog.biconomy.io) 设想并由 [Nick Johnson](https://medium.com/@weka?ref=blog.biconomy.io) 首次实现,使得“无钥执行”成为可能。简而言之,Nick 方法利用 EVM 交易的 `from`...

文章 黑客偷了钱,所以Sui 就能抢吗?

...过别名机制(aliasing)与 whitelist 进行资金回收 * 5 月 26 日, Sui 启动链上治理投票,提议是否执行协议升级、将黑客资产转至托管地址 * 5 月 29 日,投票结果公布,超过 2/3 验证节点权重支持;协议升级准备执行 * 5 月 30...

文章 Tornado Cash是如何工作的?

...H 存入,池中有 12.5 万 ETH( [Tornado Cash 分析↗](https://dune.com/baaaaarkingdog/tornado-cash))。Tornado Cash 提供的功能是一把双刃剑:它提供强大的匿名性,使以太坊联合创始人 Vitalik Buterin 能够 [向乌克兰发送匿名资金↗](https://twitter.com/V...

视频 zkForge2025 - 如何入门零知识证明

视频 AI 总结: 该视频主要介绍了零知识证明(ZK)的概念、应用以及如何入门 ZK 技术。Vanishree 作为 Fermah 的创始人,分享了她对 ZK 领域的见解,强调了 ZK 在加密货币领域的重要性,并提供了学习和参与 ZK 项目的建议。她认为 ...

视频 ERC20 Permit 与 Permit2,离线签名在 Token 上的应用

...,合约验证签名后执行转账,减少了交易次数。 3. EIP-2612 定义了 ERC20 Permit 的标准。 4. Permit2 的作用:允许用户一次性授权给 Permit2 合约,之后任何协议都可以复用该授权,进一步减少了用户的授权次数。 5. Permit2 的优势:...

文章 Sunnyside Devnet更新 - 08/13

...-devnets/network-configs/devnet-ssl-8 at main · testin…](https://github.com/testinprod-io/fusaka-devnets/tree/main/network-configs/devnet-ssl-8) | #### 测试场景 | 场景 | Blob 吞吐量 | TX 吞吐量 | 带宽 | 仪表盘 | | --- | --- | --- | --- | --- | | 1. 基线 Blobs | a) 增...

视频 ZK白板系列 - 模块二:构建 SNARK

在本段视频中,讲解了如何构建一个简洁非交互式知识论证(SNARK)的基本组件和流程。视频的核心内容包括: 1. **SNARK的构建框架**:构建SNARK的过程主要结合了两种概念:功能承诺方案和交互式Oracle证明(IOP)。功能承诺方案...

文章 多项式承诺,正在重塑整个区块链

...较好理解的 KZG 多项式承诺,KZG 多项式承诺(KZG Polynomial Commitment)也被称为卡特多项式承诺方案,是 Kate,Zaverucha 和 Goldberg 一起发表的。在一个多项式方案中,证明者计算一个多项式的承诺,并可以在多项式的任意一点进行打...

文章 如何在NFT(ERC721)中获取随机数

...在以太坊区块链上构建一个[龙与地下城](https://dnd.wizards.com/)角色!D&D(Dungeons and Dragons)是一款流行的角色扮演游戏(RPG),人们在游戏中创建角色并进行冒险。创建角色的重要环节之一是给他们赋予属性或统计数据,以显示他们的...

视频 ZKP MOOC 第14课:ZKP 应用

在这段视频中,Yupeng Zhang 讨论了零知识证明(ZKP)在区块链和加密货币之外的应用,主要集中在机器学习、程序分析和中间盒(middlebox)等领域。 ### 核心内容概括 1. **机器学习中的应用**:ZKP可以确保机器学习模型的公平性...

视频 Solidity Gas 优化技巧 - 如何编写 Gas 高效的智能合约

视频 AI 总结: 该视频是一个 Solidity 优化入门教程,旨在帮助开发者构建优化智能合约的思维地图。视频强调了 Solidity 编译器基于栈的特性,以及优化需要从底层开始。优化就像冰山,从简单的存储打包开始,逐步深入到内联...

问题 交易哈希怎么用web3读取logs里面的信息,并且解码内容

IDE上链的时候打印内容是这样: ~~~ logs [ { "from": "0x7bd38c5056234e91A2C9C11960007147f24fB4DE", "topic": "0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef", "event": "Transfer", "args": { "0": "0x0000000000000000000000000000000000000000", "1":...

文章 Halo 及和更多:探索无需配对的增量验证与SNARKs技术

...9))、常规椭圆曲线(用于[内积论证(IPA)](https://twitter.com/VitalikButerin/status/1371844878968176647))和带配对及可信设置的椭圆曲线(用于[KZG承诺](https://dankradfeist.de/ethereum/2020/06/16/kate-polynomial-commitments.html))。这三种技术分别导致了...