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

构建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
  • 阅读 ( 1682 )
  • ( 157 )

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

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

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

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

从零开始的聚合器开发: Lotus Router 合约解析

Lotus Router是一个专门针对MEV交易的交易路由合约，支持多种DeFi协议，如Uniswap V2/V3等。文章详细介绍了合约的核心逻辑、数据结构及压缩编码方法，展示了如何在处理复杂回调及数据解码时，使用内联汇编来优化执行效率和减少calldata体积，并指出代码中存在重入攻击的风险。
Lotus Router  MEV  Uniswap  合约  内联汇编  Calldata 
  • WongSSH
  • 发布于 2025-04-14
  • 阅读 ( 1393 )
  • ( 37 )

以太坊隐私：通往自我主权的道路

关于将以太坊转变为一个以隐私为优先的金融系统的路线图。作者强调隐私必须成为以太坊网络的默认状态，而不是用户需要主动开启的特性。文章详细阐述了实现这一目标的必要步骤，以及当前以太坊隐私的技术挑战，并提出了分阶段的具体方案。
以太坊隐私  零知识证明  智能合约  加密技术  金融隐私  自我主权 

AI 辅助进行代码安全审计

本文探讨了人工智能工具在区块链安全审计中的应用，包括其优点、局限性及实际案例。文章详细描述了AI工具如何增强代码理解、漏洞检测、攻击向量验证和文档报告写作等过程，同时强调了人工审计师在验证工具输出的重要性。各类AI工具的选择与使用对提高审计效率。文章对当前AI技术的快速发展及其未来趋势进行了展望。
区块链安全  人工智能  漏洞检测  智能合约  审计工具  深度学习 

Solodit 检查清单解读 (4)：抢跑攻击

本文深入探讨了区块链中的抢跑攻击，分析了攻击者如何利用透明交易的特性实现自己的利益。通过实例和示例代码，作者提供了防范抢跑攻击的最佳实践，包括保护'获取或创建'模式、两步交易的安全性检查、避免尘埃攻击和正确使用承诺-揭示方案。通过理解这些攻击方式，开发者可以更好地设计安全的智能合约。
智能合约  安全性  承诺-揭示  尘埃攻击  抢跑 
  • Cyfrin
  • 发布于 2025-04-12
  • 阅读 ( 1052 )
  • ( 81 )

OpenZeppelin Relayers和Monitor现已开源

本文介绍了OpenZeppelin最新发布的开源Relayers和Monitor工具，旨在为区块链开发者提供更高的自定义和灵活性。Relayers支持各种自动化交易需求，而Monitor则用于实时监控区块链活动，两者均有助于提高开发效率。文章还讨论了这些工具在Solana和Stellar网络的应用，并鼓励开发者参与反馈和建议。
开源工具  区块链开发  自动化交易  实时监控  Solana  Stellar 

Solodit 清单解读：拒绝服务攻击 第 1 部分

本文详细介绍了如何在智能合约中防止拒绝服务（DoS）攻击，探讨了常见的攻击模式和安全编码实践，强调了拉取模式和最低交易额的必要性，以及黑名单功能可能带来的风险。文章通过代码示例清晰展现了这些关键点，并提出了实用的预防措施。
拒绝服务攻击  智能合约  安全编码  拉取模式  交易最小值  黑名单 
  • Cyfrin
  • 发布于 2025-04-09
  • 阅读 ( 1104 )
  • ( 88 )

区块链入门：重温以太坊

in  区块链101
本文探讨了以太坊的网络更新过程，包括硬分叉和软分叉的基本概念以及其对以太坊生态系统的影响。文章还介绍了以太坊改进提案（EIP）的过程，以及如何通过开发网络和测试网络来确保网络升级的安全性。在最后部分，文章简述了以太坊的原生货币以太币及其与Gas费用的关系，提出了以太坊的经济模型。
以太坊  硬分叉  软分叉  以太币  EIP  Gas 

Solana上的隐私转账：开发者指南

本指南详细介绍了Solana的保密转移扩展功能，该功能允许安全且隐私保护的代币转账。文章阐述了原理、实现细节及使用方法，包括如何使用零知识证明和同态加密保护账户余额和转移金额，同时还提供代码示例和最佳实践建议。
Solana  保密转移  零知识证明  同态加密  区块链隐私  SPL代币 
  • QuickNode
  • 发布于 2025-04-08
  • 阅读 ( 1141 )
  • ( 80 )

如何使用Dune构建Solana数据仪表板

本文深入探讨了如何在Dune平台上构建Solana区块链仪表板，介绍了Solana的高吞吐量所产生的数据，以及如何利用Dune分析和可视化这些数据。通过示例引导读者，作者详细介绍了Solana的账户模型、交易结构以及如何有效查询和分析交易，最终帮助用户有效利用这些数据进行决策。
Solana  区块链  Dune  数据分析  仪表板  交易 
  • Helius
  • 发布于 2025-04-08
  • 阅读 ( 1348 )
  • ( 136 )

以太坊验证者退出过程 及 Pectra 硬分叉带来的变化

本文详细讲解了以太坊验证者的退出过程及即将到来的Pectra硬分叉带来的变化，重点介绍了退出队列、取款时延及验证者清算等步骤，同时解释了相关术语与安全性保障。文中讨论了验证者如何更好地管理退出和取款，提供了当前和未来机制的对比，确保经济安全与程序性能的平衡。
以太坊  验证者退出  Pectra硬分叉  退出队列  取款  经济安全 

永不停息地改进你的不变性测试

本文讨论了Recon团队如何改善Centrifuge现有的不变性测试套件，主要通过引入最佳实践以简化测试过程并提高代码质量。这些实践包括专门使用断言测试、实现ActorManager、简化无状态测试和采用归纳法简化属性检查，以及设置Fork测试环境，结果揭示了一个之前未知的边界情况。
不变性测试  断言测试  ActorManager  无状态测试  归纳法  Fork测试 
  • Recon
  • 发布于 2025-04-07
  • 阅读 ( 687 )
  • ( 40 )