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

宣布我们的 B 轮融资和 Zama 保密区块链协议

Zama 宣布推出 Zama Confidential Blockchain Protocol，这是一个在任何 L1 或 L2 之上实现保密智能合约的协议，并完成了 5700 万美元的 B 轮融资，估值超过 10 亿美元。该协议利用全同态加密（FHE）技术，通过多方计算（MPC）和零知识证明（ZK）来解决其他保密解决方案的不足，旨在实现区块链的大规模应用，尤其是在金融、身份和治理领域。
全同态加密  FHE  机密智能合约  区块链  多方计算  零知识证明 
  • ZamaFHE
  • 发布于 2025-06-26
  • 阅读 ( 1649 )
  • ( 52 )

当大多数人听到零知识证明（ZKP）时，他们会想到加密钱包和区块链 Rollup但是，ZKPs 正在悄然驱动一类新的隐私优先应用程序——从人工智能到云基础设施——远在 Web3 之外

本文探讨了零知识证明（ZKP）在Web3以外的实际应用，例如谷歌在钱包中使用ZKP进行年龄验证，Cloudflare利用ZKP实现私有Web认证，EZKL用于隐私保护的机器学习，以及TikTok使用ZKP为TEE构建无需信任的远程认证系统。这些案例展示了ZKP在构建更注重隐私、可验证和尊重用户互联网方面的潜力。
零知识证明  隐私保护  远程认证  ZKML  ECDSA  zkAttest  可信执行环境 
  • hexens
  • 发布于 2025-06-25
  • 阅读 ( 189 )

深入探讨Binius M3算术化，以Merkle树包含为例

本文深入探讨了Binius的M3算术化框架，以Merkle树包含性证明为例。重点介绍了表和通道作为M3中的基本抽象，取代了传统顺序执行轨迹的概念，转而使用声明式、数据驱动模型。计算被分解为模块化表，并通过通道平衡来维护全局一致性。文章还分析了 MerkleTreeCS 工具，协调多个表和通道来验证 Merkle 路径的正确性。
零知识证明  算术化  Merkle树  Binius  M3  多重多重集匹配 

谷歌采用后量子签名

本文介绍了谷歌在其Tink库中采用的后量子签名方法ML-DSA，用于增强数字签名的安全性，以对抗量子计算机的威胁。文章通过代码示例展示了如何使用ML-DSA-65进行消息签名和验证，并对比了ML-DSA与其他签名算法在密钥大小、签名大小和安全级别上的差异。
后量子密码学  数字签名  ML-DSA  Google Tink  密钥大小  签名大小 

在 AWS 中使用 ML-DSA

文章介绍了如何在AWS KMS中使用ML-DSA进行数字签名。首先，在AWS KMS中创建ML-DSA密钥，然后展示如何使用AWS CLI获取公钥并进行签名和验证。此外，文章还提供了Python代码示例，演示了如何使用boto3库在AWS KMS中执行相同的操作，包括密钥的创建、签名及验证。
ML-DSA  AWS KMS  数字签名  boto3  密钥管理  后量子密码 

区块链中的数学（八十三）-- MMCS（Mixed Matrix Commitment Scheme）

在零知识证明（如FRI、STARK等）和多项式承诺场景中，我们经常需要对多个矩阵的数据进行批量承诺和验证。
MMCS  zk 

garaga+noir+starknet starter项目实战

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

门罗币：为何它可能无法成为一种有效的洗钱工具

本文深入探讨了门罗币（Monero）在加密货币犯罪活动中的使用情况。
门罗币  隐私币  匿名性  环签名  隐形地址  洗钱 

Circom 公开和私有输入

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

ZK/SEC 季度报

提供了一系列关于零知识证明（ZKP）和相关技术的文章概览，涵盖Sumcheck协议、多线性扩展、HyperPlonk、形式化验证、Σ协议、Circle STARKs、Proximity Gaps、LaBRADOR、Bulletproofs等主题。文章旨在帮助读者理解并实践这些协议，涉及密码学、安全性、zkVMs、算术电路、格密码学等领域。
零知识证明  sumcheck  STARKs  Bulletproofs  密码学  安全 

网络安全基石的奠基人：Ralph C Merkle

本文介绍了Ralph C Merkle在密码学和网络安全领域的卓越贡献，包括公钥密码、密码哈希、Merkle Puzzles、Merkle-Hellman背包密码系统和Merkle树等。文章回顾了Merkle在公钥密码学上的突破性工作，以及他对Merkle树的贡献，Merkle树在区块链和其他领域有着广泛的应用。
公钥密码  密码哈希  Merkle树  Merkle-Hellman背包密码系统  Diffie-Hellman  密码学 

