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

使用Ink!在PolkaVM上进行开发

文章介绍了在Polkadot上使用Rust语言的ink!框架在PolkaVM虚拟机上开发智能合约的方法。PolkaVM支持以太坊的JSON-RPC接口，使得使用ink! (version 6) 编写的智能合约可以在PolkaVM上运行。文章还提供了一个简单的步骤指南，包括安装ink! v6、实现flipper合约并编译，创建viem项目与PolkaVM交互，以及进行测试。
Polkadot  ink!  PolkaVM  Rust语言  智能合约  WASM 

你应该运行个人全节点的六个理由

本文解释了运行比特币节点的重要性，包括保护隐私、免信任地确认交易、保护比特币规则、帮助网络、赢得声誉和更深入地理解比特币。强调了运行节点可以减少对第三方节点的信任，并为比特币网络的安全和稳健做出贡献。
比特币节点  Bitcoin Core  隐私  免信任  区块链  分叉 

Web3 极客日报 #1786

  • rebase
  • 发布于 2025-08-12
  • 阅读 ( 285 )
  • ( 6 )

简单的 Golang HTTP 服务器

本文介绍了如何使用 Go 语言构建一个简单的 HTTP 服务器，采用了三层架构：路由器、控制器和数据库。文章从初始化 Go 模块、设置 GitHub 仓库开始，逐步介绍了使用 `net/http` 包构建基本服务器、添加平滑关机处理、编写单元测试，以及集成 Gin 框架以实现更好的路由和中间件支持的过程。
Go语言  HTTP服务器  Gin框架  net/http  路由  中间件 

理解以太坊交易和消息：从状态变更到链下消息 - 第二部分

本文深入探讨了以太坊交易的未来发展方向，包括信标链（Beacon Chain）、EIP-4844 Blob交易、EIP-7702 Set Code交易和EIP-712 Typed Structured Data Signing。
以太坊  交易  信标链  EIP-4844  EIP-7702  EIP-712 

015: 如何正确授权与撤销授权（Approve / Revoke）

in  Web3 敲门砖计划
链上授权是代币交互的前提，但无限授权可能带来巨大风险。本文介绍授权机制、撤销授权的重要性，以及通过分仓、定期检查、限额授权等方法，降低资产被盗的可能性。
安全授权  取消授权  钱包  Web 3 
  • Henry
  • 发布于 2025-08-11
  • 阅读 ( 492 )
  • ( 17 )

编译器缺陷引发编译器缺陷：一个存在 12 年的 G++ 缺陷如何摧毁 Solidity

Solidity 编译器在特定环境下 (G++ < 14, Boost < 1.75, 启用 C++20) 编译包含长度表达式的 Solidity 代码时会因编译器缺陷而崩溃。这是由于 G++ 的一个长期存在的重载解析bug，加上 C++20 的对称比较特性以及旧版本的 Boost 库中的代码共同作用导致的无限递归问题。
Solidity  编译器  G++  Boost  C++20  编译错误 
  • osecio
  • 发布于 2025-08-11
  • 阅读 ( 316 )
  • ( 17 )

Rust 实战：从零构建一个多线程 Web 服务器

in  Rust
Rust实战：从零构建一个多线程Web服务器在众多编程语言中，Rust因其卓越的性能、内存安全和强大的并发能力，在系统编程领域备受青睐。构建一个Web服务器是学习和实践这些特性的绝佳项目。本文将摒弃复杂的框架，带你回归本源，从一个基本的TCP监听器开始，一步步迭代，最终构建出一个
Rust 

零知识证明变得简单：zkWeb 和 ZoKrates

本文介绍了使用zkWeb快速生成零知识证明（ZKP）的方法，zkWeb利用zokrates Javascript文件和Solidity代码生成ZKP，通过一个哈希值的例子，展示了如何使用Zokrates和Solidity来创建一个零知识证明，验证知道秘密x但无需暴露x本身，最后部署到以太坊测试网络上。
零知识证明  zkSNARKs  以太坊  zkWeb  ZoKrates  密码学 

应用 ZK 解数独，无需泄露答案

本文介绍了如何使用zkSnark和ZoKrates工具包在以太坊上创建一个智能合约来解决数独问题，同时不泄露答案。文章详细展示了如何定义公共变量和私有变量，以及如何使用Zokrates插件在Remix中编写代码，生成零知识证明，并将验证密钥部署到智能合约中。
零知识证明  zkSNARK  ZoKrates  智能合约  数独  Remix  Solidity语言 

