密码学文章 - 第26页

密码学战争迷雾

本文介绍了基于零知识证明（ZK）和多方计算（MPC）实现的一种新的游戏机制，该机制支持 PvP、隐藏信息和确定性状态。文章重点介绍了 Oblivious KZG，一种基于双向、可验证、承诺的茫然传输（biVOT）的新结构，并讨论了其在游戏中的应用，例如暗森林（Dark Forest）这类需要隐藏信息和玩家间互动的游戏。

零知识证明多方计算茫然传输 zk-SNARKs KZG承诺密码学

ingonyama
发布于 2024-04-08
阅读 ( 689 )

Cobo 密码知识讲堂｜第五讲：探索聚合签名奥妙

in Cobo 密码知识讲堂

本文是Cobo密码知识讲堂的第五讲，主要介绍了聚合签名的概念、算法组成、与门限签名的区别、设计难点、面临的安全风险以及抵御手段，并详细描述了BLS聚合签名和Schnorr聚合签名这两个典型算法实例。聚合签名是一种有广阔应用前景的密码学组件，能够有效“压缩”多个主体的签名，实现对多个签名“批量”验证的效果。

聚合签名门限签名 BLS签名 Schnorr签名密码学数字签名

Cobo
发布于 2024-04-04
阅读 ( 308 )

密码学101：RSA算法解析

in 密码学101

本文详细解释了RSA加密算法的工作原理，包括其依赖的大数分解问题、欧拉函数及其性质，以及如何使用公钥和私钥进行加密和解密。文章还讨论了RSA的安全性、大素数的生成以及其可能的弱点。

RSA 加密欧拉函数大数分解公钥私钥

Frank Mangone
发布于 2024-04-02
阅读 ( 2207 )

基于 ZK 的资产证明

如果每个用户都可以验证自己部分的资产是否有财务作假行为，那么只要验证的用户足够多，那么一个组织想要去做财务欺诈难度就会非常高。

零知识证明 zk 资产安全

Antalpha Labs
发布于 2024-04-02
阅读 ( 2684 )
( 9 )

产品更新：ICICLE v1.9.1

ICICLE 是一个使用 CUDA-enabled GPUs 进行 ZK 加速的库。最新版本引入了 ECNTT、列式 NTT 处理、MSM 预计算等新特性，并优化了编译时间。即将发布的 v2 版本将提供丰富的多项式 API，并支持在 GPU 内部运行端到端的证明器。

零知识证明 GPU加速 CUDA ECNTT NTT MSM Keccak

ingonyama
发布于 2024-04-01
阅读 ( 598 )

MPC 钱包是如何工作的？

这篇文章深入探讨了多方计算（MPC）钱包的工作原理、组成部分以及安全性挑战。文章从传统加密学的基础知识入手，解释了如何通过MPC协议安全地管理私钥，同时揭示了实际的攻击案例以强调实现过程中可能存在的安全漏洞。

多方计算加密钱包安全性 ECDSA 攻击案例加密技术

zellic
发布于 2024-03-30
阅读 ( 831 )

构建 Cashu 盲签名方案的直觉

本文详细介绍了 Cashu 采用的 ecash 盲签名方案，通过 Diffie-Hellman 点和哈希函数，实现了在铸币厂和用户之间创建、兑现 token 的流程，并着重解决了 token 的隐私性问题，通过盲化和解盲技术，确保了用户在兑现 token 时不被追踪，从而实现了更安全和匿名的电子 token 系统。

Cashu 盲签名 Diffie-Hellman 椭圆曲线 Token 隐私性

BTCStudy
发布于 2024-03-14
阅读 ( 295 )

多项式路径

本文探讨了多项式交互式oracle证明（PIOPs）的概念及其在隐私保护计算中的潜力，描述了如何通过多项式编码实现数据的隐私验证。文章解释了PIOPs的工作原理、关键特性以及与zkSNARKs等其他验证系统的比较，强调了其在加密协议中的重要性和应用前景。

多项式交互式oracle证明隐私保护计算零知识证明加密协议 KZG承诺 zkSNARKs

L2IV
发布于 2024-03-08
阅读 ( 510 )

产品更新：ICICLE V1.6.0

本文介绍了ICICLE V1.6.0版本的一系列更新，包括稳定的Golang绑定、多GPU支持、向量运算API、Grumpkin曲线支持、NTT改进和MSM改进。这些更新旨在提升零知识证明（ZKP）加速的性能和效率，并扩展ICICLE的应用范围，如支持更大的电路和更多编程语言。

