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

构建 Cashu 盲签名方案的直觉

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

多项式路径

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

Open Source Threshold Signature Libraries

该文章介绍了开源的门限签名（Threshold Signature Scheme）库，包括 ECDSA 和 Schnorr 两种签名算法的门限签名库，并列出了各个库所支持的特性，例如 HD 钱包、Resharing、审计情况、实现语言和 License 等，可以帮助开发者选择合适的密码学库。
门限签名  ECDSA  Schnorr  Ed25519  Taproot  多方计算 
  • cig01
  • 发布于 2024-03-04
  • 阅读 ( 168 )

产品更新：ICICLE V1.6.0

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

Shutter：打造公平的竞争环境

Shutter 是一个通过分布式密钥生成 (DKG) 机制使用阈值加密的系统，专注于底层中立性、信息对称性和可访问性。通过加密交易来防止恶意 MEV、审查和投票操纵，确保公平性，并计划探索 FHE 和 MPC 等先进技术以扩展其应用。
阈值加密  分布式密钥生成  信息对称  MEV  审查抵抗  零知识证明 
  • shutter
  • 发布于 2024-03-02
  • 阅读 ( 294 )

Aleo (ALEO)：一个零知识区块链云计算网络

本文深入探讨了Aleo，一个利用零知识证明(ZKP)技术实现隐私保护的区块链平台。文章详细介绍了Aleo的zkVM、zkCloud等核心技术，并分析了Aleo Credit的经济模型和治理结构，以及Aleo基金会的未来发展方向。
零知识证明  Aleo  zkVM  zkCloud  隐私计算  区块链 
  • DAIC
  • 发布于 2024-02-23
  • 阅读 ( 340 )

了解零知识证明历史

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

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

如何使用 SnarkJS 和 Circom 在 JavaScript 项目中进行零知识证明
circom  snarkjs  零知识证明 
  • 张小风
  • 发布于 2024-02-16
  • 阅读 ( 4820 )
  • ( 13 )

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

通过 Tornado Cash 的源代码理解零知识证明
零知识证明  circom  snarkjs 
  • 张小风
  • 发布于 2024-02-16
  • 阅读 ( 4808 )
  • ( 51 )

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

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

尝试用 Halo2 实现 Tornado Cash

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

产品更新：ICICLE V1.2.0

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

简析 Cached Quotients Lookup Arguments

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

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

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

Namada的生态系统与链间隐私的未来

Namada是一个专注于隐私的区块链项目，旨在通过其统一的屏蔽集（Unified Shielded Set, USS）和屏蔽行动（Shielded Actions, SA）解决资产、应用和网络层面的隐私碎片化问题。它与Cosmos、Ethereum、Zcash和Celestia等生态系统合作，提供跨链互操作性。Namada旨在成为第三代隐私保护区块链的代表，并面临着生态系统规模和监管方面的挑战。
隐私  跨链互操作性  屏蔽集  zk-SNARKs  Cosmos  Celestia 
  • DAIC
  • 发布于 2024-01-27
  • 阅读 ( 285 )

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

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

Caulk, Caulk+ 学习笔记

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

MPC Shamir 密钥共享(SSS) 和门限签名方案 (TSS) 详解

本文详细比较了 Shamir's Secret Sharing (SSS) 和 Threshold Signature Scheme (TSS) 的工作原理，以及它们在 WaaS 解决方案中的应用。文章指出 SSS 在密钥管理方面存在风险，如密钥重构时可能暴露，并介绍了 TSS 如何通过分布式计算生成签名来解决这些问题，同时保持了类似 SSS 的灵活性。
Shamir 密钥共享  阈值签名方案  密钥管理  分布式密钥生成  多方计算  Web3Auth 

Namada模块化隐私框架技术深度解析

Namada是一个模块化的隐私框架，旨在为区块链提供可定制的隐私层，实现隐私保护的跨链交易。它利用零知识证明实现匿名资产转移，支持多资产屏蔽池（MASP），并具备快速交易速度和互操作性，包括与以太坊的双向桥。
Namada  零知识证明  多资产屏蔽池  MASP  互操作性  跨链桥 
  • DAIC
  • 发布于 2024-01-15
  • 阅读 ( 381 )

什么是椭圆曲线配对？

本文介绍了在椭圆曲线背景下的配对技术，强调其在零知识证明协议和BLS签名中的应用。文中详细阐述了一维函数、阿贝尔群和计算难题，并通过具体示例深入探讨了配对的定义及相关性质。强调了对于椭圆曲线配对的计算需求及安全性考虑，同时对Weil和Tate配对进行了说明，最后指出将在后续文章中探讨具体的加密应用。
配对  椭圆曲线  BLS签名  零知识证明  Weil配对  Tate配对 
  • zellic
  • 发布于 2024-01-13
  • 阅读 ( 1009 )