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

Solidity 复杂类型状态变量在 EVM 中存储布局

in  代理模式与 Delegatecall 规范手册

全面理解复杂类型的存储布局
EVM  存储布局 

犯罪与加密货币：应对洗钱的具体措施

本文讨论了美国政府在打击加密货币相关的洗钱活动中的策略，强调洗钱活动本质上不是加密货币特有的问题，而是传统金融系统中的长期存在的问题。文章提出了三项建议：扩大财政部的执法能力、明确国外行为的管辖权，以及加强信息共享，以有效打击来自海外的不良行为者。
洗钱  加密货币  金融监管  执法能力  信息共享  国际经济权力法 

密码学基础：零知识证明（第一部分）

in  密码学101

本文介绍了零知识证明（Zero Knowledge Proofs, ZKP）的基本概念和应用，特别是Bulletproofs技术，用于证明某个数值是否在特定范围内。文章详细解释了ZKP的工作原理、协议设计以及数学实现，并通过一个简单的示例说明了如何在不泄露信息的情况下验证陈述的真实性。
零知识证明  Bulletproofs  Schnorr协议  范围证明  Pedersen承诺 

密码学101：承诺方案再探

in  密码学101

本文对承诺方案进行了深入探讨，特别是多项式承诺方案中的KZG承诺。在介绍之前的基础上，文章详细描述了如何构建一个承诺多项式的过程，包括信任设置、承诺生成、评估以及验证。使用公开参数和配对技术，能够在不知道秘密多项式的情况下进行验证，确保所提交计算是正确的。同时，文中提到这一承诺方案在零知识证明中的应用潜力。文章尽量简化复杂概念，使读者能更好理解这些高级密码学内容。
承诺方案  多项式承诺  KZG承诺  零知识证明  配对技术 

密码学基础：签名机制再解析

in  密码学101

本文详细介绍了数字签名的多种变体，包括盲签名、环签名和多签名。这些签名技术在特定场景下非常有用，如保护用户隐私、实现匿名签名以及多人共同签名。文章通过数学公式和图形化的方式解释了这些技术的实现原理。
盲签名  环签名  多签名  Schnorr签名  椭圆曲线  阈值签名 

密码学基础：配对(Pairings)

in  密码学101

本文介绍了加密学中的配对（pairings），首先定义了其概念及其在椭圆曲线中的应用，接着阐述了配对的双线性特性及其在身份基础加密中的重要性。配对不仅是一个数学操作，还因其在加密通信中通过身份生成私钥而显得极为强大。
配对  双线性映射  椭圆曲线  身份基础加密  公钥  私钥 

什么是“社会工程学攻击”？解构 Concentric.Fi 安全事件

in  CertiK 安全知识分享

1月22日，Concentric.fi遭到攻击，损失超过185万美元。Concentric在其官方社交账号宣布，此次攻击是一次有针对性的“社会工程学攻击”。所谓社会工程学攻击，是指攻击者通过与被攻击者的正常交流，骗取其信任，对其心理造成影响后泄漏机密或者作出某些行为，以达到攻击者的目的。在针对
  • CertiK
  • 发布于 2024-10-15
  • 阅读 ( 1239 )
  • ( 32 )

密码学入门：椭圆曲线初步揭秘

in  密码学101

本文介绍了椭圆曲线在密码学中的应用，解释了椭圆曲线如何通过特定的群操作（如弦切线规则）形成密码学所需的数学结构。文章详细讨论了椭圆曲线群的定义、有限域上的点运算、群单位元的引入以及点加倍操作，并指出这些数学结构为加密和数字签名提供了难以破解的难题基础。
椭圆曲线  密码学  群论  有限域  点加倍  数字签名 

密码学101：零知识证明（第2部分）

in  密码学101

本文深入探讨了零知识证明协议Plonk，详细介绍了如何将算术电路的计算过程编码为多项式，并利用多项式承诺方案和交互式预言证明（IOPs）实现高效验证。文章涵盖了SNARKs的基本概念、根的单位在多项式编码中的应用、电路约束的数学表达，以及如何通过Fiat-Shamir启发法将交互式协议转为非交互式证明。内容涉及密码学、多项式运算及复杂协议设计，属于高级密码学技术解析。
SNARKs  PLONK  多项式承诺  零知识证明  算术电路  根的单位 

