全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

反编译Vyper程序以进行形式验证

本文介绍了Certora Verification工具包，旨在防止Vyper编程中的逻辑错误，特别是在DeFi应用中的重要性。文章详细阐述了Certora验证流程，分析了Vyper的内存处理对形式验证的挑战，并展示了如何利用该工具验证具体代码的有效性。通过引入高层次的内存结构解析和逻辑约束，该工具有效提高了代码验证的可扩展性。
Vyper  Certora  形式验证  智能合约  EVM  编程错误 
  • Certora
  • 发布于 2023-08-15
  • 阅读 ( 141 )

Web3 极客日报 #1290

Web3 极客日报 1290
  • rebase
  • 发布于 2023-08-15
  • 阅读 ( 1144 )

Vyper 不可重入锁漏洞事后分析技术报告

编者按：Vyper被黑的时间线和反思从审计的角度重现并提醒开发者注意考虑项目的依赖，本文从开发的角度深度分析并总结了这次漏洞的前因后果
Vyper  安全事件分析  重入锁 
  • aisiji
  • 发布于 2023-08-15
  • 阅读 ( 2856 )
  • ( 5 )

Michael.W基于Foundry精读Openzeppelin第27期——Escrow.sol

in  Michael.W基于Foundry精读Openzeppelin

Escrow合约是Openzeppelin中所有escrow拓展库的基础合约，用于为指定地址锁存eth和提取eth的托管场景。该合约中存入和取出eth的方法都被virtual修饰，开发者可以通过继承重写的方式来做相关修改。
OpenZeppelin  Foundry 

详解| 什么是比特币区块大小之战？

区块大小之战是2015年至2017年间发生的一场关于比特币区块链区块大小的争论。
比特币现金  区块结构  中本聪共识  比特币分叉 

链上游戏的开放问题

本文探讨了区块链与游戏交集的潜力，分析了完全链上游戏的设计、开放经济体和技术约束等问题，同时提出了构建成功链上游戏所需解决的关键挑战。文章强调，区块链为游戏开发带来了创新机遇，但伴随而来的技术与经济问题也必须迎刃而解。
链上游戏  开放经济  技术约束  用户生成内容  模块化设计 

去中心化金融笔记（一）—— 稳定币原理详解

B站梁培利老师《区块链金融》课程笔记 完整笔记请查看 Notion 链接：https://dune-marten-78b.notion.site/85b1d29c86344112a886fcfb2ea1c44c?pvs=4

稳定币 
  • 0xHowe
  • 发布于 2023-08-15
  • 阅读 ( 2276 )
  • ( 4 )

2023：L2 赛道爆发前夕，浅析各类 zkEVM

L2 赛道爆发前夕，浅析各类 zkEVM
zkEVM  Taiko 
  • 0xRJ.eth
  • 发布于 2023-08-14
  • 阅读 ( 3093 )
  • ( 20 )

Michael.W基于Foundry精读Openzeppelin第26期——ERC1820Implementer.sol

in  Michael.W基于Foundry精读Openzeppelin

ERC1820Implementer合约是对IERC1820Implementer interface的实现。该合约往往与ERC1820Registry合约配合使用。如果想要合约成为ERC1820Registry记录在案的implementer，需要目标合约继承ERC1820Implementer。
OpenZeppelin  Foundry 

每周以太坊进展 2023/8/12

每周以太坊进展 2023/8/12
每周以太坊 

全球公链周进展-2023/8/14

以太坊客户端 Geth v1.12.1版本发布，聚焦Cancun硬分叉；Holesky测试网预计将于9月15日启动；opBNB 测试网进行 PreContract 硬分叉；Cosmos Hub 将于 8 月 16 日进行 v11 升级
BNB Chain  Conflux 

什么是原子交换?

原子交换是一种让两个人在不依赖于中介来促成交易的情况下，在不同的区块链网络之间交换通证资产的方式。这为DeFi用户提供了一种在多链Web3生态系统中保持高度去中心化的方式。
跨链 

Solana智能合约的形式化验证

本文介绍了Solana合约的验证工具及其在SPL Token 2022中的应用，详述了Mint操作的正确性证明，展示了如何编写验证工具和预后条件，并总结了验证过程的步骤与结果。
Solana  SPL Token 2022  验证工具  Mint操作  Rust语言  合约安全 
  • Certora
  • 发布于 2023-08-14
  • 阅读 ( 202 )

Web3 极客日报 #1289

Web3 极客日报 1289
  • rebase
  • 发布于 2023-08-14
  • 阅读 ( 1319 )

Michael.W基于Foundry精读Openzeppelin第25期——IERC1820Registry.sol

in  Michael.W基于Foundry精读Openzeppelin

IERC1820Registry.sol是global ERC1820 Registry的接口文件。ERC1820 Registry旨在创建一个全网唯一的interface与对应implementer的查询中心。所有地址都可以在其中注册interface与对应implementer的关联关系。
OpenZeppelin  Foundry 

Web3 极客日报 #1288

Web3 极客日报 1288
  • rebase
  • 发布于 2023-08-13
  • 阅读 ( 1107 )

以太坊扩容：L2 详解

以太坊扩容：L2详解备注时间：2023年6月29日作者：33357正文以太坊扩容自从以太坊成为行业标准，其性能不足的问题就一直饱受诟病。其实扩展区块链性能无非就两条路：开源或者节流。所谓开源，就是提高区块链的吞吐能力，这方面目前主流的方案就是分片。但是以太坊的分片方案一直在
L2 
  • 33357
  • 发布于 2023-08-13
  • 阅读 ( 2953 )

Web3 极客日报 #1287

Web3 极客日报 1287
  • rebase
  • 发布于 2023-08-12
  • 阅读 ( 1115 )

数字货币的演变：DigiCash、E-gold、RPoW及中本聪之谜

本文探讨了数字货币的演变历程，包括DigiCash、E-gold和RPoW的兴衰及其对加密货币立足点的影响，特别是比特币的诞生及其背后的神秘人物中本聪。文章深入分析了这些早期项目所面临的挑战，以及它们对未来金融体系的长远影响。
数字货币  比特币  DigiCash  E-gold  RPoW  中本聪 

Michael.W基于Foundry精读Openzeppelin第24期——ERC165Storage.sol

in  Michael.W基于Foundry精读Openzeppelin

ERC165Storage合约是ERC165的一种拓展。IERC165的supportsInterface(bytes4)函数的标准实现方式是静态地将已实现接口的interface id硬编码到bytecode中，而ERC165Storage则可在合约部署后动态地添加支持的interface id。
OpenZeppelin  Foundry