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

Lighthouse 的 Attestation 聚合与打包优化项目

Lighthouse 客户端的 Attestation 打包优化项目旨在提高区块提议者的奖励。该项目将实现一个最优的 Attestation 打包算法，通过 Bron-Kerbosch 算法进行聚合，并采用改进的最大覆盖算法进行打包，最终目标是在生产环境中默认运行最优的 Attestation 打包实现，或者为高性能机器提供可通过命令行开启的优化方案，并为计算能力受限的设备提供更好的解决方案。
Attestation 证明  Lighthouse客户端  Bron-Kerbosch算法  最大覆盖问题  区块提议者  聚合 

Web3 极客日报 #1291

Web3 极客日报 #1291
  • rebase
  • 发布于 2023-08-16
  • 阅读 ( 1419 )

Michael.W基于Foundry精读Openzeppelin第28期——ConditionalEscrow.sol

in  Michael.W基于Foundry精读Openzeppelin
ConditionalEscrow合约继承了Escrow合约，是其的一种功能拓展。ConditionalEscrow的框架中提供设置可withdraw条件，并且只有在满足该条件时才允许owner为对应payee提取eth。
OpenZeppelin  Foundry 

索引方式更新！Chainbase 推出云托管 Subgraph 子图

在 Chainbase 中，您只需要登录并部署带有索引器的 Subgraph，可以在几分钟内就检索数据集。
subgraph  The Graph  数据分析 

Solana 开发 101 - 文件系统钱包 + 如何创建自定义钱包

本文介绍了Solana的文件系统钱包，包括其定义、创建方法和使用方式。文中提供了详细的步骤和命令示例，强调用户对私钥的控制和安全性。此外，文章还讲解了如何生成特定字符开头的自定义钱包地址。整体内容结构清晰，适合开发者学习和实践。
Solana  文件系统钱包  密钥对  钱包地址  Solana-CLI  JavaScript SDK 
  • Helius
  • 发布于 2023-08-16
  • 阅读 ( 830 )

Ambient：提升自动做市商的效率

本文深入探讨了自动做市商（AMM）的基础，重点介绍了Ambient这一基于以太坊的创新单例AMM。文章分析了AMM如何在去中心化金融（DeFi）中运作，并阐明了Ambient通过降低交易费用、提高资本效率及实施动态费用等机制，为流动性提供者（LP）和交易者创造了优势，从而推动DeFi的可持续性和更广泛的采用。
AMM  DeFi  流动性提供者  单例AMM  交易费用  动态费用 

跨链桥的常见漏洞

本文深入探讨了Web3中跨链桥面临的安全挑战，剖析了Poly Network、Ronin Network、Harmony Bridge、BNB Bridge、Wormhole、Nomad Bridge和Qubit Finance等多个桥被攻击的案例。通过分析这些案例，揭示了不安全外部调用、私钥泄露、加密攻击和零值利用等常见漏洞，强调了审计和漏洞赏金计划在预防攻击中的重要性。
跨链桥  安全漏洞  智能合约  私钥安全  加密攻击  多重签名 

【使用go开发区块链】之获取链上数据（04）

in  使用go开发区块链应用
上一篇文章，我们完成了go连接区块链的操作，本章我们将要完成获取链上数据，并持久化到数据库的功能开发
Geth  Web3  区块链 

交易包的交易池把关规则

Gloria Zhao 提议修改 Bitcoin Core 的交易池规则，以实现基于交易包的交易池验证，为交易包转发特性做准备。提案允许包含多笔父交易和一笔子交易的交易包在网络中传播，旨在优化手续费追加机制，提升交易处理效率，并详细解释了相关术语、规则变更及理由。
交易池  比特币  交易包转发  手续费追加  CPFP  RBF 

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

交易包的交易池把关规则

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

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

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

Web3 极客日报 #1290

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

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

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