P vs NP 及其在零知识证明中的应用

in  零知识证明之书

RareSkills 的 Zero Knowledge Proofs 系列文章之《P vs NP 及其在零知识证明中的应用》。
零知识证明  ZKP  密码学 
  • 0xE
  • 发布于 2024-10-15
  • 阅读 ( 2325 )
  • ( 13 )

初步认识Arbitrum

layer2简介是独立的区块链，完整运行所有区块链的事情。基于layer1进行对自身的验证和结算，继承了高安全性。按照结构拆解sequencer定序器：接收用户的交易，会排序交易，把交易重新发送给全节点以及记录到layer1上面。如果新加入的节点就可以直接从layer1同步历史交易。
Arbitrum  初步认识 
  • 链创通
  • 发布于 2024-10-14
  • 阅读 ( 1570 )
  • ( 36 )

每周以太坊 2024/10/12

每周以太坊 2024/10/12
每周以太坊 
  • EthWeekly
  • 发布于 2024-10-14
  • 阅读 ( 1030 )
  • ( 22 )

Optimism 中文周刊 #33

in  Optimism 中文周刊

OP中文周刊将分享Optimism中发生的情况，并轻松访问最关键的信息，以便轻松了解最新情况并做出明智的决策。
#OP 

NFTScan | 10.07~10.13 NFT 市场热点汇总

一览 NFT 热点资讯和 NFT 链上宏观数据
NFTScan  NFT  NFT市场 

Solodit如何帮助研究人员赢得区块链安全比赛

本文介绍了Solodit如何在区块链安全竞赛中成为一种转变性工具，分析了其功能、使用方法和成长过程序。作者分享了自己如何利用Solodit整理数据、建立检查清单并参与竞赛，最终在安全研究领域取得成功。
Solodit  区块链安全  安全竞赛  安全研究  报告分析  检查清单 
  • cyfrin
  • 发布于 2024-10-14
  • 阅读 ( 289 )

# Flashbots - MEV strategy

Flashbots-MEVstrategy
  • bixia1994
  • 发布于 2024-10-13
  • 阅读 ( 1209 )
  • ( 11 )

Murad：Meme 超级循环将造就亿万富翁

这篇文章探讨了Murad Mahmudov关于memecoin超级周期的观点。他认为，memecoin的市场由社区的激情推动，并强调了其在当前加密市场中的重要性。文章详细介绍了Murad的背景，以及他对memecoin投资的成功策略，提出了一系列独特的观察和建议。
Memecoin  Murad Mahmudov  市场分析  Solana  Ethereum  投资策略 

零信任执行环境

这篇文章探讨了安全硬件（SH），特别是受信执行环境（TEE）在满足现代技术需求中的重要性。文章详细描述了许多行业当前对安全硬件的需求，特别是在金融交易、机器学习模型推理和安全委托等领域，同时指出了现有安全硬件的不足之处。通过阐述潜在的用例和技术挑战，作者呼吁设计适合新一代应用的硬件，以解决性能、安全性和功能性的平衡。
安全硬件  受信执行环境  保护计算  加密技术  金融交易  机器学习 

【Damn Vulnerable DeFi V4】1 | Unstoppable 题解

CTF Writeups 系列："Unstoppable" 本题涉及到闪电贷和代币化保险库。
ctf  Writeups  闪电贷  ERC-4626  ERC-3156 
  • 0xE
  • 发布于 2024-10-13
  • 阅读 ( 1230 )
  • ( 17 )

放宽条目约束

该提案建议移除区块内交易条目之间不能存在冲突的约束，以简化协议并提升灵活性。在新的设计中，允许冲突的交易以顺序执行，并明确条目的结构和约束，以便更灵活地进行块生产，也说明了与当前协议的向后兼容性。
协议优化  冲突交易  块生产  区块链设计  Solana  Rust