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

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
  • 阅读 ( 2379 )
  • ( 37 )

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

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

Solana交易生命周期与Sui对象运行时的比较

本文深入比较了Solana和Sui区块链的交易生命周期，探讨了它们各自通过不同的执行模型实现高吞吐量和低延迟的方式。Solana采用账户中心模型，通过动态冲突检测实现并行处理，而Sui采用对象中心模型，通过对象所有权分析实现静态冲突避免，从而优化交易处理效率和可扩展性。
Solana  Sui  交易生命周期  区块链  共识机制  并行处理  对象模型  账户模型 
  • Helius
  • 发布于 2025-04-14
  • 阅读 ( 1066 )

AI 辅助进行代码安全审计

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

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

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

OpenZeppelin Relayers和Monitor现已开源

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

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

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

区块链入门：重温以太坊

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

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

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

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

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

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

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

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

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

零基础学MPC 教程 - 每个人都可以学会

本文介绍了多方计算（MPC）尤其是姚的加密电路协议的实现，涵盖了从理论基础到代码实现的各个方面，包括RSA、模糊传输、加密电路的生成与评估等。特别强调了如何在保持私人输入的隐私前提下进行安全计算，适合对MPC感兴趣的读者深入学习。
多方计算  RSA  加密电路  姚的加密电路  密码学  MPC 
  • zellic
  • 发布于 2025-04-07
  • 阅读 ( 1846 )
  • ( 82 )

深入探讨椭圆曲线（第5部分）

in  密码学101
本文深入探讨了椭圆曲线上的除法器及其与函数、群结构的关系，阐明了点加法为何采用特定规则，最终揭示了此过程与Picard群之间的同构关系。这为理解椭圆曲线的运算机制打下了基础，同时预告了将要探讨的配对应用。
椭圆曲线  除法器  Picard群  点加法  群结构  代数几何 

介绍 Create Chimera App V2

本文介绍了create-chimera-app V2的更新，旨在简化模糊测试的设置和运行，包含了新的管理器（ActorManager和AssetManager）及其功能，分离目标函数以提高可读性，以及引入新的修饰符和错误捕获功能。这些改进使用户能更有效地进行不变测试，减少设计决策。
模糊测试  治理合约  目标函数  资产管理  不变测试  错误捕获 
  • Recon
  • 发布于 2025-04-06
  • 阅读 ( 1697 )
  • ( 56 )

区块链101：再探共识机制

in  区块链101
本文深入探讨了以太坊的共识机制，从早期的工作量证明（PoW）转变为权益证明（PoS），并详细描述了PoS的运作原理、验证者的角色和经济激励机制。文章还阐述了区块的验证过程、处理恶意行为的方法以及最终性机制，为读者提供了一把理解以太坊共识的钥匙。
以太坊  共识机制  权益证明  工作量证明  区块链  智能合约 

EIP-2935：实现无状态执行的一步

本文深入探讨了以太坊的状态管理和EIP-2935提案，提出通过引入无状态执行来解决因状态增长带来的问题。文章详细介绍了以太坊的区块结构、Merkle树、Gas机制，以及状态和数据的过期管理，通过对比现有EIP，强调EIP-2935在实现无状态以太坊中的重要性与潜在益处，促进了以太坊的去中心化和可扩展性。
以太坊  无状态执行  EIP-2935  状态管理  Merkle树  区块链