Additive FFT：背景

本文深入探讨了在特征为2的域上进行多项式求值和插值的问题，重点介绍了David Cantor提出的适用于正特征域上的加性快速傅里叶变换（Additive FFT）算法。该算法通过使用线性化多项式的性质，在向量子空间上递归地进行多项式求值和插值，为在二元域塔上实现高效的Reed-Solomon编码提供了理论基础，并最终应用于多项式承诺。
加性快速傅里叶变换  线性化多项式  二元域塔  Reed-Solomon编码  有限域  多项式求值 

在深入研究密码学电路中缺失范围检查攻击之前，有必要了解什么是群，它们的大小（阶）如何表现，以及为什么这很重要

本文深入探讨了密码学电路中缺失范围检查攻击的原理和实例，首先介绍了群论的基础知识，包括群、子群、群的阶、元素的阶、生成器和循环群等概念，以及拉格朗日定理及其推论。
零知识证明  椭圆曲线  bn254  Groth16  子群攻击  范围检查 
  • hexens
  • 发布于 2025-06-17
  • 阅读 ( 131 )

隐私计算之不经意传输

in  密码学方向
隐私计算之不经意传输今天讲一讲密码学中一种重要的隐私保护协议-不经意传输（Oblivious Transfer，简称OT），1981年由密码学家Ron Rivest首次提出 1-out-of-2 OT 的概念。
密码学  区块链  隐私计算  不经意传输  OT  安全算法 
  • 皓码
  • 发布于 2025-06-17
  • 阅读 ( 1876 )
  • ( 18 )

冷密钥共享

本文介绍了FROST（Flexible Round-Optimised Schnorr Threshold）方法，它是一种将密钥分割成多个碎片并在达到阈值数量后恢复密钥的技术。FROST通过分布式签名实现阈值签名，其中n个参与者中的任何t个都可以生成有效的签名，同时探讨了其在加密货币交易、身份验证和密钥恢复等领域的应用。
FROST  密钥共享  阈值签名  Schnorr签名  分布式密钥生成  密码学 

Aleo 2025 年路线图及 Varuna 深入探索

本文分析了Aleo在2025年路线图中提出的目标，即支持更大规模的电路（2²²），并探讨了Varuna算法为实现该目标可能的技术演进方向，包括支持递归功能、开发更高效的多项式承诺方案以及切换到更小的有限域。文章详细介绍了Varuna算法的代数全息证明部分，包括R1CS问题的定义、sum-check协议的应用以及五个证明轮次的原理和实现细节。
Aleo  Varuna  零知识证明  R1CS  多项式承诺  sum-check协议 

驱动Binius的域

本文深入探讨了Binius协议背后的核心数学原理，该协议利用布尔超立方体，并着重介绍了二元塔和域元素的表示，以及利用其与电路级运算的自然关系进行域元素的加法和乘法运算方法。文章还通过详细的例子，展示了如何在实践中利用二元塔进行高效的运算。
zkVM  Binius  STARKs  布尔超立方体  域扩展  有限域 

跨递归证明累加IM transcript

本文简述了一种用于多线性Plonk变体（如HyperPlonk、Honk）的transcript聚合协议。该协议通过新旧transcript累加器的差值计算transcript，并使用一致性检查来验证其正确性。这种方法适用于使用多线性表示的证明系统，并可以实现递归证明的transcript聚合。
多线性Plonk  transcript聚合  递归证明  HyperPlonk  Honk  密码学 

Circle FFT - 第一部分：构建圆形域（Circle Domain）

本文是关于Circle STARKs中Circle FFT算法的系列文章的第一部分，主要介绍了构建圆形域的基础概念，包括STARK友好的素数演变、圆曲线、群结构、孪生陪集和标准位置陪集等，并给出了详细的示例和推导。文章还提供了Python代码示例，帮助读者理解和实践这些概念，为后续深入研究Circle FFT算法奠定基础。
Circle STARKs  Circle FFT  有限域  圆曲线  群论  孪生陪集  标准位置陪集 

使用BBS+签名实现选择性披露身份信息的方案

本文讨论了在公民身份管理中使用BBS+签名实现选择性披露身份信息的方案。文章指出，政府应提供身份验证而非拥有公民身份，英国政府目前在这方面存在问题。文章介绍了BBS+签名技术，它允许签名者在不泄露全部信息的情况下验证部分身份信息，同时使用密码学wasm集成和JavaScript来实现，从而在交易中建立信任并保护隐私。
BBS+签名  零知识证明  身份验证  数字签名  WebAssembly  密码学  群签名