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

Kailua：其工作原理

本文介绍了Kailua，一个旨在将乐观Rollup升级为混合ZK Rollup的软件套件。Kailua通过引入新颖的故障证明游戏，解决了当前rollup的核心问题，如降低运营成本、减少抵押要求和最终性延迟，同时提高了安全性和性能。文章详细阐述了Kailua的组件、工作原理及其在实际应用中的潜力。
Kailua  乐观Rollup  混合ZK Rollup  RISC Zero  故障证明游戏  零知识证明 

Noname 3.0：原生 Hint、标准库、编译器可视化工具及更多！- ZKSECURITY

Noname 3.0 发布，它是一种受 Rust 和 Golang 启发的 zk 编程语言，旨在为开发人员提供比 Circom 更好的体验。此版本包含原生 hint、标准库 (stdlib) 和更丰富的调试功能，并介绍了 hint 函数的使用方式、标准库的模块、迭代器、日志记录和编译器管道可视化工具，同时规划了未来的开发方向。
zk 编程语言  标准库  hint 函数  编译器  零知识证明  Rust 

探索 ZK 框架：用 5 种不同的 ZK 语言实现的 Mastermind 游戏

探索 ZK 框架：用 5 种不同的 ZK 语言实现的 Mastermind 游戏
Noir  circom  gnark  Halo2  Arkworks 
  • Veridise
  • 发布于 2024-11-14
  • 阅读 ( 1871 )
  • ( 18 )

【zkMIPS系列】DEEP-FRI解析

in  zkMIPS解读
DEEP-FEI理论与分析
zkVM  zkMIPS 
  • ZKM
  • 发布于 2024-11-14
  • 阅读 ( 2799 )
  • ( 16 )

塑造现代零知识证明的10篇必读论文 - ZKSECURITY

本文回顾了零知识证明领域发展的十个里程碑式的论文，从早期的理论基础到实际应用，涵盖了从最初的交互式证明系统到高效的SNARKs和STARKs，再到零知识虚拟机zkVMs的关键进展，详细阐述了每篇论文的核心思想、技术贡献以及对后续研究的影响，为理解零知识证明的演进历程，提供了全面的视角。
零知识证明  SNARK  STARK  zkVM  密码学  交互式证明系统 

零知识证明简介

本文介绍了零知识证明（Zero-Knowledge Proofs, ZKP）的基本概念、类型、优势、局限性及其未来应用。通过Alice和Bob的例子解释了ZKP的工作原理，并详细讨论了zk-SNARKs和zk-STARKs两种主要类型。
零知识证明  zk-SNARKs  ZK-STARKs  密码学  区块链  隐私 

10 篇塑造现代零知识证明的必读论文

10 篇塑造现代零知识证明的必读论文
ZKP 

zkVM Jolt：更新

本文介绍了a16z加密团队发布的Jolt zkVM的初始实现及其性能和可用性的改进，包括验证成本的显著降低，集成折叠技术以提升多项式承诺方案和简单性。此外，文章详细描述了Jolt的各项新特性和未来的发展方向，包括对RISC-V的支持、开源贡献者所做的改进与正式验证的进展。
zkVM  Jolt  RISC-V  多项式承诺  零知识证明  正式验证 

公钥-私钥密码学导论

本文介绍了公钥-私钥密码学的概念、原理及其在保护数字隐私和安全中的作用。文章解释了非对称加密的工作方式，包括公钥加密和私钥解密的过程，以及如何使用种子短语来管理和恢复加密货币钱包。此外，文章还提及了诸如RSA和椭圆曲线密码学（ECC）等重要的密码学算法和标准，强调了理解这些技术对于在数字时代保护个人信息的重要性。
公钥密码学  私钥密码学  加密  解密  RSA  椭圆曲线密码学  种子短语 
  • DAIC
  • 发布于 2024-11-12
  • 阅读 ( 342 )

ZNARKs：整数上的SNARKs - ZKSECURITY