BlockThreat - 2025年第31周周报

本周关注 Samourai Wallet 和 Tornado Cash 案件审判，以及链运营商对生态系统安全的投资。Multichain Router漏洞导致用户资金被盗，SuperRare staking 合约存在权限检查漏洞。此外，还报道了 LuBian 矿池 2020 年发生的价值 35 亿美元的 BTC 被盗事件，以及 Monero 面临的 51% 攻击威胁。
漏洞  安全审计  加密货币  黑客攻击  信息安全  多链 

Ethereum: 专为区块链定制了一个完善的数据存储系统

1.存储系统概述1.1区块链存储的独特挑战以太坊作为世界计算机，其存储系统面临着传统数据库系统不一样的挑战。历史数据永不删除，每个区块的状态都可能被查询，所有数据必须通过Merkle树进行加密学验证，以确保相同输入产生相同的存储状态。系统每个周期产生一个新区块且永不停止，智能合约状态数据呈指
存储 

014：如何安全地使用钱包：冷钱包、热钱包、硬件钱包与分仓策略

in  Web3 敲门砖计划
Web3 钱包不是存放资产的地方，而是掌管密钥、访问区块链资产的工具。本文介绍热、冷、硬件钱包的特点，分仓策略的重要性，以及提升链上资产安全性的日常习惯
钱包  资产安全  钱包风险  钱包安全  Web3 
  • Henry
  • 发布于 2025-08-10
  • 阅读 ( 443 )
  • ( 14 )

哈希的奇妙之处：SHA-256、Pedersen 和 Poseidon

本文介绍了在以太坊等区块链中，为了实现零知识证明（ZKP）并提高效率，对哈希函数的需求。传统哈希函数如SHA-256在区块链环境中计算成本高昂，因此提出了Pedersen哈希（基于椭圆曲线数学）和Poseidon哈希（基于有限域计算）作为替代方案，并提供了代码示例。
哈希函数  零知识证明  Pedersen哈希  Poseidon哈希  椭圆曲线  有限域 

MiMC7哈希算法

本文介绍了MiMC7哈希算法，这是一种在零知识证明（如zkSNARKs）中高效实现的哈希方法。MiMC7通过降低乘法复杂性，优化了性能，尤其是在多方计算（MPC）、全同态加密（FHE）和零知识证明（ZKP）等领域。实验表明，MiMC7在性能上优于SHA-256等传统哈希算法。
MiMC7  哈希算法  零知识证明  zkSNARKs  乘法复杂性 

Ethereum: 面试官最爱问的Merkle Patricia Trie (MPT) 到底是个啥

Merkle Patricia Trie (MPT) 是以太坊的核心数据结构，巧妙结合了 Patricia Trie、Merkle Tree 和 RLP 编码的优势，实现了高效、可验证且紧凑的数据存储。
MPT 

理解以太坊交易和消息：从状态变更到链下消息——第一部分

本文详细介绍了以太坊中的交易类型和消息，包括交易（Legacy Transaction、EIP-2930 Access List Transaction和EIP-1559 Dynamic Fee Transaction）和消息（EIP-191 Signed Data）。
以太坊  交易类型  RLP序列化  EIP-1559  EIP-2930  EIP-191 

Rust NFT 开发实战：构建生产级的 Pinata IPFS 自动化上传工具

in  Web3
RustNFT开发实战：构建生产级的PinataIPFS自动化上传工具在上一篇《TypeScriptNFT开发实战》中，我们用TS成功实现了将NFT图片和元数据自动化上传到Pinata。作为该系列的延续，本文我们将转向以高性能、内存安全和可靠性著称的Rust语言。我们
Rust  NFT  Pinata  IPFS  Web3 

013：链上交互安全吗？一次点击背后可能藏着的陷阱

in  Web3 敲门砖计划
链上交互并非点一下那么简单，每次确认都可能影响资产安全，了解风险与防护是Web3生存必修课
链上交互  安全意识 
  • Henry
  • 发布于 2025-08-09
  • 阅读 ( 364 )
  • ( 12 )

多变量Sumcheck协议

in  zkMIPS解读
多变量求和检验协议（Multivariate Sumcheck Protocol）通过将多线性多项式在布尔超立方体上的求和问题逐步化简为一元检验来进行验证，利用多线性扩展避免了昂贵的 FFT 运算，从而实现高效且适用于零知识证明（ZKP）的特性。
ZKM  zkVM 
  • ZKM
  • 发布于 2025-08-09
  • 阅读 ( 277 )
  • ( 7 )