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

Sei面向未来的代币经济学

本文介绍了 Sei 区块链及其 SEI 代币的分配机制。Sei 是一个为优化数字资产交易而设计的 Layer 1 区块链，具有高性能和低延迟的特点。SEI 代币在网络中发挥多种作用，包括支付交易费用、参与质押和治理，以及作为抵押品。
Sei  SEI代币  Layer 1区块链  代币分配  质押奖励  治理 

Solidity 如何实现质押和奖励合约

in  DEFI 协议解析
本文循序渐进实现了 3 个合约：1. 简单质押奖励，重点介绍如何计算奖励的？ 2. 代币化质押奖励，提高质押流动性； 3. ERC4626 代币化金库， 将质押存入到金库中。
ERC4626  质押  Solidity  智能合约 

针对 ERC4626 通货膨胀攻击的新型防御措施

本文详细解析了 ERC4626 代币库的工作原理及其安全隐患，特别是通货膨胀攻击的机制及其对初始存款用户的影响，并讨论了若干缓解策略，如使用 ERC4626 路由器、内部资产跟踪以及创建“死牌”的方法，以提升安全性。文章最后提供了关于实施安全性和保护用户资产的建议。
ERC4626  通货膨胀攻击  代币库  安全性  缓解策略  智能合约 

如何使用 Artemis MEV 框架

本文介绍了 Paradigm 出品的 Artemis MEV 框架，该框架使用 Rust 语言编写，旨在帮助 MEV 搜索者更轻松地编写 MEV 机器人。文章详细说明了 Artemis 的架构，包括 Collectors、Strategies 和 Executors 三个主要组件，并提供了使用 Artemis 构建 MEV 机器人的步骤和建议。
MEV  Artemis  Rust语言  以太坊  MEV机器人  交易 
  • mteam88
  • 发布于 2023-08-16
  • 阅读 ( 188 )

交易包的交易池把关规则

in  BTCStudy 精选
我正在提议改变 Bitcoin Core 的一组交易池规则（policy，策略），以开启基于交易包的交易池验证（作为 “交易包转发” 特性的准备工作）。这不是共识层的改变，也不是 P2P 协议层的改变。但是，因为交易池规则将极大地影响交易的传播，所以我认为在邮件组里公开也是有意义的。
交易池 

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

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

Web3 极客日报 #1290

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

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

编者按：Vyper被黑的时间线和反思从审计的角度重现并提醒开发者注意考虑项目的依赖，本文从开发的角度深度分析并总结了这次漏洞的前因后果
Vyper  安全事件分析  重入锁 
  • aisiji
  • 发布于 2023-08-15
  • 阅读 ( 3746 )
  • ( 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年间发生的一场关于比特币区块链区块大小的争论。
比特币现金  区块结构  中本聪共识  比特币分叉 

Kwil 扩展- 重新定义去中心化数据库的未来

in  Arweave 技术专栏
Kwil 扩展以其创新力量，在去中心化数据库领域开创了崭新的局面。该项突破性技术为开发者们提供了更加广阔的创新舞台。

下一代互联网 Permaweb 雏型，SCP 理论下的去中心化微服务架构

in  Arweave 技术专栏
Permaweb 具有 Severless 的特性，开发者在构建的过程中不需要自行部署前端和后端，开发的所有服务都将由 Permaweb 的基础服务层提供。

意图 - 超越交易

本文深入探讨了意图（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
  • 阅读 ( 3277 )
  • ( 4 )

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

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