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

Vitalik Buterin 用 30 分钟介绍以太坊（2025 版）

本文是Vitalik Buterin在Devconnect ARG 2025上的开幕演讲全文。
以太坊  ZK-EVM  可扩展性  去中心化  抗审查性  密码学 

anchor 编译项目相关配套版本(0.32.1)

anchor 0.32.1 solana 2.3.13 rust 1.90.0 代码编译
Anchor 

Groth16 与证明你知道 x²-2x-15=0 的答案

本文介绍了非交互式零知识证明（NI-ZKP）的原理和应用，重点介绍了Groth16算法，它是第一个定义了恒定大小的证明并能有效验证的算法，并探讨了其在区块链中的实际应用。文章还提供了使用Groth16证明知道方程解的示例代码。
零知识证明  Groth16  zk-SNARKs  配对密码学  证明密钥  验证密钥 

Circle STARKs：第四部分，圆的算术化

本文是关于Circle STARKs系列的第四部分，主要介绍了如何将前三部分构建的组件组合成完整的Circle STARK。
Circle STARK  FRI  零知识证明  多项式  算术化  低度测试 

2025年Perp DEX战争：Hyperliquid、Aster、Lighter和EdgeX

该文章分析了2025年去中心化永续合约交易所（Perp DEX）的竞争格局，重点关注Hyperliquid、Aster、Lighter和EdgeX四大平台。文章对比了它们的技术特点、市场份额、交易量、开放利息以及收入模式，Hyperliquid 目前占据主导地位，但其他平台也在通过不同的策略（如零费用、机构合作等）争夺市场份额。
Perp DEX  Hyperliquid  Aster  Lighter  edgeX  去中心化交易所 

理解事件 — EVM的内置日志系统

本文介绍了以太坊虚拟机（EVM）中事件（也称为日志）的工作原理，包括事件的定义、存储位置（交易回执日志而非合约存储）、以及如何通过`eth_getLogs`直接查询事件。文章详细解释了`topics`（索引字段，用于过滤）和`data`（非索引字段，存储原始字节）的结构，并通过ERC-20代币转账事件的示例，展示了如何手动解码日志以及如何在区块浏览器上理解事件信息。
事件  日志  以太坊虚拟机  EVM  eth_getLogs  topic  智能合约 

Canton网络交易生态系统：流动性与交易所

本文介绍了 Canton 网络上的专业交易生态系统，包括交易所、流动性提供商、交易公司以及交易基础设施和技术。该生态系统旨在为机构级的代币化资产提供流动性，并融合传统金融和加密原生市场的优势，从而创建一个合规且高效的环境。
Canton网络  流动性  机构交易  代币化资产  交易平台  市场做市商 
  • DAIC
  • 发布于 2025-11-18
  • 阅读 ( 445 )
  • ( 15 )

BlockThreat - 2025年第45周

本周加密领域发生了多起安全事件，包括 Balancer 被盗 1.32 亿美元，Stream Finance 因损失 9300 万美元导致 DeFi 市场出现连锁反应。此外，还关注了 MIT 兄弟利用 MEV 漏洞的案件审判，以及朝鲜 IT 工作者相关的网络犯罪活动，并介绍了多个安全研究和工具。
智能合约漏洞  MEV  网络犯罪  Balancer  Stream Finance  朝鲜IT工作者 

常见比特币失盗情形

本文介绍了盗取比特币的常见手段，包括诱骗下载假冒app、篡改比特币地址、发送诈骗邮件和键盘记录器。强调了使用硬件签名器验证交易细节和收款地址，以及绝不泄露钱包复原词的重要性，以保护自己的比特币资产安全。
比特币  硬件签名器  安全  诈骗邮件  地址篡改  键盘记录器 
  • BTCStudy
  • 发布于 2025-11-18
  • 阅读 ( 505 )
  • ( 5 )

Starknet 中的事件

本文深入探讨了Starknet中Cairo事件的工作原理和结构，首先介绍了Cairo中事件的基本结构，并通过示例展示了如何使用`#[event]`属性定义事件枚举和结构体。
Starknet  Cairo  事件  索引  Serde  EventEmitter  区块链 

