>- 原文链接:https://blog.yacademy.dev/2024-09-09-security-notes-erc4337/# >- 译者:[AI翻译官](https://learnblockchain.cn/people/19584),校对:[翻译小组](https://learnblockchain.cn/people/412) >- 本文永久链接:[learnblockchain.cn/article…](https://learnblockchain.cn/art...
# 形式化验证与测试 形式化验证——使用数学方法“检查”一个程序或智能合约在任意输入下的过程——通常被视为编写高质量、更安全代码的传统测试更简明、全面的替代方案。但实际上,形式化验证是一个开放式和互动的...
由 [Alchemy](https://www.alchemy.com/author/alchemy) 撰写  由 [Brady Werkheiser](https://www.alchemy.com/author/brady-werkheiser) 审核 发布于 2022 年 3 月 9 日,阅读时间 3 分钟 * * * ...
## 简介 AAVE v2版本相较于v1版本新增了两个重要变化: - aToken变为可升级token - 债务token - flash loan V2 针对债务Token: 用户的债务以债务Token的形式存在,而不是之前的内部记账,好处有: 1. 代码简化 - 用户的债务生成...
## 使用 Zama 的 fhEVM 构建用于代币销售的链上保密单一价格拍卖,采用密封投标 Zama 的 fhEVM 的可编程隐私功能对于金融和代币应用尤其有用,例如代币销售拍卖,其中参与者的决策受到其他人的影响。保密拍卖是 [Zama 赏金计...
## 我在加密世界的一些个人体验 我在加密世界的一些个人体验 **译者:wonder @[GreenPill CN](https://twitter.com/GreenpillCN)** **原文:[Some personal user experiences](https://learnblockchain.cn/article/12651)** ## 我在加密世界的一些个人体验 **2...
> 编者注:本文为 Vitalik 于 2020 年 10 月 19 日在以太坊研究者论坛上发表的帖子,提议了他所设想的 Eth1 如何转换成分片化信标链的子系统的过程,并解释了开发者、用户对这个过程会有什么知觉。确切来说,这并不是一个针对 E...
# 什么是 Ordinals 铭文  Ordinals 由开发者 Casey Rodarmor 于 2023年1月20日 在比特币主网上推出针对「聪(Satoshis)」的排序协议,其中「...
**Succinct 正在通过一种新的 ZK 原语:SP1-Contract-Call (SP1-CC) 来增强 EVM。借助 SP1-CC,开发者可以获得一个 ZK 协处理器,它使以太坊比以往任何时候都更具特性完备性和可编程性,超越了 EVM 的限制。** EVM 是应用最广泛的智能合约...
# **利用**[Chainlink VRF](https://docs.chain.link/vrf#overview) 实现100 Token抽奖:从名单中随机选出幸运得主的完整指南 在区块链应用中,公平和不可预测的随机性是实现透明抽奖和激励机制的关键。Chainlink VRF(可验证随机函数)为智能...
 ## 第一部分:Starknet 主权:一项去中心化提案 关于新的专用 Starknet Token 背后的完整理由,请见我们的[第二篇文章](https://medium.com/@starkware/part-2-a-decentralization-and-governance...
 ## 使用 LayerZero V2 部署 Omnichain Token ### OFT 简介 **Omnichain Fungible Tokens**(OFTs) 是一种由[**LayerZero**](https://layerzero.network/)首创的用于跨链资产的新 token 标准。OFT 允许可...
如果你是以太坊上的活跃用户,那么你大概率会持有一些 (ERC 20)代币,用来与以太坊生态中的各种 DeFi 项目进行交互。但是,这么做的前提是[你必须持有 ETH](https://learnblockchain.cn/2019/06/11/gas-mean),因为 ERC 20 代币无法用来支付...
## **I — 背景** 我们的目标是评估 **Arbitrum Stylus** 相比 **以太坊虚拟机** (EVM),在智能合约性能上有哪些提升。 为了实现这个目标,我们建议使用**中心化限价订单簿**(CLOB)产品作为案例。 这是一个真实的例子,需要**大量的...