ICICLE GPU加速零知识证明 CUDA Golang绑定多GPU支持 Grumpkin曲线 NTT MSM

ingonyama
发布于 2024-03-04
阅读 ( 635 )

了解零知识证明历史

来自 lambda class 的了解零知识证明历史。计算机科学、数学和硬件的进步，以及区块链的引入，导致了新的更高效的 SNARKs 的出现。

零知识证明 zkSNARK

翻译小组
发布于 2024-02-20
阅读 ( 5002 )
( 45 )

使用 SnarkJS 和 Circom 进行零知识证明

如何使用 SnarkJS 和 Circom 在 JavaScript 项目中进行零知识证明

circom snarkjs 零知识证明

张小风
发布于 2024-02-16
阅读 ( 4319 )
( 13 )

通过 Tornado Cash 的源代码理解零知识证明

零知识证明 circom snarkjs

张小风
发布于 2024-02-16
阅读 ( 4371 )
( 51 )

SP1 介绍：一个高性能、100% 开源、对贡献者友好的 zkVM

Succinct 发布了第一代零知识虚拟机 SP1，它能验证任意 Rust 程序的执行。SP1 性能比现有 zkVM 提高了一个数量级，某些程序的 alpha 版本速度已提高 28 倍，且与基于电路的方法相比具有竞争力。SP1 是一个完全开源、鼓励贡献的公共产品，旨在为 rollups、coprocessors 和其他 ZKP 应用构建最佳 zkVM。

零知识证明 zkVM Rust语言 STARK SP1 Plonky3

Succinct
发布于 2024-02-15
阅读 ( 192 )

尝试用 Halo2 实现 Tornado Cash

太长不看版：你已经听说过 Tornado Cash 了吗？还有 Halo2？太棒了！在这里，我们将混合这两者，并将 Tornado Cash 电路重写为 Halo2。

Tornado.cash Halo2 零知识证明

翻译小组
发布于 2024-02-14
阅读 ( 2961 )
( 9 )

产品更新：ICICLE V1.2.0

本文介绍了ICICLE库的更新，该库使用CUDA加速GPU上的ZK证明。主要更新包括：支持Poseidon哈希和优化的Merkle树构建器，新的混合基数NTT算法，改进的MSM设计，以及修复了Rust绑定在Windows上的支持问题。还包括性能测试结果，展示了Poseidon哈希树构建器和NTT算法的性能提升。

ICICLE GPU加速 ZK证明 Poseidon哈希 NTT MSM CUDA Merkle树

ingonyama
发布于 2024-02-12
阅读 ( 563 )

简析 Cached Quotients Lookup Arguments

Lookup Arguments 允许证明者（prover）证明一个值属于一个预先定义的集合。

零知识证明

Antalpha Labs
发布于 2024-01-29
阅读 ( 3099 )
( 5 )

超越表面 - 递归证明：应用与优点

本文深入探讨了递归零知识证明（Recursive SNARKs）及其在隐私保护计算中的应用与优势，包括压缩多个证明的能力和跨信任边界的可组合性。文章详细分析了零知识证明的基本概念、类型以及递归证明的实施方法，探讨了不同的递归策略和它们的实际应用，如交易汇总、轻客户端证明以及去中心化治理等，展现了递归证明在区块链和其他领域的巨大潜力。

递归零知识证明 SNARKs 轻客户端交易汇总隐私保护去中心化治理

L2IV
发布于 2024-01-27
阅读 ( 705 )

审计零知识证明（ZKP）应用

本文深入探讨了零知识证明（ZKP）应用审计过程，包括电路设计和实施审计的关键点。文章强调了电路中变量之间逻辑关系的显式声明的重要性，以及常见的审计问题，如完整性和有效性问题，以指导ZKP安全研究者和开发者提高代码质量和安全性。

零知识证明审计过程电路设计安全性加密技术 ZKP应用

zellic
发布于 2024-01-26
阅读 ( 793 )

Caulk, Caulk+ 学习笔记

Caulk+ 是 Caulk 的优化版本方案，它用了一个被称为「polynomial divisibility check」的方法来替换原本的子协议，以提升 Caulk 生成证明的效率，使得证明复杂度仅与子集的大小有关，而与原向量的大小无关。