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

ZK中的32位仿真

in  零知识证明之书

本文介绍了如何在零知识证明（ZK）电路中模拟32位算术运算，由于ZK默认数据类型是有限域元素，而实际计算常用32位、64位或256位数字，因此需要用域元素来模拟传统数据类型。文章详细讲解了32位范围检查、加法、乘法、除法与取模、位移以及位运算的实现方法，并提供了相应的Circom代码示例，同时还讨论了ZK EVM如何处理256位数字。
零知识证明  circom  32位算术  有限域  ZK EVM  范围检查  模运算 

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哈希 

排列论证 - The Permutation Argument

in  零知识证明之书

本文档介绍了使用排列参数证明两个列表包含相同的元素，但顺序可能不同的证明。
排列论证  零知识证明  Schwartz-Zippel Lemma  多项式相等性测试  circom  哈希函数 

ZKVM 的工作原理

in  零知识证明之书

本文介绍了零知识虚拟机（ZKVM）的概念，它能创建零知识证明来验证机器指令的正确执行。文章通过一个简化的栈式ZKVM示例，展示了如何使用Circom实现基本的算术运算，并探讨了提高ZKVM效率的现代方法，如查找表和递归证明。 ZKVM在零知识Layer2区块链中至关重要，并可用于验证机器学习算法的正确执行。
零知识虚拟机  zkVM  零知识证明  circom  栈式虚拟机  查找表  递归证明 

选择排序的零知识证明

in  零知识证明之书

本文介绍了如何在零知识电路中证明选择排序算法的正确执行过程。由于ZK电路中信号的不可变性，每次交换都需要创建一个新的列表快照。为此，文章详细展示了如何通过多个中间状态的转换来证明排序的正确性，包括查找子列表中最小值的索引、交换列表中的两个元素等关键步骤, 并提供相应的代码模版。
零知识证明  选择排序  状态计算  电路  密码学 

深度分析 Jito 在 Solana 的作用

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

Solodit Checklist详解：Griefing攻击

本文解释了Solodit checklist中关于防范Griefing攻击的两项检查（SOL-AM-GA-1和SOL-AM-GA-2），Griefing攻击旨在干扰或阻止正常用户执行功能，攻击者通常会付出成本（如gas费）。文章通过具体合约代码示例展示了攻击原理和PoC，并提供了修复建议，强调开发者需要从对抗的角度去思考，验证外部交互，确保状态一致性。
Griefing攻击  拒绝服务  智能合约  Solidity语言  Gas限制  重放保护 
  • cyfrin
  • 发布于 2025-04-15
  • 阅读 ( 71 )

引介 micro-zk-proofs ： 用于创建和验证零知识 SNARK 证明的开源库

该文档介绍了micro-zk-proofs库，一个用于并行创建和验证零知识SNARK证明的工具，它支持Groth16协议，并计划支持PLONK等。
零知识证明  SNARK  Groth16  PLONK  circom  zk-proofs 
  • paulmillr
  • 发布于 2025-04-15
  • 阅读 ( 263 )
  • ( 10 )

Web3 极客日报 #1722

  • rebase
  • 发布于 2025-04-15
  • 阅读 ( 236 )
  • ( 13 )

Payjoin 的演化：从两方协议到多方框架

“Payjoin” 是一种革命性的协议，让钱包可以相互沟通并创建出合作式的、更加智能也更高效的比特币交易。它提供了一种批量处理（batching）支付的技术，使用这种技术的交换和支付的处理者可以节约手续费、保护自己和用户的金融隐私，同时还能增加比特币的可扩展性。
payjoin 

以太坊协议升级流程

本文档详细描述了以太坊协议升级的流程，包括从开发网络、测试网络到主网络的升级管理，以及安全审查、分叉准备、测试协议和沟通策略。旨在标准化升级过程，从而提高网络的安全性和稳定性，并概述了在升级失败情况下的事件响应计划，确保问题能够得到迅速解决。
以太坊  协议升级  测试网络  主网络  事件响应  安全审查 
  • ethereum
  • 发布于 2025-04-15
  • 阅读 ( 44 )
  • ( 2 )

玩转 Web3：用 Viem 库实现以太坊合约部署与交互

in  Web3

