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

Solana笔记 02.认识目录结构

跟我一起从0开始学习Solana合约开发，一起实操，一起做项目。这是一个系列文章，系统地记录了我的学习笔记。
solana目录  solana开发  Solana合约 

Tornado Cash：开发者参考手册

Tornado Cash：开发者参考手册
Tornado.cash  Tornado 
  • Krishang
  • 发布于 2024-12-09
  • 阅读 ( 2435 )
  • ( 77 )

Rust全局变量、宏编程与asnyc/await异步编程

in  Rust语言开发基础到通关
目录全局变量错误处理unsafeRustmacro宏编程asnyc/await异步编程全局变量全局变量是在整个程序范围内可见的变量。虽然Rust强调模块化和封装，但在某些情况下，全局变量仍然有其用途。定义全局变量//定义全局变量staticCOUNTER:u32
Rust语法基础 

探索 CoW Swap 的演变：从市价单到程序化订单 - CoW DAO

CoW Swap 经历了从 Dutch Auction 到基于 intents 的条件程序化订单的转变。程序化订单框架允许用户执行无限的智能订单，具有更高的 gas 效率和完全的自我托管，为自动化费用收取、DAO 工资、TWAP 订单甚至私有条件订单（如止损）等用例打开了大门。
CoW Swap  程序化订单  智能合约  MEV 保护  DEX  ERC-1271 
  • CowSwap
  • 发布于 2024-12-08
  • 阅读 ( 972 )

如何使用 Halmos 编写符号测试

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

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

每周以太坊 2024/12/07

每周以太坊 2024/12/07
每周以太坊 
  • EthWeekly
  • 发布于 2024-12-08
  • 阅读 ( 5498 )
  • ( 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  安全审计 

DeMo介绍：用于高效分布式LLM训练的解耦动量优化

本文介绍了使用大量参数训练大型语言模型（LLM）时面临的计算密集和通信量大的问题，并重点介绍了Nous Research提出的DeMo方法，该方法通过减少通信成本，降低训练成本，并允许使用较差的连接和较低成本的硬件进行训练。DeMo 算法基于梯度的高度可压缩性，通过离散余弦变换(DCT)提取动量中的快速分量，从而显著降低了数据传输量，同时保持了模型的收敛性。
大型语言模型  LLM  分布式训练  梯度压缩  离散余弦变换  demo 

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

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

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

Web3 极客日报 #1636

  • rebase
  • 发布于 2024-12-07
  • 阅读 ( 944 )
  • ( 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 

区块链大数据分析:导入 xatu 数据集

本文介绍了如何使用cryo + clickhouse的组合进行以太坊数据分析，摆脱了对ifast数据源的依赖。
cryo  Clickhouse  以太坊  数据分析  全节点数据  交易追踪 

同槽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  安全