Starknet上的ERC-20代币

本文详细介绍了如何在Starknet上构建和测试一个ERC-20代币合约，内容涵盖了ERC-20接口的定义、合约的存储设置、事件声明、以及各个功能的具体实现，包括元数据函数、total_supply、mint、transfer、balance_of、allowance、approve和transfer_from等关键功能，并提供了相应的测试用例和潜在问题的解决方案。
ERC-20  Starknet  Cairo语言  智能合约  代币  测试 

本周加密货币市场（11/16/25）

本文对加密货币市场进行了每周概述和更新，分析了宏观经济背景下的市场表现，包括比特币价格下跌、以太坊和比特币主导地位下降、ETF资金流出等现象。尽管市场存在恐惧情绪，但文章指出，宏观环境正在改善，流动性状况可能转向对加密货币有利的方向，并观察到一些积极迹象，如Solana的资金流入和新的永续合约市场的出现。
比特币  以太坊  加密货币  ETF  稳定币  宏观经济 

solana 离线转账的例子

使用场景假设使用用户a向用户b转账，做离线转账，机器1有user_a的私钥user_a.json,$solana-keygennew-ouser_a.json$solanaairdrop10user_a.json$solana-keygenpubkey
Solana 

基础合约的结构

本文介绍了如何使用 Cairo 语言为 Starknet 构建可部署的智能合约。文章从一个简单的合约草图开始，逐步添加功能，演示了 Cairo 合约的核心构建块，包括模块、接口（trait）、存储、合约状态以及不同的注解，最后介绍了合约的编译和测试方法。
Cairo  Starknet  智能合约  Scarb  接口  ABI 

Cairo 中的整数

本文详细介绍了 Cairo 中整数的工作原理，重点介绍了与 Solidity 的关键区别，包括整数类型、溢出保护、类型转换、常量、最大最小值、字面量表示、位运算、以及特殊的 felt252 类型及其除法运算。文章还提及了 Cairo 编译器如何处理整数与 felt252 之间的转换，并建议在非必要情况下避免直接使用 felt252 以优化 Gas 消耗。
Cairo  Solidity  整数  felt252  溢出  类型转换  Starknet 

类型转换

本文详细介绍了 Cairo 中类型转换的概念、`Into` 和 `TryInto` 两个 trait 的区别和使用场景，以及 `felt252`、`uint`、`Address`、`ByteArray`、`String` 和 `bool` 等类型之间的转换方法。Cairo 强调类型安全和显式转换，避免了隐式转换可能导致的数据丢失和错误，提高了智能合约的可靠性。
Cairo  类型转换  Into  TryInto  felt252  智能合约  Starknet 

Cairo 中的构造函数

本文介绍了Cairo中构造函数的使用方法，包括构造函数在合约部署时的作用、Cairo构造函数与Solidity构造函数的不同之处，以及如何在Cairo中传递复杂类型和处理构造函数的返回值。此外，还提到了Cairo中没有像Solidity那样直接支持payable构造函数。
Cairo  构造函数  Starknet  合约部署  felt252  ABI 

Cairo 中的函数可见性

本文介绍了如何在 Cairo 中实现类似 Solidity 中 internal、private 和 pure 函数的功能。
Cairo  Solidity  internal 函数  private 函数  pure 函数  模块 

Cairo 组件 第一部分

本文介绍了 Cairo 中的 Component 概念，它类似于 Solidity 中的抽象合约，可以定义存储、事件和函数，但不能独立部署。文章通过一个示例，详细讲解了如何在 Cairo 中创建和使用 Component，包括接口定义、Component 声明、合约集成以及存储和事件的导入。
Cairo  Component  Starknet  抽象合约  存储  事件 

Cairo 中的访问控制

本文介绍了Cairo中如何使用`assert`宏实现访问控制，对比了Solidity中的`modifier`，展示了如何在Cairo中使用函数和`assert`或`assert!`宏来限制函数访问权限，并详细讲解了 `assert` 和 `assert!` 宏的区别、使用方法和类型限制，通过示例和练习，帮助读者理解在Cairo中实现访问控制的方法。
Cairo  访问控制  assert宏  Solidity  modifier  Starknet