...证？ 传统的测试是基于示例的。你可能会测试存入 100 APT（Aptos 的原生代币）并提取 50 APT，但 **边缘** 情况呢，比如 u64::MAX，单个 **八进制** 的余额，或者 1,000 笔同时进行的 **提取**？ 形式化验证尝试证明所有可能输入的属...
关于 Nathan Schneider 对加密经济学局限性的看法 Nathan Schneider 最近发布了[一篇文章](https://osf.io/wzf85/?view_only=a10581ae9a804aa197ac39ebbba05766)，描述了他对加密经济学的看法，特别是对加密经济学治理方法的局限性，以及如何对其进行...
## Gelato 的账户抽象指南：从 ERC4337 到 EIP7702 ### 概述 (TL;DR) 本指南揭秘了账户抽象，从 ERC-4337 到 EIP-7702，涵盖以下主要部分： **账户抽象简介** - 传统 EOA 有哪些局限性？ - 账户抽象如何改善用户体验？ **理解 ERC-43...
> * 原文链接： https://secureum.substack.com/p/audit-techniques-and-tools-101 > * 译文出自：[登链翻译计划](https://github.com/lbc-team/Pioneer) > * 译者：[翻译小组](https://learnblockchain.cn/people/412) 校对：[Tiny 熊](https://learnblockchain.cn/people/15) > * 本文...
...：更好的用户体验，隐藏的风险 ERC-4337 支付大师通过 Gas 成本的抽象化，释放了强大的用户体验，但它们也增加了复杂性和潜在的 Bug。探索实际实现中的一些常见陷阱，并学习如何设计可用于生产的支付大师。 2018年游戏产业的收入超过了电影、电视和音乐等娱乐媒体，其发展势如破竹。娱乐软件协会（ESA）预测有[2.27亿](https://www.theesa.com/wp-content/uploa...
本期我们将会回顾： 1、社交协议Relation启动第一季空投 2、隐私跨链协议Webb Protocol融资700万美元 3、CyberConnect通过CoinList Token公售完成540万美元融资 4、Polygon zkEVM TVL上周涨幅达70%，创历史新高 5、Web3 API平台Airstack完成700万...
...会在本文中进行覆盖，特别是那些存在于以太坊之上的 alt-VM Rollup 将不予覆盖（原因稍后会详细说明）。 在了解这些背景后，让我们概述本文将涵盖的一些主题： 1. **定义区块链** : 对区块链系统基础知识的简要概述，这...
将持续发布关于Uniswap V4的系列文章。本系列从全面的代码分析开始，逐步深入探讨V4的前景和局限性等方面。文章开始前，笔者声明与Uniswap没有任何关联。_  **Unisw...
...议在过去几年中稳步开发和完善了他们的产品。 - The Graph 就是这些项目的一个典型例子。作为数据索引/查询基础设施，The Graph 在过去三年中为各种应用程序和区块链提供了数据查询和索引服务。这是一个令人鼓舞的案例，因...
 ## 简介 现代借贷的轮廓中，缺少一个最重要的项目 - Aave，无法算完整。Aave 是一个顶级的借贷协议，拥有最高的 TVL，经过完全验证的安全性和有效性。Aave V2 是我们 DeFi 教育课程中...
# ZKEVM \[TOC\] ## 链接 - 状态证明探索：https://hackmd.io/Nwd0e5AgTVSBWRQlp-Ving - 状态电路规范：https://hackmd.io/oJT1kJjvQYWQlKZ1JEtmMQ - 电路实现：https://github.com/appliedzkp/zkevm-circuits - 测试向量：https://github.com/appliedzkp/zkevm-testing-vectors ## 介绍 ...