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

用集合论思维编写更健壮的 Solana 智能合约

本文通过一个Solana智能合约中的奖励分配逻辑的实际案例，强调了使用集合论的思维方式来确保代码的健壮性。核心思想是将问题划分为完整的子集，从而全面考虑所有可能的情况，减少bug的产生，并优化链上存储的使用。
Solana  智能合约  集合论  代码健壮性  存储优化  奖励分配 
  • MrMaxPi
  • 发布于 2025-04-24
  • 阅读 ( 1101 )
  • ( 42 )

如何开发 pump.fun 智能合约 - 带源码

Pump.fun 创新性地使用连接曲线机制来解决流动性问题, 本文带领大家实现一个 pump.fun
pump.fun  Solana  bonding curve 

为什么SDK审计对Web3安全至关重要

本文讨论了Web3安全中SDK审计的重要性，强调了SDK作为连接dApp、钱包和区块链网络的关键层，其安全性常常被忽视。文章详细解释了SDK审计的定义、与智能合约和OpSec审计的区别，以及SDK审计的具体流程和评估领域，并列举了现实世界中SDK漏洞的案例，突出了进行SDK审计的必要性。
SDK审计  web3安全  智能合约  漏洞  供应链攻击  密码学 

Awesome zkVM - 零知识虚拟机 (zkVM) 精选列表

本文档是一个关于 zkVM（零知识虚拟机）的精选列表，zkVM 是一种允许在不泄露隐私数据的前提下进行计算的技术。该列表包含 zkVM 项目、技术细节、性能基准、相关论文、资源、教程和工具，旨在为开发者、研究人员和对零知识证明技术感兴趣的受众提供有价值的参考。
zkVM  零知识虚拟机  零知识证明  RISC-V  STARK  PLONK  Cairo  性能基准 
  • rkdud007
  • 发布于 2025-04-23
  • 阅读 ( 1243 )
  • ( 48 )

【Bitcoin基础】比特币的地址格式有哪些？如何应用？

比特币地址格式的分类及应用场景
P2PKH  P2SH  Segwit 

揭秘Solana上MEV这盘大生意

MEV是个大生意, MEV的钱主要被Jito协议、高质押节点、区块空间销售掮客所捕获
Jito  MEV  Solana 
  • Maggie
  • 发布于 2025-04-23
  • 阅读 ( 1351 )
  • ( 18 )

接入EIP-7702：使用 ZeroDev 将 EOA 升级为智能账户

EIP-7702 允许将 EVM 代码附加到 EOA，使其同时具备 EOA 和智能合约账户的功能。本文介绍了如何使用 ZeroDev SDK 将 EOA 升级为智能账户，并发送 gasless 的批量交易。主要步骤包括生成 7702 authorization、设置 ZeroDev SDK，以及使用 SDK 发送 gasless 批量 UserOp。文章还提供了完整的代码示例和安装包信息。
EIP-7702  EOA  智能合约账户  ZeroDev SDK  gasless 交易  批量交易 

Vitalik: 长期提案 L1执行层 用 RISC-V 替代 EVM

本文提出了一项激进的想法，即用 RISC-V 替代 EVM 作为智能合约的虚拟机语言，旨在提高以太坊执行层的效率和简洁性，解决主要扩展瓶颈。现有的EVM合约和新的RISC-V合约可以互相兼容，开发者仍然可以使用Solidity和Vyper编写智能合约。
EVM  RISC-V  虚拟机  智能合约  以太坊  ZK-EVM 

Solana 链上 AMM 深度解析：Solana 构建者的 Raydium 见解

Raydium 是 Solana 链上的一个 DeFi 应用，它通过集成自动做市商（AMM）与 OpenBook（前身 Serum）的中央限价订单簿（CLOB），实现了一种混合模型。其核心机制包括使用斐波那契数列进行流动性分配，优化交易价格和滑点，并允许用户进行无需许可的池子创建。
Raydium  AMM  Solana  DeFi  OpenBook  斐波那契数列 

以太坊 下一次 Fusaka 将有什么改变

本文介绍了以太坊计划在 Pectra 升级后的下一次硬分叉 Fusaka 的进展，重点介绍了 PeerDAS 和 EOF 两个正式包含的 EIP，以及其他正在考虑的 EIP。文章还讨论了 Fusaka 的实施流程和时间表，并给出了一些参考链接。
Fusaka  PeerDAS  EOF  EIP  以太坊虚拟机  数据可用性采样 

Solana上的代币扩展

本文深入探讨了Solana区块链上的Token扩展，这些扩展为SPL代币增加了额外的功能和元数据，超越了基本代币的能力。
Solana  SPL代币  Token扩展  Confidential Transfer  Transfer Hook  元数据 
  • tobs.x
  • 发布于 2025-04-18
  • 阅读 ( 1586 )
  • ( 143 )

构建Solana MCP服务器与Solana区块链交互

