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

Aleo 开发实战：用 TypeScript 打通隐私合约本地验证与上链全流程

in  Web3
Aleo开发实战：用TypeScript打通隐私合约本地验证与上链全流程在上一篇文章《Aleo开发实战：从环境搭建到隐私合约上链的全过程》中，我们一起完成了Aleo隐私公链的环境搭建、项目初始化，并成功将第一个零知识证明（ZK）智能合约部署到了测试网。还掌握了如何通过优化程序名称来规避
Web3  Aleo  Aleo Network 

Aleo 开发实战：从环境搭建到隐私合约上链的全过程

in  Web3
Aleo开发实战：从环境搭建到隐私合约上链的全过程在传统公链生态中，“透明即公开”的底层逻辑虽然保证了去中心化，但也带来了严重的数据隐私痛点。Aleo作为一个定位为"ZKbyDesign"的Layer1协议，为这个问题交出了一份硬核答卷——它是全球首个默认隐私、可编程且无需许可的
Web3  zk  Aleo  Aleo区块链 

MMCS (Mixed Matrix Commitment Scheme)

MMCS(MixedMatrixCommitmentScheme)MerkleTree用于对向量（单列数据）承诺，而MMCS(MixedMatrixCommitmentScheme)支持对多个不同高度和宽度的矩阵进行承诺和验证。构造MMCS图片来源：merkle-t
zkVM 

op succint（op Kailua等riscv通用零知识证明虚拟机）和zkysnc等专用零知识证明的在以太坊上面的核心区别

op succint（op Kailua等riscv通用零知识证明虚拟机）和zkysnc等专用零知识证明的在以太坊上面的核心区别。 riscV通用零知识证明的虚拟机代表着未来。完胜。
zk  ZK Rollup  以太坊  以太坊 L2 

zkvm-brainfuck [4] 生成 proof

算术化：将计算问题转换为有限域F上的多项式代数问题。zkSTARK算数化会构建程序的代数中间表达(AlgebraicIntermediateRepresentation,AIR)，用s个多项式描述当前执行状态与下一步状态的转换约束。算术化中会得到两种witness：整个待
zkVM 

zkvm-brainfuck [3] 约束

通过chip的eval()函数对trace表的列添加约束。本文列出每个chip的核心约束。列出如下变量/寄存器clk：每条指令运行的时间戳pc：指令指针，指向当前指令ci：当前指令，pc指向的指令mp：内存指针，执行一个内存单元mv：内存值，mp所指内存单元的值
zkVM 

zkvm brainfuck [2] 生成 Trace

ExecutionRecord为了实现对brainfuck程序的约束，需要将每条指令运行过程中的一些信息收集起来，放到ExecutionRecord中。ExecutionRecord中会包含多种event列表，后续会被转换为trace表.一条指令会生成多个event，每条指令
zkVM 

zkvm brainfuck [1] Brainfuck Executor

Brainfuck编程语言Brainfuck只有8条指令。假设mp为内存指针，mv为mp所指内存单元的值，最初两者都为0[：如果mv==0，则跳转到相应]指令的下一条指令处；否则，执行下一条指令。]：如果mv!=0，则跳转到相应[指令的下一条指令处；否
zkVM 

内存一致性检查：Multiset Hashing

在zkVM中，内存访问一致性检查是证明任何读操作返回的值确实是写入该内存地址的最新值。如果能证明读取和写入的数据是置换关系，便可证明内存访问的一致性。内存一致性检查构造读集合RRR和写集合WWW，元素都是(addr,val,cnt)(addr,val,cnt)(addr,val,
zkVM 

LogUp 在 zkVM 中的应用

Lookup(LogDerivativeLookupArgument)是一种通过**预计算表（LookupTable）**来验证某个值是否存在于特定集合中的技术。在ZKP中，它通常用于减少电路约束的复杂性，将复杂的算术约束（如位操作、范围检查）转换为查表操作，减少证明生成的开销。L
zkVM 

重心插值

重心插值（Barycentricinterpolation）是拉格朗日插值的变换。有时候需要通过一组多项式点值直接计算另一个不同点处的值，例如，p(x)p(x)p(x)是一个度为2的多项式，可以在O(N)时间内用p(0),p(1),p(2)p(0),p(1),p(2)p(0),

GARUDA: Faster SNARKs via Equifficient Polynomial Commitments

GARUDA: Faster SNARKs via Equifficient Polynomial Commitments
zk  ZKP 
  • longerd
  • 发布于 2025-08-20
  • 阅读 ( 1553 )
  • ( 16 )

GARUDA and PARI: Faster and Smaller SNARKs via Equifficient Polynomial Commitments

PARI: Smaller SNARKs via Equifficient Polynomial Commitments
zk  ZKP 
  • longerd
  • 发布于 2025-08-20
  • 阅读 ( 1514 )
  • ( 15 )

Jagged多项式承诺

in  zkMIPS解读
Jagged 多项式承诺用于在列高不规则的矩阵中高效进行承诺和验证。通过定义稀疏与稠密多项式的映射，并使用多变量 Sumcheck 协议验证它们在随机点的一致性，从而实现高效、灵活的零知识证明支持。
Ziren  zkMIPS 
  • ZKM
  • 发布于 2025-07-15
  • 阅读 ( 2120 )
  • ( 20 )

区块链隐私与监管合规：迈向实际的平衡

本文研究了隐私池，这是一种基于智能合约的新型隐私增强协议。我们讨论了该协议的优缺点，并展示了如何利用它在诚实用户和不诚实用户之间建立分离均衡。该提议的核心思想是允许用户发布零知识证明，以证明其资金（不）来自已知的（非）合法来源，而无需公开披露其整个交易图。
隐私协议  以太坊  零知识证明 
  • 卡卡
  • 发布于 2025-07-06
  • 阅读 ( 2989 )
  • ( 49 )

garaga+noir+starknet starter项目实战

scaffold-garaga
Starknet 
  • 链创通
  • 发布于 2025-06-22
  • 阅读 ( 2386 )
  • ( 12 )

赋予金融系统中的代理AI需要零知识证明和隐私保护技术

AIAgent的兴起金融市场正迈入一个新时代，伴随着“AIAgent”的出现——一种自主、专门化的代理能够推理、行动并协作，以应对复杂的多步骤挑战。
Chainlink 
  • Chainlink
  • 发布于 2025-06-04
  • 阅读 ( 2151 )
  • ( 23 )

Web 3 的世界近在咫尺 - 浏览器中的 ZKP

本文介绍了如何使用 Rust 编写零知识证明（ZKP）并在 WebAssembly (WASM) 中集成，从而在浏览器中运行 ZKP。文章展示了如何使用 wasm-pack 构建 WASM 文件，并在 HTML 中通过 JavaScript 桥接调用 Rust 代码实现 ZKP 的生成、证明和验证过程，使得在 Web 应用中实现隐私保护和可信计算成为可能。
零知识证明  WebAssembly  Rust语言  zkSNARK 

ZK Mesh：2025年4月回顾

ZK Mesh是关于隐私增强密码学、分布式协议开发和零知识系统研究的月度新闻通讯，涵盖了最新的研究、文章、视频、播客、推文、工具、项目更新和活动。本期内容包括了zkSpeed、线性时间累积方案、GIGA协议等研究，以及硬件友好的HyperPlonk、后量子密码学代码优化等文章，以及多个零知识证明相关的视频和项目更新。
零知识证明  zkVM  密码学  隐私增强  zkTLS  HyperPlonk 
  • zkmesh
  • 发布于 2025-05-01
  • 阅读 ( 2260 )
  • ( 28 )

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

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