本文介绍了一种新的SNARKs构造方法，用于在整数上进行计算，并提供了一种简单但新颖的方法来构建高效的证明系统。该方法通过使用多线性SNARKs，并结合“具有模余数的承诺方案”这一新工具，将现有的SNARKs“编译”成整数上的论证，实现了高效的范围检查、混合域仿真以及RSA群中的计算验证。
SNARKs  整数  多线性  范围检查  RSA  承诺方案 

zkVM 测试报告：评估 Nescience 的零知识虚拟机

zkVM 测试报告
zkMIPS  zkVM  zkWasm 
  • Vac.dev
  • 发布于 2024-11-12
  • 阅读 ( 2461 )
  • ( 18 )

ZNARKs：整数SNARKs

SNARK总是要用于有限域上的计算吗？并不是。
SNARK 
  • XPTY
  • 发布于 2024-11-11
  • 阅读 ( 1389 )

带告密的秘密共享：解决阈值密码学中的股东共谋问题

本文介绍了Secret Sharing with Snitching (SSS)这一密码学原语，它通过使股东共谋行为可证明和可惩罚来解决阈值密码学中的股东共谋问题。SSS通过在秘密共享过程中嵌入可识别的密码学信息，使得非法重建秘密的行为可以被追踪和证明，从而实现对恶意行为的威慑。
秘密共享  阈值密码学  共谋  密码学  多方计算  MEV 
  • shutter
  • 发布于 2024-11-09
  • 阅读 ( 851 )

SLIP-0039：助记码的Shamir秘密共享

该 SLIP 描述了 Shamir 密钥共享（SSS）的标准和可互操作的实现，以及它在备份分层确定性钱包中的使用规范。SSS 将主密钥分成多个唯一部分，这些部分可以分发给参与者。需要提供指定的最少数量的部分才能重建原始密钥。
Shamir密钥共享  助记码  分层确定性钱包  密钥恢复  加密 

zkVoting：基于零知识证明的抗胁迫和端到端可验证的电子投票系统

这是一篇论文解读：zkVoting:Zero-knowledge proof based coercion-resistant and E2E verifiable e-votings ystem
ZKP 

【zkMIPS系列】FRI原理及其应用分析

in  zkMIPS解读
FRI原理及其应用分析
zkVM  zkMIPS 
  • ZKM
  • 发布于 2024-11-07
  • 阅读 ( 2300 )
  • ( 31 )

范围证明

in  零知识证明之书
本文详细介绍了Bulletproofs在范围证明中的构建方法，通过验证向量aL的二值性和其与向量2n的内积来证明标量v的范围在2^n内。文章还展示了几种代数技巧，并通过Monero的使用实例说明了该技术的应用。
Bulletproofs  范围证明  内积证明  Monero  零知识证明 

ICICLE V3.1：更多激情、更多能量、更多ZK性能

Ingonyama 发布了 ICICLE v3.1，这是一个位于 ZK 堆栈硬件和协议层之间的库，旨在优化 CPU 和 GPU 上的 ZK 算法性能。v3.1版本修复了多个bug，并增强了CPU后端性能，支持客户端后端和Sumcheck。未来还将添加Poseidon2哈希算法，目标是在CPU上超越Plonky3的性能。
ICICLE  零知识证明  CPU  GPU  zk-SNARK  性能优化 

通过随机线性组合减少等式检查（约束）的数量

in  零知识证明之书
本文深入探讨了如何在零知识证明算法中利用随机线性组合来有效地检查多个等式的相等性。通过实例展示了Pedersen承诺的等式验证过程，并提出了一种减少通信开销的方法。这种技术能够实现对多个内积同时进行验证，从而提高效率。
零知识证明  Pedersen承诺  随机线性组合  内积  安全性分析  Bulletproofs 

【zkMIPS系列】Poseidon hash设计流程 & 代码

in  zkMIPS解读
Poseidon哈希函数原理
  • ZKM
  • 发布于 2024-11-05
  • 阅读 ( 2199 )
  • ( 18 )