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

2024年4月19 HedgeyFinance ClaimCampaigns合约攻击--逻辑漏洞

4月19日有一起针对HedgeyFinance的ClaimCampaigns合约的攻击，多次攻击导致共损失48M。这次攻击的本质是合约逻辑漏洞，配合闪电贷一次盗取大额资金。
智能合约安全  安全事件 
  • 黑梨888
  • 发布于 2024-07-26
  • 阅读 ( 1606 )
  • ( 17 )

2024年5月15 Sonne finance攻击来龙去脉--精度损失

漏洞概述5月15日Sonnefinance因为合约存在精度损失漏洞，导致被黑客盗取20millionUSD。更有趣的是，一位白帽子因为及时发现了攻击，马上通过100美金，保住了资金池里剩余的6.5million美金资产，减少了损失。这篇文章我想分析下漏洞是怎么发生的
Sonne Finance  安全事件  智能合约安全 
  • 黑梨888
  • 发布于 2024-07-26
  • 阅读 ( 2213 )
  • ( 56 )

Polymarket：顶级“事件交易”平台

Polymarket，是一个基于区块链技术的二元预测市场，通过使用优化的预言机模型和自动化市场做市（AMM）机制，成功地在加密社区和传统网络世界中建立了影响力。本文深入探讨了Polymarket的发展历程、运营模式、竞争优势及面临的风险，并展示了其在预测和博彩领域的市场潜力和创新能力。
PolyMarket  预测市场  区块链  AMM  市场接受度  风险管理 

来自模糊测试前线的教训

本文详细探讨了在EigenLayer生态系统中对Renzo协议进行模糊测试的过程和挑战，包括覆盖率的提升、动态部署，以及处理各种外部事件（如用户资金惩罚和LST的折扣与重基机制）。通过定义和实现一系列功能，作者分享了在模糊测试过程中学到的关键经验，对安全性评估具有重要意义。
模糊测试  EigenLayer  Renzo协议  LST  安全机制  以太坊 
  • Recon
  • 发布于 2024-07-26
  • 阅读 ( 750 )

探索 SPL-404 协议标准：NFT 与 DeFi 的融合

遵循 ERC404 协议，SPL404 概念在 Solana 生态系统中迅速发展，将 ERC404 的稀有性系统引入 Solana 的混合 DeFi 中。

2024-06-10 UwU lending预言机攻击

攻击相关基本信息2024年6月10号，UWULend合约被攻击薅走5272枚WETH，约2300w美金。我对这个攻击进行了梳理，并完成了简单的PoC。这个漏洞的本质是预言机价格操纵。
安全事件  预言机  UwU  智能合约安全 
  • 黑梨888
  • 发布于 2024-07-26
  • 阅读 ( 2123 )
  • ( 49 )

我们的密码学专家解答 10 个关键问题

本文是针对密码学领域中一些常见但可能令人困惑的技术的专家问答，涵盖了SNARKs中的 commitment schemes、哈希函数的构造、椭圆曲线密码学(ECC)的攻击方式、后量子密码系统、Fiat-Shamir heuristic、PLONK 证明系统的改进、zkEVMs的设计决策、zkEVMs的性能改进、Shamir 密钥共享方案以及 folding schemes的技术细节。
SNARKs  commitment schemes  哈希函数  椭圆曲线密码学  后量子密码学  Fiat-Shamir heuristic  PLONK  zkEVM  Shamir 密钥共享  Folding schemes 

Uniswap V4 Hooks — Hooks简介 — 找到你问题的答案

本文介绍了Uniswap V4中的Hook（hooks），讨论了Hook的功能、实施方式以及其对流动性提供者（LP）的影响。文章深入解析了比特币池中的Hook逻辑同步与异步调用，以及恶意Hook的潜在处理，对技术层面进行详细探讨，并附带了一些操作示例。
uniswap v4  Hooks  流动性提供者  智能合约  EVM  Ethereum 
  • bloqarl
  • 发布于 2024-07-26
  • 阅读 ( 834 )

去中心化 L2 中的 APS-burn 设计方案

本文提出了一种适用于去中心化 L2 的 Attester-Proposer-Separation (APS) 设计方案，该方案基于 APS-burn 设计，并针对 L2 的特性进行了调整，旨在缓解审查问题和多区块 MEV 的负面影响。该设计通过链上拍卖获得未来区块的提议权，并采用密封投标拍卖来减轻多区块 MEV 的问题。
APS  MEV  L2  去中心化  拍卖  密封投标 

