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

如何使用 Halmos 编写符号测试

本文介绍了如何使用 Halmos 编写符号测试，符号测试与模糊测试类似但存在差异。文章详细讲解了编写符号测试的步骤，包括安装 Halmos、编写 setUp() 函数初始化合约状态、以及编写具体的符号测试，其中涵盖了声明符号输入、设定输入条件、调用目标合约以及检查输出状态，并强调了符号测试中需要注意的细节和与模糊测试的区别，例如使用 vm.assume() 替代 bound() 等。
符号测试  Halmos  模糊测试  Dapptools  Foundry  智能合约 
  • a16z__
  • 发布于 2024-12-08
  • 阅读 ( 9 )

sui-move基础（七）：letsmove-task6

sui-move基础（七）：letsmove-task6需求完成dapp-kit学习完成SuiSDK学习完成PTB的概念学习完成NaviProtocol学习在dapp-kit里面用chrome钱包签名提交完成必须在同一个PTB完成NaviSDK1.[存入N
Sui  Sui Move  DApp  教程 
  • clearsky
  • 发布于 2024-12-08
  • 阅读 ( 1283 )
  • ( 18 )

每周以太坊 2024/12/07

每周以太坊 2024/12/07
每周以太坊 
  • EthWeekly
  • 发布于 2024-12-08
  • 阅读 ( 5237 )
  • ( 35 )

实用指南: 查询比特币链上数据

本文介绍了如何利用Google BigQuery查询比特币区块链上的数据，包括每日交易数量、比特币总供应量以及计算coin hotness。文章还提供了具体的SQL查询示例，展示了如何从交易的输入和输出中提取信息，并分析UTXO的年龄，揭示比特币网络中的趋势。
比特币  区块链  BigQuery  SQL  UTXO  交易 

从 OpenZeppelin CLI 迁移 - OpenZeppelin 文档

本文档介绍了如何将项目从OpenZeppelin CLI迁移到OpenZeppelin Upgrades Plugins（适用于Truffle或Hardhat）。重点介绍了CLI和插件之间的主要区别，即插件允许开发者更灵活地管理代理合约，并提供了详细的迁移步骤和升级合约的示例。
OpenZeppelin CLI  OpenZeppelin Upgrades Plugins  Truffle  Hardhat  迁移  代理合约 

Radiant Capital 事件更新

2024年10月16日，Radiant Capital遭受了一次高度复杂的网络攻击，造成约5000万美元的损失。
Radiant Capital  网络攻击  恶意软件  DeFi  安全审计 

Espresso Sequencer

这篇文章详细介绍了Espresso Sequencer的设计原理与目标，强调其在去中心化Rollups中的重要性。文章探讨了当前以太坊Layer 2扩展解决方案中存在的问题，并提出Espresso Sequencer如何以高吞吐量和低延迟的方式支持Rollup的去中心化与互操作性，同时减轻MEV对用户的负面影响。
Espresso Sequencer  rollups  去中心化  MEV  以太坊扩展  共识协议 

PolterFinance协议攻击分析---预言机价格操纵

基本信息2024.11.17PolterFinance遭受预言机价格操纵攻击，损失约12Million美金。我对此攻击事件进行了梳理，分析了代码漏洞，文章结尾附上自己写的简易PoC。
智能合约安全  合约审计  预言机操纵 
  • 黑梨888
  • 发布于 2024-12-07
  • 阅读 ( 1472 )
  • ( 29 )

设计Espresso网络：将HotShot共识与Espresso的数据可用性层结合起来

本文深入探讨了Espresso网络的两个关键组件：HotShot共识协议和EspressoDA数据可用性层。文章分为三个部分，分别介绍了序列网络与状态机复制系统的区别、HotShot共识的安全性与效率要求，以及EspressoDA的三层解决方案，以提供高效的数据可用性保障，同时兼顾安全性。
Espresso网络  HotShot共识  数据可用性  区块链  安全性  效率 

Web3 极客日报 #1636

  • rebase
  • 发布于 2024-12-07
  • 阅读 ( 779 )
  • ( 9 )

move入门之集合(三) : Vector数据衍生类型VecMap深度分析

move入门之集合(三):Vector数据衍生类型VecMap深度分析🧑‍💻作者：gracecampo概述之前的文章中，我们学习了vector,vecSet两种常用的集合数据结构，此章我们通过对前两种数据结构的回顾以及对比，探究下vecSet这种集合类型。VecMap是什么？所属模
Move  Move 

SUI中的PTB编程入门

in  MOVE教程
SUI中的PTB编程入门🧑‍💻作者：gracecampo PTB定义PTB(BuildingProgrammableTransactionBlocks)的中文直译是可编程的事物块，这种描述对于sui新人来说很具备迷惑性。[官方释义]可编程交易块（PTB）是Sui
Move 

同槽L1→L2消息传递 - Layer 2

本文提出了一种协议，允许L2提议者选择性地将同一插槽中发出的L1消息直接注入到L2中，无需等待状态根导入。通过将此协议与L2→L1提款机制相结合，用户可以执行可组合的L1<>L2捆绑，例如从L1存入ETH，在L2上将其兑换为USDC，然后提取回L1，所有这些都在单个插槽内完成。
Rollup  L1  L2  消息传递  EVM  状态根 

代码检查器 - OpenZeppelin 文档

本文档介绍了OpenZeppelin Code Inspector，它是一个与Github集成的代码分析工具，通过机器学习和安全专家开发的工具自动进行代码分析，识别潜在漏洞并提出改进建议。
代码分析  漏洞  智能合约  GitHub  OpenZeppelin  安全 

Mina 作为参与实验室

这是一系列博文中的第三篇，探讨了Mina的治理如何从集体智慧中学习，集体智慧将人群大规模组织起来，以往往优于个人单独解决的方式解决复杂的公共问题。治理对于Mina协议的未来至关重要，以便在符合Mina社区愿望的同时有效地做出关键决策。这就提出了一个问题：Mina协议的治理应该如何
Mina  OpenBuild 
  • King
  • 发布于 2024-12-07
  • 阅读 ( 1132 )
  • ( 7 )

fhEVM 协处理器介绍：在以太坊、Base 和其他 EVM 链上运行 FHE 智能合约

Zama发布了fhEVM Coprocessor，这是一种允许开发者在任何EVM链上构建保密智能合约的工具，无需更改底层协议。它通过符号执行和阈值解密技术，实现了在加密数据上运行智能合约，同时保证了高性能和可扩展性，并提供了使用Solidity进行开发的简易性。
fhEVM  同态加密  智能合约  隐私  EVM  Solidity 
  • ZamaFHE
  • 发布于 2024-12-07
  • 阅读 ( 570 )

快速（和慢速）L2→L1提款 - Layer 2

该文章提出了一种快速提款方案，允许L2用户在相同的L1 slot内将代币从L2提款到L1。该方案依赖于“解算器(Solvers)”，解算器观察L2的提款请求，并在L1上提供解决方案。为了降低解算器的风险，提款解决方案取决于包含该提款请求的L2批次是否成功提交到L1。只有包含提款请求的状态根在L1上被证明后，解算器才能获得报酬。
L2提款  L1  解算器  状态根  预确认  快速提款 

加密货币质押：理解权益证明及其能源效率

本文深入探讨了加密货币领域中的权益证明（PoS）机制，以及它在减少能源消耗、实现环境可持续性方面的潜力。PoS通过让参与者抵押其加密货币来验证交易，显著降低了能源需求，并阐述了PoS的优势、风险以及未来的发展趋势，包括以太坊的转型及其对可持续加密货币的影响，并分析了PoS在应对市场波动、财富集中和技术挑战等方面的风险。
权益证明  PoS  能源效率  可持续性  加密货币  验证器 

加密货币质押：2024年最佳实时奖励追踪器

本文全面探讨了2024年加密货币质押奖励追踪的最佳工具和实践方法。随着质押参与度的显著增长，高效的奖励追踪解决方案变得至关重要。文章比较了各种追踪平台的功能和用户体验，强调了实时监控、风险管理、安全考虑以及社区参与的重要性，旨在帮助读者优化其质押策略并提高回报。
质押奖励  追踪工具  实时监控  风险管理  Validator  区块链网络 

了解加密货币质押：2024 年你需要知道的税务规则

本文深入探讨了 2024 年加密货币质押的税务问题，重点关注 IRS Revenue Ruling 2023-14 的影响，该 ruling 规定质押奖励在获得“支配和控制权”时需要纳税。文章详细解释了质押奖励的税务处理方式，包括收入确认、资本收益和损失的计算，以及DeFi质押的变体。此外，还提供了报告质押奖励的最佳实践、所需的税务表格，以及应对复杂税务情况的策略，强调了合规的重要性。
加密货币质押  税务  IRS  收入裁定 2023-14  资本收益  税务合规