本文介绍了如何使用Model Context Protocol（MCP）构建能够与Solana区块链交互的AI助手。通过创建Solana MCP服务器，AI助手能够查询钱包余额、查看Token账户、检索交易详情和分析账户信息。文章详细阐述了服务器的搭建步骤，包括环境配置、工具创建、资源添加和提示设置，并提供了增强服务器功能的建议，如集成Token元数据、价格信息和交易历史。
Model Context Protocol  Solana  AI助手  区块链  MCP服务器  Solana Kit 
  • QuickNode
  • 发布于 2025-04-18
  • 阅读 ( 1663 )
  • ( 157 )

引介 Constantine - 用于证明系统和区块链协议的高性能密码学开源库

Constantine是一个高性能密码学库，专注于区块链协议和零知识证明系统。它提供常数时间实现的密码学原语，支持多种椭圆曲线和协议，包括以太坊BLS签名、KZG承诺等，并提供Nim、C、Rust、Go等多种语言的接口。该库旨在提供快速、紧凑和强化的椭圆曲线密码学解决方案。
密码学  椭圆曲线  零知识证明  BLS签名  KZG承诺  常数时间 
  • mratsim
  • 发布于 2025-04-17
  • 阅读 ( 1349 )
  • ( 53 )

Builder Playground - 快速搭建区块链的本地测试环境

Flashbots 发布了 Builder Playground，这是一个开源框架，用于快速启动 L1 和 L2 的全面区块构建测试环境。它通过简化部署、优化性能和降低认知负荷，解决了现有工具在速度、灵活性和复杂性方面的挑战，旨在提高区块构建测试的效率和可靠性。
区块构建  测试环境  L1  L2  Flashbots  Builder Playground 
  • flashbots
  • 发布于 2025-04-17
  • 阅读 ( 1197 )
  • ( 35 )

FullDAS：面向使用32MB及以上区块的大规模可扩展性 - 分片

本文提出了FullDAS，一种用于数据可用性抽样（DAS）的网络堆栈，旨在支持32MB及以上的大区块。FullDAS通过优化数据分散和抽样过程，包括liteDAS抽样协议、主题路由、改进的连接机制以及2D编码等技术，旨在实现快速、高效和稳健的数据可用性，从而解决当前网络堆栈在处理大数据块时遇到的瓶颈问题。
数据可用性抽样  DAS  FullDAS  liteDAS  gossipsub  2D编码 

Circom 零知识电路简介

in  零知识证明之书
本文介绍了 Circom 编程语言，它用于创建 Rank 1 Constraint Systems (R1CS) 并填充 R1CS 的 witness 向量，主要是为了简化约束系统的设计和自动化 witness 的生成。文章还解释了 Circom 存在的意义，以及它如何帮助开发者更轻松地进行零知识证明相关的开发，最后说明了学习 Circom 的理由，并概述了资源结构，包括语法和约束设计。
circom  R1CS  SNARKs  Groth16  零知识证明  约束系统 

Circom 之 Hello World

in  零知识证明之书
本文介绍了Circom代码与其编译成的Rank 1 Constraint System (R1CS)之间的关系，并通过几个例子详细解释了如何在Circom中编写约束，以及如何使用Circom命令行工具编译电路、生成witness，并验证电路的正确性。文章还介绍了zkRepl在线IDE的使用，以及Circom中有限域的概念，以及如何将snarkjs导出的R1CS约束转换为Circom中的原始约束。
circom  R1CS  zk-SNARK  零知识证明  约束系统  有限域 

Circom 中的 MD5 哈希

in  零知识证明之书
本文详细介绍了如何在 Circom 中实现 MD5 哈希算法，包括计算哈希值和约束其正确性。文章首先介绍了 MD5 哈希的原理和步骤，然后展示了如何在 Circom 中构建实现 MD5 哈希所需的各种组件，如位运算、循环左移、32 位加法以及初始填充。并通过一个python的例子，展示了MD5哈希的计算过程。
MD5  circom  哈希函数  零知识证明  密码学 

零知识证明友好的哈希函数

in  零知识证明之书
本文介绍了在零知识证明友好的哈希函数，重点介绍了Minimal Multiplicative Complexity (MiMC) 和 Poseidon 这两个流行的 ZK 友好哈希函数的工作原理和性能, 并对比了他们的优劣. 此外还提及了基于椭圆曲线的Pedersen哈希，并指出了以太坊基金会悬赏征集MiMC哈希碰撞，以及对Poseidon安全性的研究。
ZK友好哈希函数  MIMC  Poseidon  零知识证明  哈希碰撞  Pedersen哈希 

深度分析 Jito 在 Solana 的作用

该报告深入分析了 Solana 上 Jito Tips 的使用情况，Jito Tips已经从 MEV 提取的小众工具演变为Solana 交易优先级排序的主要机制，成为 Solana 执行层的引擎。
Jito Tips  MEV  Solana  交易优先级  矿工可提取价值  Pumpswap