找到约 12 条结果

文章 AMO-Lean：在 Lean 4 中通过等式饱和实现形式验证优化

...。 | 组件 | 状态 | | --- | --- | | 单个重写规则 (E-Graph) | 19/20 经过形式验证（模块中 0 个 sorry） | | 标量重写器正确性 | 经过形式证明 (`simplify_sound`, 将 `rewriteToFixpoint_sound` 与 `algebraicRules_sound` 组合) | | E-Graph 组合正确性 | 有效的非...

文章 探索 Avail 快速扩张的生态系统

...够触达互联网的每个角落。  软件工程师正在利用这种前沿技术堆栈来构建新一代的区块链。生态系统中的构建者将在 Avail DA 主网上线或稍后进行部署。 以下是对已经加入...

文章 通过ℓ₂-范数检查实现更高效的格折叠

...“折叠”与“格点”联系起来。](https://img.learnblockchain.cn/2025/11/26/header-folding-2.png) ## 通过 ℓ₂ 范数检查实现更高效的格点折叠 **通过用 Rok and Roll [\[KLNO25\]](https://www.osdnk.me/blog/l2-folding-scheme#KLNO25) 和 SALSAA [\[KLOT25\]](https://w...

文章 SharkTeam：2023年加密货币犯罪分析报告

2023年，Web3行业共经历了940多起大大小小的安全事件，同比2022年增长了超过50%，损失金额达到17.9亿美元。其中，第三季度发生的安全事件最多（360起），损失最大（7.4亿美元），损失同比2022年增长了47%。特别是7月份，共发生187...

文章 比特币 - bips/bip-tap.mediawiki，位于Roasbeef/bips - Roasbeef

...mments-URI: https://git Status: Draft Type: Standards Track Created: 2021-12-10 License: BSD-2-Clause ``` | | | --- | | ## Table of Contents[Permalink: Table of Contents](https://github.com/Roasbeef/bips/blob/bip-tap/bip-tap.mediawiki#table-of-contents)- [Abstract](https://github.com/R...

文章 数据可用性层如何塑造区块链的未来

...性层如何塑造区块链的未来**  作者：火币区块链应用研究院研究员 Barry Jiang **摘要** 随着区块链生态系统的发展，使用以太坊的成本一直居高不下。扩展解决方案 Rollup ...

文章 REVM源码阅读- Interpreter(2)

...a5cf#code 副合约:https://etherscan.io/address/0x0fb8f3bae4005f8ee539c20e6273b2aac25e5ad2#code ## 网站介绍  1. 每次 `Call` 和 `Create` 都会创建一个 `Frame`.这里就是对应...

文章 格密码学基础（一）：前言

...的密码学的量子计算机的研究迅速增加[Sho97],格密码学在2010年代初获得了进一步的进展势头。在2010年代中期,各种改进和增强(例如[GLP12, BG14, DLP14, LS15, DP16, ADPS16])使得格构造从仅仅是渐近高效发展到具有真正实用的实例化。到2017...

文章 【上篇】ProtoStar from scratch

...的一张图：  - ProtoStar 论文中最核心、最具创新的应该就是3.5 章节，其它部分基本都是对整个folding scheme 的抽象，如果读完还是不知道3.5 章节的compress verific...

文章 Web3系列教程之进阶篇---11. The Graph索引协议

 [The Graph](https://thegraph.com/) 是区块链的一个去中心化的查询协议和索引服务。它允许开发人员轻松地跟踪各种网络上的智能合约所发出的事件，并编写定制的数据转换脚...

文章 访问控制 - OpenZeppelin 文档

...ort "@openzeppelin/contracts/access/IAccessControl.sol"; ``` 为了支持 ERC-165 检测而声明的 AccessControl 的外部接口。 函数 - [`hasRole(role, account)`](https://docs.openzeppelin.com/contracts/5.x/api/access#IAccessControl-hasRole-bytes32-address-) - [`getRoleAdmin(role)`](https...

文章 具有缓和发行机制的奖励曲线：EIP研究帖 - 权益证明 / 经济学

...对更小，反之亦然。 [\\ Figure 11920×1141 93.9 KB](https://ethresear.ch/uploads/default/original/2X/f/f51b3a319616300c3c6246c18d0a8cba7f26042d.jpeg "Figure 1") **图 1.** 使用假设...