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

Circom 公开和私有输入

本文介绍了 Circom 中 public input 和 output 的概念，以及如何在 Circom 电路中定义和使用它们。
circom  零知识证明  public input  output  witness  R1CS 

ZK Mesh：2025年4月回顾

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

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

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

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

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

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

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

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

Noir的背后：从代码到约束

本文深入探讨了Zero-Knowledge Proof（ZKP）及其在去中心化系统中的应用，重点介绍了Noir语言的编译过程。通过实例展示如何将高层次的Noir代码转换为ACIR（抽象电路中间表示），从而实现ZKP所需的数学约束，涵盖了从基本电路、Pedersen散列到动态内存访问与条件执行的更复杂电路的实现。
zero-knowledge proofs  Noir  ACIR  Pedersen hash  电路开发 

zkPass：实现可验证的数据可组合性

本文系统回顾了隐私保护和数据验证的发展历程，特别聚焦于零知识证明（ZKP）和zkPass协议的应用。zkPass通过多方计算与零知识证明技术，实现了在保护隐私的同时进行安全数据交换的创新解决方案，为各个行业提供了有效的身份验证和数据共享方法。
zkPass  零知识证明  数据验证  隐私保护  多方计算  zkTLS 

一文了解BLS聚合签名

in  密码学和网络安全
BLS聚合签名（BLSAggregateSignature）是一种基于BLS（Boneh-Lynn-Shacham）签名算法的高级密码学技术，具有签名聚合的能力。
BLS signatures 
  • Louis
  • 发布于 2025-03-12
  • 阅读 ( 1786 )
  • ( 102 )

如何进行ZK：Noir与Circom比较

本文对Circom和Noir进行了高层次比较，探讨了它们的生态系统、工具集、性能以及最佳用例。Circom作为一个低级领域特定语言，关注于电路约束的细粒度控制，而Noir则是一种更高层次的语言，旨在简化开发者体验，使其无需手动管理约束，进而提升工具的灵活性和可用性。
circom  Noir  零知识证明  电路  生态系统  工具 

深入研究椭圆曲线（第四部分）

in  密码学101
本文深入探讨了椭圆曲线上的函数与映射，包括群的同态、同构、扭曲及其在密码学中的应用。作者解释了如何通过这些概念构建更复杂的算法，以及它们在有限域上的数学特性和意义。文章结构清晰，逻辑严谨，为读者提供了深入的技术理解。
椭圆曲线  函数  同态  同构  扭曲  密码学 

密码学基础：环（Ring）上学习错误问题

in  密码学101
本文介绍了环学习错误（Ring Learning With Errors, RLWE）这一加密技术的基础概念，讨论了基于多项式环的加密方法及其安全性，并探索了RLWE与格密码（Lattice-based Cryptography）之间的联系。
RLWE  多项式环  格密码  加密  后量子密码学 

密码学入门：阈值签名

in  密码学101
本文详细介绍了阈值签名（Threshold Signatures）的工作原理，这是一种多方参与的签名方案，允许在不需要所有参与者签名的情况下生成有效的签名。文章涵盖了密钥生成、签名和验证的步骤，并讨论了多项式和椭圆曲线在其中的应用。
阈值签名  多项式  椭圆曲线  多方计算  VRSS  ECDSA 

椭圆曲线深入解析（第二部分）

in  密码学101
本文深入探讨了椭圆曲线密码学中椭圆曲线的定义和操作，特别是如何通过有限域和模运算在离散环境中进行点加和倍点操作，并介绍了射影坐标系的优势。
椭圆曲线  有限域  模运算  射影坐标  密码学  点加 

密码学基础：同态与同构

in  密码学101
文章介绍了密码学中的同态(Homomorphism)和同构(Isomorphism)概念，并通过椭圆曲线群的例子展示了同态加密的基本原理及其在ElGamal加密系统中的应用。
同态  同构  椭圆曲线  ElGamal加密  同态加密 

密码学基础：零知识证明（第三部分）

in  密码学101
本文介绍了如何使用zkSNARK（如Plonk）构建算术电路来进行零知识证明，特别是范围证明和集合成员证明。通过具体的例子，展示了如何将数学表达式转化为电路，并讨论了其中的技术和挑战。
zkSNARK  PLONK  范围证明  集合成员证明  算术电路  零知识证明 

椭圆曲线深入解析（第一部分）

in  密码学101
深入解析椭圆曲线
椭圆曲线  密码学