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

Huff实战:编写测试极致效率数学模块

本文介绍了EVM专用语言Huff，它是一种面向底层的语言，类似于汇编语言。文章通过使用Huff实现高效的数学模块，详细讲解了EVM的基础架构、栈、内存和存储等关键概念，并提供了可溢出加法、不可溢出加法、乘法、前导零计数、log2算法和开方算法的具体实现。同时，本文还讲解了如何处理数组数据类型，并给出了使用Huff实现数组求和的示例。
Huff语言  EVM  智能合约  gas优化  前导零计数  log2  开方算法 

SlowMist：对Euler Finance攻击事件的分析

本文章分析了2023年3月13日对Euler Finance的攻击事件，攻击者利用智能合约漏洞和高杠杆策略从中获利约2亿美元。SlowMist安全团队详细阐述了攻击的根本原因、过程及其对现有金融协议的安全建议，指出智能合约在处理用户资金时缺乏必要的流动性检查。
Euler Finance  闪电贷  流动性检查  攻击分析  软清算  区块链安全 

详细分析 Euler Finance 的 1.96 亿美元闪电贷攻击

2023年3月13日上午08:56:35+UTC，DeFi借贷协议EulerFinance遭遇闪电贷攻击。根据链上数据分析，攻击者已成功执行多笔交易，造成约 1.96 亿美元的盗窃，成为 2023 年迄今为止最大的黑客攻击
安全事件分析  闪电贷攻击  闪电贷 

进阶篇-智能指针

in  Rust入门基础到进阶教程
Box，Deref和Drop trait，Rc<T>和Arc<T>，Cell<T>和RefCell<T>
  • 木头
  • 发布于 2023-03-16
  • 阅读 ( 3667 )
  • ( 5 )

让比特币再次焕发活力

本文深入探讨了比特币Ordinals协议，这是一种为每个聪（比特币的最小单位）分配唯一标识符的系统，从而允许在比特币区块链上创建和存储数字艺术品（如NFT）。
Ordinals协议  比特币  NFT  铭文  聪  Segwit 

审计报告 - Immunefi PoC模板

本文介绍了如何使用提供的PoC（概念验证）模板来简化和加速漏洞报告的编写过程。这些模板旨在帮助白帽黑客更轻松地创建PoC，以测试智能合约的漏洞，如重入攻击和代币操控，同时提高安全性和工作效率。文章还包括了具体的代码示例和使用指南。
POC  漏洞报告  智能合约  重入攻击  代币操控  白帽黑客 

Foundry 开发框架 - Solidity开发教程连载

Foundry是一个Solidity框架，用于构建、测试、模糊、调试和部署Solidity智能合约，Foundry的优势是以Solidity作为第一公民。
Foundry  DeCert 
  • DeCert.me
  • 发布于 2023-03-16
  • 阅读 ( 9231 )
  • ( 98 )

Solidity 中的私有变量不私有

本文不仅详细解读了如何从合约里读取私钥状态变量的数据，还结合具体场景描述了如何应对需要在合约存取秘密的需求。
  • Ashton
  • 发布于 2023-03-16
  • 阅读 ( 3008 )
  • ( 6 )

使用 “管家通道” 拓展闪电网络

本文介绍了闪电网络协议的插件“管家通道”，它允许两个闪电节点建立一种新的通道，其中一方（管家）保管资金，另一方（客户）信任管家。管家通道虽然无法依靠区块链强制执行，但能保证客户隐私，提高网络流动性和资本效率，并能作为私人通道的管家。
闪电网络  管家通道  流动性  路由  隐私 

Euler Finance攻击分析

2023年3月14日，Euler Finance遭遇一起攻击，损失超过1.9亿美元。攻击者利用闪电贷进行了一系列操作，最终通过自我清算获取了比其债务更高的利润。文章详细分析了攻击策略及实现过程，提供了代码示例和整体收益的说明。
闪电贷  自我清算  攻击策略  Euler Finance  加密货币  经济激励漏洞 
  • zellic
  • 发布于 2023-03-15
  • 阅读 ( 956 )

硬件钱包评测：Jade

本文评测了Blockstream公司开发的硬件钱包Jade，它仅支持比特币及Liquid侧链资产。文章详细介绍了Jade的安全性设计，包括私钥生成、保存以及交易签名过程，并分析了其功能性，如BIP85种子管理器、Passphrase单词表、扫码验证地址、离线OTP管理器以及Liquid支持。总的来说，Jade是一款没有明显短板且具有高性价比的硬件钱包，适合对比特币安全有要求的用户。
硬件钱包  Blockstream Jade  私钥安全  多签  Air-gapped  BIP85 

Nova

该密码学原语，通过提供每一步的结果都是正确的并且所有先前步的结果都已在每步中正确执行过的证明，允许给定方来展示给定计算机程序执行的完整性。
密码学 
  • XPTY
  • 发布于 2023-03-15
  • 阅读 ( 3611 )

[入门指引] - 推荐一份区块链基础教程

一份为小白用户准备的免费区块链基础教程
入门  比特币  DeCert  区块链入门 
  • DeCert.me
  • 发布于 2023-03-15
  • 阅读 ( 36037 )
  • ( 165 )

LockedDeal整数溢出 漏洞分析

1.相关地址或交易攻击交易：https://phalcon.xyz/tx/bsc/0x39718b03ae346dfe0210b1057cf9f0c378d9ab943512264f06249ae14030c5d5攻击合约：0x058bae36467a9fc5e1045dbdffc2fd65
漏洞分析  区块链安全  溢出 
  • Archime
  • 发布于 2023-03-15
  • 阅读 ( 4482 )
  • ( 3 )

OrderBook的实现思路

OrderBook是一个包含了所有交易者信息的订单集合，他们想买或者想卖。想买的order叫做bid，想卖的order叫做ask，这些bid和ask的order一旦满足了各自的条件，就会尽可能快的完成配对，促成一笔交易。
  • volar
  • 发布于 2023-03-15
  • 阅读 ( 4751 )
  • ( 5 )

理解以太坊质押提款

in  以太坊中文 · ETH
本文将介绍什么是提款，其工作机制，以及这个新特性的使用方法。
质押  提现 

Foundry 高级测试: Fuzz、Invariant与形式化证明

本文介绍了在 Foundry 架构中常用的高级测试方法，包括 Fuzz Testing, Invariant Testing 和 Formal Verification，并以 WETH 合约为例，展示了这些测试方法的使用，以及如何通过 Handler 合约和 Actor Management 模式来提高测试的有效性和覆盖率，最后还讨论了 Solidity 的形式化证明，希望能帮助读者进一步提高智能合约的测试水平。
Foundry  fuzz testing  Invariant Testing  Formal Verification  WETH合约  智能合约测试 

哪种写法更省 gas

对比 EXP 和 MUL 在不同场景下的 gas 消耗
  • Ashton
  • 发布于 2023-03-15
  • 阅读 ( 2950 )
  • ( 7 )

11 Rust中的泛型

in  Rust进阶知识
在前10章中，我们主要是就Rust中的数据类型以及一些常识问题（如路径、prelude等）做了介绍，比较细枝末节。从本节开始我们将会从更宏观的视角介绍Rust中的知识点

Chainlink Functions 介绍 & 使用案例

Chainlink Functions是一个用于Web3的serverless开发者平台，它可以使智能合约能够连接到任意一个API，并运行的开发者自定义代码以获得结果，并且最终将结果进行去中心化和可验证的共识。
  • Chainlink
  • 发布于 2023-03-14
  • 阅读 ( 3138 )
  • ( 2 )