零时科技 || Spectra攻击事件分析

Ethereum链上的Spectra Protocol项目遭受攻击，攻击者共获利188, 013 asdCRV。攻击者利用特殊的参数，使得受害者合约通过 transferFrom 将授权给其合约的代币转入到攻击者控制的地址
黑客攻击  安全事件 

NFT中的版权漏洞

本文深入探讨了 NFT 和版权之间的复杂关系，特别是 NFT 拥有者在版权法下的权利。许多 NFT 项目未能合理地设计其版权条款，可能导致误解和侵权风险。作者强调了在 NFT 创作阶段就应考虑法律问题，并提出使用版权许可作为更可行的解决方案，以保证 NFT 拥有者能够合法拥有和使用其链接的创作作品。
NFT  版权  smart contracts  创作权  加密艺术  法律问题 

Circle STARKs 介绍

本文介绍了 Circle STARKs，它通过利用具有最快有限域算术的梅森素数，展示了卓越的性能。Circle STARKs 通过移动到圆群来解决梅森素数上定义的字段的非平滑结构，并密切遵循其经典的 STARKs 类似物，虽然有一些细微之处，但幸运的是，大多数细微之处都对开发人员隐藏了，Circle STARKs 以及高效的查找可以帮助提高通用 ZKVM 的性能。
Circle STARKs  梅森素数  vanishing polynomials  FRI协议  Circle FFT 

Solana 开发者指南 —— ZK 压缩技术

文章详细介绍了Solana上的ZK Compression技术，讨论了其实现原理、信任假设、生命周期以及与传统ZK Rollup的区别。通过使用零知识证明，ZK Compression可以减少链上存储成本，同时保持Solana的同步原子组合性和并行性。
ZK Compression  Solana  零知识证明  Merkle Proof  信任假设  并行性 
  • Helius
  • 发布于 2024-07-25
  • 阅读 ( 962 )

Web3 极客日报 #1556

  • rebase
  • 发布于 2024-07-25
  • 阅读 ( 1111 )
  • ( 6 )

使用 Rust 开发一个微型游戏

in  Rust
使用Rust构建微型游戏--用于理解游戏开发一、创建游戏Agenda建立项目实现Gameloop不同的游戏模式添加玩家添加障碍和计分汇总理解Gameloop为了让游戏流畅、顺滑的运行，需要使用GameloopGameloop：初始化窗口、图形和
Rust  Rust高级  编程语言  Rust  编程  游戏开发 

建立你的比特币 “用户名”

本文介绍了如何使用 BIP 353 协议为比特币设置自定义用户名，允许用户通过域名接收付款，而无需每次都提供新的地址。文章详细说明了选择合适的支付信息（静默支付地址或 BOLT12 offer），以及如何在 Njalla 和 Namecheap 这样的域名注册商处设置 DNS 记录，并强调了隐私和安全注意事项，例如使用匿名域名注册和启用 DNSSEC。
BIP 353  比特币用户名  静默支付  BOLT12  DNS  域名 

TheDAO 攻击事件分析

dao攻击：dao攻击是以太坊历史上第一次大型攻击事件，其攻击原理是重入攻击。dao攻击中一共进行了多次重入漏洞的攻击，这也体现了智能合约的一个弊端：上链的代码无法更改，倘若遭到了一次攻击，那这篇合约便作废了，想要保住里面的财产只能将财产转移出来，无法对原合约进行更改。因此，在合约上链之前需要确保
重入漏洞  DAO 
  • oo
  • 发布于 2024-07-25
  • 阅读 ( 2501 )
  • ( 13 )

zk-SNARK 系列 - #1 SNARK介绍 & 证明媒介

介绍 SNARK 及证明媒介
zkSNARK  零知识证明 
  • Maksym
  • 发布于 2024-07-25
  • 阅读 ( 2363 )
  • ( 10 )

探索Circle STARK技术

本文深入探讨了Circle STARKs的工作原理及其在零知识证明中的应用，特别是在小字段上的优化和效率提升。
STARKs  Circle STARKs  零知识证明  小字段  FRI  Mersenne31 

Delegatecall: 详细且生动的指南

Delegatecall: 详细且生动的指南
delegatecall  Solidity  EVM