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

零知识证明之书

《The RareSkills Book of Zero Knowledge》是一本面向程序员的零知识证明教程，内容涵盖从基础数学到实际编码实现，旨在帮助程序员深入理解零知识证明，尤其是Groth16算法。
零知识证明  Groth16  zk-SNARK  密码学  算术电路  有限域 

Schwartz-Zippel 引理及其在零知识证明中的应用

in  零知识证明之书
文章详细介绍了Schwartz-Zippel Lemma在零知识证明（ZK-Proof）中的应用，通过多项式例子和Python代码展示了如何利用该引理进行多项式相等性测试和向量相等性测试。
Schwartz-Zippel Lemma  零知识证明  多项式  有限域  Python  Lagrange插值 

同态映射

in  零知识证明之书
本文通过多个例子详细解释了同态映射的概念，并探讨了其在加密技术和零知识证明中的应用。文章结构清晰，分为简单和复杂例子两部分，并附有详细的数学公式和Python代码示例。
同态映射  加密  零知识证明  代数结构  群论  有限域 

多项式承诺通过 Pedersen 承诺实现

in  零知识证明之书
本文详细介绍了多项式承诺机制的原理和实现，特别是如何使用Pedersen承诺和椭圆曲线来验证多项式在特定点的估值，而不泄露多项式本身。文章还讨论了验证步骤的工作原理和为什么验证者无法被欺骗。
多项式承诺  Pedersen Commitment  椭圆曲线  验证  离散对数  证明 

程序员的基本群论

in  零知识证明之书
本文详细介绍了代数群的基本概念，通过多个例子帮助读者建立对群的直觉，包括群的定义、阿贝尔群、有限群、循环群等，并探讨了这些群在零知识证明中的应用。

抽象代数

in  零知识证明之书
本文介绍了抽象代数中的基本概念，如群、半群和 Monoid ，并解释了它们在零知识证明中的应用。
抽象代数  群论  半群  零知识证明  二进制运算  Monoid 

从R1CS构建零知识证明

in  零知识证明之书
文章详细介绍了如何通过将Rank 1 Constraint System (R1CS)中的见证向量转换为有限域椭圆曲线点，并使用双线性配对来实现零知识证明。文中还讨论了验证步骤的实现细节，并指出了该算法在实际应用中的低效性。
零知识证明  R1CS  椭圆曲线  双线性配对  见证向量 

ICICLE 案例研究：利用 Brevis 加速 ZK 证明

Brevis 集成了 Ingonyama 的 ICICLE 加速库，显著提升了零知识证明的性能，特别是在多标量乘法（MSM）和数论变换（NTT）等关键操作上，实现了高达 70% 的加速。通过此次集成，Brevis 能够更高效地处理大规模数据集上的复杂计算，并扩展其在区块链领域的应用，例如数据驱动的 DeFi、zkBridges 和 zkDID 等。
零知识证明  ZK证明  zk  ICICLE  Brevis  Groth16 

可信设置

in  零知识证明之书
文章介绍了ZK-SNARKs中使用的可信设置机制，详细解释了如何在保密值上计算多项式，并提供了Python代码示例。
zk-SNARKs  可信设置  多项式  结构化参考字符串  椭圆曲线群 

零知识证明：基础知识简介

本文深入探讨了零知识证明的理论基础、数学原理和加密技术，旨在帮助读者理解这一复杂的概念及其在Solana等网络上的应用。文章结构清晰，模块化设计，适合各个知识层次的读者，尤其是对加密技术有一定了解的人士。
零知识证明  加密技术  Solana  数学原理  区块链  NP完全 
  • Helius
  • 发布于 2024-08-22
  • 阅读 ( 1521 )

“YOLO”不是一种有效的哈希构造

本文批判了几种常见的密码学误用，即所谓的“YOLO”构造，包括 YoloMultiHash、YoloMAC 和 YoloPBKDF。
密码学  哈希函数  消息认证码  密钥派生函数  YOLO构造  安全漏洞 

Succinct ZK驻留计划

Succinct 举办为期一个月的 ZK Residency 计划，旨在汇集将 ZK 集成到现有产品中或开发全新 ZK 应用的团队，提供合作、交流和学习的平台。该计划包括技术升级和实际应用两个方向，并提供世界一流的顾问和指导，以及每周的研讨会和问答环节。
zk  零知识证明  SP1  证明聚合  ZKML  Rollup  互操作性 

Circle Stark: from a new Starker

circle stark: perspective from a new stark
STARK  FFT  circle group 
  • 白菜
  • 发布于 2024-08-16
  • 阅读 ( 1674 )
  • ( 23 )

安全多方计算（SMPC 或 MPC）是什么

安全多方计算（SMPC/MPC）是一种密码学方法，允许多方在不泄露各自私有数据的情况下，共同计算一个函数并获得公开结果。文章介绍了SMPC的基本概念、工作原理、历史、优势，以及在Web3领域中的应用，例如MPC钱包、隐私保护计算等。
安全多方计算  MPC  密码学  零知识证明  同态加密  Web3钱包 

通过 12 节课理解 STARK 构建过程

这篇文章深入探讨了RISC Zero zk-STARK的构建过程，分为12个课程，详尽地解释了执行跟踪、规则检查、数据填充、构造多项式和约束多项式等关键技术环节，结合了零知识证明的应用以及使用Reed-Solomon编码和FRI协议来验证多项式的低度特性
zk-STARK  RISC Zero  零知识证明  FRI协议  Reed-Solomon编码  执行跟踪 

可编程密码学 - 第一篇

“可编程密码学”一词来指代今天变得实用的第二代密码学原语。这些原语的定义特征是它们比第一代密码学灵活得多：它们允许我们在密码协议内部或之上执行通用计算。
可编程密码学  FHE  MPC  zkSNARK 
  • 0xPARC
  • 发布于 2024-08-12
  • 阅读 ( 2478 )
  • ( 66 )

几分钟搞懂全同态加密FHE：运行模式与应用场景

几分钟搞懂全同态加密FHE：运行模式与应用场景
FHE 
  • 仙壤
  • 发布于 2024-08-12
  • 阅读 ( 3246 )
  • ( 12 )

2024-08-11 zk-insights Weekly

如果你重视零知识证明技术信息的实效性和信息源质量的意义，不想娱乐至死、短视投机、无关广告、推荐算法、劣币驱逐良币的泥沙裹挟迷失，请多支持我们（包括给予赞助支持），让这一汨清流继续流淌～
ZKP 
  • Coset
  • 发布于 2024-08-12
  • 阅读 ( 1752 )
  • ( 33 )

ZK技术的历史发展脉络梳理

ZK技术的历史发展脉络梳理
零知识证明  zkSNARK 
  • 仙壤
  • 发布于 2024-08-09
  • 阅读 ( 2446 )
  • ( 7 )

Noname 2.0：解锁数字泛型、Folding Scheme以及Playground - ZKSECURITY

本文介绍了noname 2.0预览版的主要更新，包括支持泛型数组、通过Sonobe集成支持folding scheme、交互式在线 Playground、R1CS优化以及社区贡献的bug修复和功能改进。这些更新旨在提高noname语言的灵活性、效率和用户友好性，使开发者能够编写更复杂的ZK电路，并简化IVC应用的开发。
noname  ZK电路  泛型数组  folding scheme  Sonobe  R1CS  IVC  零知识证明