玩转Web3：用Viem库实现以太坊合约部署与交互想一窥Web3开发的奥秘？以太坊智能合约是通往区块链世界的大门，而Viem库让你轻松迈出第一步！本文通过一个TypeScript脚本，带你从连接本地以太坊测试网到部署合约、实现交互，全程手把手实战。不管你是Web3新手还是想探
Web3  Viem  Solidity 

加密货币借贷市场现状

本文详细分析了加密货币借贷市场的现状，涵盖了链上和链下的 CeFi 和 DeFi 借贷服务。报告回顾了加密借贷市场的历史，参与者，突出重要事件，并深入研究了链上和链下环境中杠杆的运作方式、使用者以及各种风险，最后探讨了加密货币借贷市场的未来发展方向。
加密货币借贷  CeFi  DeFi  链上借贷  链下借贷  稳定币 
  • Galaxy
  • 发布于 2025-04-15
  • 阅读 ( 115 )
  • ( 8 )

发币后，如何快速修改Solana代币信息？

在Solana链上管理和更新代币信息是每个Dev和项目方需要熟悉的基本操作。在创建代币后，如果Dev发现自己添加的信息是错误的，或者觉得这个币没什么热度，又不想放弃这个池子，省一点之前交易的手续费，想要换个代币名称或logo，就要通过一些零代码平台去设置，快速修改代币的元数据，包括名称、符号、lo
SPL Token  元数据修改 

SolBlaze ： Solana 上的的流动性质押

Liquid Staking 是解决区块链用户如何在质押过程中保持资产流动性的一种创新机制，用户可以通过将 SOL 质押到协议中获得流动质押代币（LST），继续享受质押奖励的同时保留资产的可交易性。文章详细阐述了 Liquid Staking 的运作机制、与传统质押的对比、SolBlaze 生态系统的组成及其对 DeFi 的影响。
流动质押  SOL  Liquid Staking 代币  质押池  去中心化金融  SolBlaze 
  • tobs.x
  • 发布于 2025-04-15
  • 阅读 ( 269 )
  • ( 22 )

Realms：在 Solana 上实现 DAO 参与的民主化

本文介绍了 Realms 平台及其在 Solana 生态系统中的作用，特别是通过 Jito 和 Pyth DAO 两个案例说明，展示了 Realms 如何简化 DAO 的创建和管理，实现无需许可的治理，并激励社区成员参与 DAO 的治理和发展，强调了其透明、开放和社区驱动的特性，以及与传统 DAO 相比的优势。
DAO  Realms  Solana  Jito  Pyth  链上治理 
  • tobs.x
  • 发布于 2025-04-15
  • 阅读 ( 284 )
  • ( 19 )

SUI Move合约实践——SUID简单流动性质押池 SUI -Staking Pool

`modulestaking_rewards::staking{usesui::object::{Self,ID,UID};usesui::transfer;usesui::tx_context::{Self,TxContext};usesui::balance::{Se
Staking rework 
  • Alan
  • 发布于 2025-04-15
  • 阅读 ( 232 )
  • ( 7 )

椭圆曲线深度剖析（第六部分）

in  密码学101

本文深入探讨了椭圆曲线上的有理点问题，首先通过圆上的有理点引出寻找有理点的概念，然后讨论了椭圆曲线有理点的存在性和群结构，以及Mordell-Weil定理，提出了确定椭圆曲线秩的挑战，并介绍了BSD猜想以及L-函数在解决该问题中的应用。文章旨在加深对椭圆曲线理论的理解，为后续学习配对技术打下基础。
椭圆曲线  有理点  Mordell-Weil群  BSD猜想  L-函数  秩 

深入解读 Redb：高性能嵌入式键值存储的新秀

引言在当今的数据驱动时代，高效的数据存储和管理至关重要。嵌入式键值存储因其轻量级、高性能和易于集成的特点，在众多应用场景中得到了广泛应用。Redb作为一个新兴的嵌入式键值存储库，以其简单、可移植、高性能和支持ACID等特性，吸引了众多开发者的关注。本文将深入解读Redb的核心特性、
Redb  Rust 
  • King
  • 发布于 2025-04-15
  • 阅读 ( 633 )
  • ( 42 )