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

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

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

Web3 极客日报 #1290

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

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

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

Eddy Finance 介绍：打破壁垒，连接链条

Eddy Finance 是一个构建在 ZetaChain 上的去中心化交易所（DEX），旨在简化跨链资产转移，特别是 BTC 和 EVM 网络之间的资产转移。它通过 Omnichain 智能合约整合原生资产和稳定币，降低了与封装资产相关的风险，并优化了交易成本和滑点。该协议旨在让比特币用户更容易地参与 DeFi，并为用户提供无缝的跨链体验。
去中心化交易所  跨链互操作性  ZetaChain  Omnichain 智能合约  原生资产  比特币 

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

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

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

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

意图 - 超越交易

本文深入探讨了意图（Intents）在加密领域中的新兴动态，分析了意图对账户抽象、存储证明、Rollup 等关键组件的影响，并阐述了意图如何重塑用户体验、交易效率和设计，以及中心化与去中心化之间的平衡。同时，文章还介绍了多个正在利用意图构建独特解决方案的项目，例如 Essential, Anoma, SUAVE 等。
意图  账户抽象  存储证明  Rollup  MEV  UniswapX 

你是否能通过 Rekt 测试？

Rekt Test 是由 Web3 安全专家创建的，旨在帮助区块链开发者客观评估其安全状况和衡量进展的简单测试，该测试通过12个问题，涵盖了角色权限文档、外部依赖文档、事件响应计划、攻击方式记录、身份验证、安全负责人、硬件密钥、密钥管理、不变量测试、自动化工具、外部审计与漏洞披露、用户滥用防范等方面。旨在促进区块链社区对安全问题的有意义的讨论。
区块链安全  安全测试  Rekt Test  漏洞  威胁建模  密钥管理 

链上游戏的开放问题

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

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

B站梁培利老师《区块链金融》课程笔记 完整笔记请查看 Notion 链接：https://dune-marten-78b.notion.site/85b1d29c86344112a886fcfb2ea1c44c?pvs=4
稳定币 
  • 0xHowe
  • 发布于 2023-08-15
  • 阅读 ( 3914 )
  • ( 4 )

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

L2 赛道爆发前夕，浅析各类 zkEVM
zkEVM  Taiko 
  • 0xRJ.eth
  • 发布于 2023-08-14
  • 阅读 ( 4081 )
  • ( 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
  • 阅读 ( 1223 )

Web3 极客日报 #1289

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

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
  • 阅读 ( 1628 )

关于智能合约市场的想法

作者计划创建一个名为Quarry的智能合约市场，旨在解决token发行者在获取安全、高质量的ERC20 token合约时面临的难题，如合约验证、时间消耗、成本过高、开发者分成、合约重复创建以及难以找到可信的开发者等问题。通过智能合约市场，提供快速、安全的token合约访问途径。
ERC20  智能合约  Token  Solidity语言  智能合约市场  Quarry 
  • mteam88
  • 发布于 2023-08-13
  • 阅读 ( 487 )