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

ChatGPT能审计智能合约吗？

文章讨论了GPT-4在智能合约审计中的局限性，特别是在识别关键漏洞方面的失败。通过实例合约展示了函数中的输入验证缺失，以及GPT-4未能检测到这一漏洞的实验结果，强调了对重要金融代码的审计仍然需要人类专家的参与。
智能合约  审计  GPT-4  关键漏洞  输入验证 
  • zellic
  • 发布于 2023-03-19
  • 阅读 ( 338 )

分布式自动化市场制造商（dAMMs）

本文介绍了一种新型的分布式自动化市场制造商（dAMM），该设计旨在解决二层（L2）解决方案中流动性碎片化的问题。通过在L1上保持资产并跨层分配流动性，dAMM提高了资本效率，为不断扩张的DeFi生态系统提供了有前景的解决方案。文章详细分析了dAMM的原理、实施方式以及相关操作，结合实际示例和图示，突出了dAMM的优势与潜在风险，最后讨论了未来的研究方向。
分布式自动化市场制造商  资本效率  流动性碎片化  二层解决方案  DeFi  StarkWare 

ABI 编码深入解析

本文深入探讨了Solidity中的ABI编码机制，详细解释了函数选择器和参数编码的原理，特别是静态类型和动态类型的编码方式，并通过一个实际的调用数据解析示例展示了如何手动解码ABI编码的数据。
ABI编码  Solidity  函数选择器  动态类型  静态类型  Calldata 

智能合约交易顺序依赖漏洞

智能合约交易顺序依赖漏洞，欢迎一起学习！
区块链安全  安全审计  漏洞分析 

Arbitrum：去中心化的下一阶段

Arbitrum 基金会宣布 Arbitrum One 和 Arbitrum Nova 网络启动 DAO 治理，$ARB 代币将用于 DAO 治理，并于3月23日空投 12.75% 的 $ARB 代币。同时，Arbitrum Orbit 的推出使开发者可以更轻松地启动自己的 Layer 3 链。
Arbitrum  DAO 治理  Layer 2  Layer 3  空投  去中心化 

什么是跨链?

Web3生态越来越趋向于多链，dApp存在于数百个区块链、2层网络和应用链中。但是，区块链本身不具备与外部系统或API通信的能力。这种限制不仅阻止了区块链与现有网络基础设施的通信，还阻止了与其他区块链的通信。鉴于区块链生态系统种类繁多，这些不同的链上环境能够相互操作和通信至关重要。
  • Chainlink
  • 发布于 2023-03-17
  • 阅读 ( 3567 )
  • ( 13 )

以太坊的上海升级将如何影响 Staking 的未来

in  以太坊中文 · ETH
以太坊上海升级将是 Staking 行业重新洗牌的转折点？我们可以关注哪些指标进行分析？

排错：调用 parseLog 报 data out-of-bounds 错误

调用 parseLog 报 data out-of-bounds 错误
以太坊  错误处理 
  • 胡键
  • 发布于 2023-03-17
  • 阅读 ( 1516 )

理解 zk-SNARKs 和 zk-STARKS 的区别

SNARKs和STARKs是零知识证明技术，允许一方在不透露任何进一步信息的情况下向另一方证明陈述是真实的。零知识证明(ZKP)引起了广泛关注，因其在增强安全性、保护用户隐私和支持第2层网络扩展方面都有很大的潜力。
  • Chainlink
  • 发布于 2023-03-16
  • 阅读 ( 2610 )
  • ( 9 )

加密内存池

这篇文章深入探讨了加密交易池的设计及其在解决最小化可提取价值（MEV）和审查中的应用。文章详细阐述了不同的加密方案，例如信任方、门限加密/解密（TED）、延迟加密/解密（DED）和见证加密/解密（WED），并分析了每种方案的优缺点与应用潜力。通过对加密交易池的各种技术解决方案的分析，文章为区块链技术的未来发展提供了深刻见解。
加密交易池  最小化可提取价值  门限加密  延迟加密  见证加密  区块链技术 

ChainAegis：稳定币协议Liquity链上分析报告

in  智能合约安全
2022年，加密行业处于深熊之中，全年局势动荡不安，多家交易所频频暴雷，整个市场遭到重创。2023年初，监管直逼稳定币，BUSD被强制停止发售，USDC受到硅谷银行事件影响，一度脱锚至0.87美元。在此严峻的形式下，Liquity虽用户数、交易量等受到影响，但总体上仍保持正常发展，到目前为止运营情况
  • SharkTeam
  • 发布于 2023-03-16
  • 阅读 ( 2691 )
  • ( 4 )

以太坊账号抽象ERC4337的过审方案解读(上）

上篇更多是围绕 ERC-4337 运作机制、背景进行说明。下篇详细讲述当前被审计方案的优缺与实施细节，但涉及较多以太坊底层
安全审计  账户抽象  前沿提案 
  • 十四君
  • 发布于 2023-03-16
  • 阅读 ( 3503 )
  • ( 12 )

乐观 Rollup 的再构想：第一部分

本文探讨了以太坊面临的可扩展性挑战，重点介绍了乐观 Rollup技术及其动态挑战期模型的提出。通过分析挑战期长度对系统安全性和效率的影响，文章建议将挑战期减少至23小时，以增强用户体验而不牺牲安全性。讨论了潜在攻击向量并通过模型评估了恶意排序器在拒绝服务攻击中的行为。
乐观汇总  挑战期  以太坊  区块链  安全性  动态模型 

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
  • 阅读 ( 2862 )
  • ( 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
  • 阅读 ( 7161 )
  • ( 98 )

Solidity 中的私有变量不私有

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