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

全同态加密与真正隐私互联网的曙光

本文深入探讨了全同态加密（FHE）技术，该技术允许在加密数据上进行计算而无需先解密，从而确保数据在整个生命周期中的隐私。文章讨论了FHE的工作原理、性能改进以及其在云计算、LLM推理和区块链智能合约等领域的潜在应用，强调了FHE技术正快速发展，或将推动互联网隐私保护进入新时代。
全同态加密  FHE  同态加密  格密码  噪声管理  自举 
  • bozmen
  • 发布于 2025-07-28
  • 阅读 ( 1098 )
  • ( 98 )

多方计算（MPC）、阈值签名（TSS）和MPC-TSS钱包概述

本文深入探讨了数字资产安全领域，对比了传统钱包和多方计算（MPC）钱包的优缺点，重点介绍了基于阈值签名方案（TSS）的MPC钱包如何通过密钥分片和分布式密钥生成（DKG）来提高安全性，并分析了ZenGo钱包的具体实现及其备份恢复机制，强调了MPC技术在解决私钥管理难题中的作用。
多方计算  MPC  阈值签名  TSS  密钥管理  ZenGo钱包 
  • Mohamed
  • 发布于 2025-07-25
  • 阅读 ( 1238 )
  • ( 52 )

那些被误用的密码学 - 看看密码学有哪些“陷阱”！

本文作者总结了密码学中常见的陷阱，包括基础概念的误解、nonce/IV 的错误使用、算法选择的漏洞、AES-GCM 的使用不当、签名机制的缺陷以及侧信道攻击的风险，并对X.509证书的相关问题进行了分析说明，旨在帮助密码学从业人员避免这些常见的错误，提高密码系统的安全性。
密码学  加密  认证  AES-GCM  签名  侧信道攻击  X.509证书 

Circom 常见陷阱及规避方法 — 第 1 部分

本文深入探讨了在 Circom 中编程时可能遇到的常见陷阱，包括错误地使用 `assert`、不正确地处理 hints (即 `<--` 运算符)，以及由于有限域算术导致的别名攻击。文章提供了具体的代码示例和避免这些陷阱的方法，强调了在 Circom 电路开发中进行严格约束和安全编码的重要性。
circom  零知识证明  R1CS  约束  别名攻击  有限域算术 

2025/06 ZK技术进展 by ZK Mesh

ZK Mesh June 2025 Recap 是一个关于零知识证明（ZKP）的每月通讯，内容涵盖最新的隐私增强加密技术、分布式协议开发和零知识系统研究。ZK Mesh 由 ZK Hack 制作，内容包括研究论文、文章、视频、播客、项目更新和活动等。
零知识证明  zk-SNARKs  zkVM  隐私  加密  zkID 
  • zkmesh
  • 发布于 2025-07-02
  • 阅读 ( 1428 )
  • ( 32 )

你想成为一名密码学家？- 密码学学习引导

本文为想要学习密码学的人提供了一个资源列表和学习指南，内容涵盖了密码学学习的各个方面，从课程、书籍到实践活动，以及其他阅读材料和建议。作者鼓励读者深入学习，并强调了安全的重要性，同时还给出了社区参与的建议。
密码学  加密算法  安全  密码破译  代码安全  应用密码学 

即使进行了零知识证明（ZK）包装，数字身份也存在风险吗？

文章探讨了零知识证明（ZK）包装的数字身份的潜在风险，尽管ZK能解决许多隐私问题，但它并不能完全消除风险。文章指出，试图维护“一人一身份”的模式会带来隐私泄露、易受胁迫和错误等问题。文章提倡一种折衷方案，即允许多个身份的存在，并提出“多元身份”的概念，包括显式的（基于社交关系）和隐式的（多种类型的ZK身份，没有哪一种占据绝对市场份额），以实现更理想的平衡。
零知识证明  数字身份  隐私  多元身份  反女巫攻击  zk-wrapping 

Circom 公开和私有输入

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

基于哈希的签名聚合

本文档描述了基于哈希的签名聚合的不同方法，包括使用zkVM（如succinctlabs/sp1和openvm-org/openvm）以及直接使用电路（plonky3）。重点介绍了每种方法的源代码位置，以及电路方法的AIR traces的划分和作用。通过将电路分解为多个AIR traces，并使用lookup连接输入/输出，有效地处理非均匀计算，并提供了基准测试结果用于评估性能。
哈希签名  zkVM  Plonky3  电路  签名聚合  Poseidon2 
  • han___
  • 发布于 2025-05-19
  • 阅读 ( 358 )
  • ( 6 )

ZK Mesh：2025年4月回顾

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

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

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

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

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