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

Binius如何助力零知识证明行业发展

本文介绍了零知识证明（ZK）领域的最新进展，重点分析了Ulvetanna发布的Binius方案。Binius通过使用二进制域、针对小域的承诺方案以及基于HyperPlonk的SNARK，能更有效地处理位运算，降低内存占用，提高硬件友好性，从而加速可验证计算，并可能在软件工程和金融领域引发变革。
零知识证明  zk  Binius  二进制域  证明系统  密码学 

Plonky2 = Plonk + FRI

Plonky2由PolygonZero团队开发，实现了一种快速的递归SNARK，据其团队公开的基准测试，2020年，以太坊第一笔递归证明需要60s生成，而于今Plonky2在MacBookPro上生成只需170毫秒。下面将逐步剖析Plonky2。整体构造每个零知识证明系统都由
Plonky2 

探索漏洞：Groth16协议的zkSNARK可塑性攻击

本文探讨了zkSNARK技术在Groth16协议中的可塑性攻击漏洞，解释了攻击者如何通过修改证明中的椭圆曲线点来生成新的有效证明，并提供了相关的代码示例。
zkSNARK  Groth16协议  可塑性攻击  椭圆曲线  智能合约  验证 

Constantine's Threadpool 线程池设计

本文档介绍了 Constantine's Threadpool 的设计，它受到了 Weave 和 nim-taskpools 的启发，旨在提供高性能、低开销、节能的多线程运行时环境，并着重考虑了高可靠性、可审计性和可维护性。设计关键包括分布式任务队列、减少内存分配、自适应工作窃取、数据并行中的惰性二分分割以及在等待 future 时的回退机制。
线程池  并发  并行计算  任务调度  负载均衡  多线程 
  • mratsim
  • 发布于 2023-12-05
  • 阅读 ( 578 )

二元域上的 SNARK：Binius - 第 1 部分

本文介绍了 Binius 背后的基本概念，Binius 是一种新型 SNARK，它利用使用扩展塔构建的二元域，从而实现硬件友好的操作。该结构还允许我们连接多个元素并将它们解释为扩展域的元素。承诺方案基于 brakedown，它使用 Merkle 树和 Reed-Solomon 编码。与 FRI 相比，该方案会导致更大的证明和更长的验证时间，但证明者的计算时间显着减少。
zk-SNARKs  STARKs  二元域  多项式承诺  Brakedown  Binius 

零知识证明：应用与用例 - Chainlink

本文介绍了零知识证明（ZKP）的基本概念和应用场景。ZKP 是一种密码学技术，允许一方在不泄露任何额外信息的情况下向另一方证明某个陈述是真实的。文章探讨了 ZKP 在去中心化身份、隐私交易、Layer2 扩容、投票系统、物联网和供应链等领域的应用，展示了 ZKP 如何提高隐私、安全性和效率。
零知识证明  ZKP  隐私保护  密码学  zk-SNARKs  ZK-STARKs 

什么是知识证明？

本文介绍了知识证明（Proof of Knowledge）的概念，它是一种密码学证明，允许“证明者”向“验证者”证明其掌握了某些信息。文章阐述了知识证明与零知识证明的区别，并列举了知识证明在Web3中的应用，如零知识云存储、比特币中的Schnorr签名以及使用DECO实现隐私保护的数字身份。
知识证明  零知识证明  Schnorr签名  Chainlink DECO  密码学证明  Web3 

zk-SNARK vs zkSTARK - 简明解释

本文介绍了零知识证明技术SNARKs和STARKs。SNARKs依赖于可信设置，验证速度快但安全性较弱；STARKs无需可信设置，安全性高但验证速度较慢。文章对比了SNARKs和STARKs的优缺点，并阐述了零知识证明在提升区块链可扩展性和保护用户隐私方面的作用。
SNARKs  STARKs  零知识证明  zk-SNARK  zk-STARK  可信设置 

【心得】如何学习零知识证明

如何学习零知识证明， 明确动力、材料不那么重要，必要独自学习，多分享，不要怕提愚蠢的问题，看看可以做什么，不要对自己太苛刻了。
zk  零知识证明  入门  零知识证明入门 

哥布林Plonk：惰性递归证明组合

本文档阐述了一种在Plonk/Honk/PlonkISH证明系统中执行高效递归证明组合的方法，核心技术包括使用曲线循环避免执行代价高昂的非原生群运算，引入指令机器来委托昂贵的非原生群运算，并利用曲线转置电路将非原生群运算指令高效地转换为原生群运算指令，主要目标是，无需在递归的每一层曲线循环之间跳转，并显著降低证明者的成本。
PLONK  Honk  递归证明  曲线循环  指令机器  非原生群运算  曲线转置电路 

Solidity 中 Merkle 树的第二原像攻击

文章详细介绍了Merkle树中的第二原像攻击（second preimage attack），解释了攻击的原理及如何防御这种攻击。文中使用了具体的示例和代码片段来阐述攻击的实现，并提供了OpenZeppelin库中的防御方法。
Merkle树  第二原像攻击  OpenZeppelin  哈希函数  proof 

通过更快的承诺来增强Lasso+Jolt

本文介绍了Lasso和Jolt的创新，它们能显著提升SNARK的性能，并更易于构建和审核。结合D&P的Binius方案，这些发展改变了我们对SNARK设计的基本理解，提出了新的思路以优化电路求解和多项式承诺方案，从而提高加密运算的效率，特别是在哈希函数应用中。
Lasso  Jolt  SNARKs  多项式承诺  哈希  加密运算 

关于Lasso、Jolt和最近SNARK设计进展的技术常见问题解答

本文介绍了Ben Diamond和Jim Posen的研究团队在多项承诺方案Ligero/Brakedown方面的进展，并探讨了将其应用于基于sum-check的SNARK（如Lasso和Jolt）中的效益。讨论了D&P承诺方案的性能优势、所采用的哈希函数以及对小值承诺的改进，同时分析了不同承诺方案在SNARKs性能中的应用场景。
Ligero  Brakedown  SNARK  Lasso  Jolt  哈希函数 

在RISC Zero中验证全同态加密（FHE），第一部分

本文探讨了使用零知识证明（ZKP）验证全同态加密（FHE）的过程，重点分析了TFHE在RISC Zero平台上的实现，以及如何通过优化数据加载和计算来提高效率。文章呈现了核心概念、实施细节和代码示例，为后续优化提供基础。
全同态加密  零知识证明  TFHE  RISC Zero  优化  加密算法 
  • L2IV
  • 发布于 2023-11-17
  • 阅读 ( 1035 )

实现 KYBER所需的多项式和线性代数知识

FIPS 203（草案）的第 2.4 节对所有这些进行了非常清楚和更详细的解释。FIPS 标准实际上在避免形式主义和与工程师交流方面做得很好了。就把这篇当作一个更友好、更务实的总结吧。
kyber  多项式承诺 
  • XPTY
  • 发布于 2023-11-15
  • 阅读 ( 4016 )
  • ( 5 )

zk-merkle-tree库: 使用 zkSNARK 在以太坊上进行匿名投票

zk-merkle-tree 库: 使用 zkSNARK 在以太坊上进行匿名投票
zkSNARK  零知识证明  投票 

ZK 语言调查：Noir , o1js , Circom , Leo, Cairo, Lurk

ZK 语言调查：Noir , o1js , Circom , Leo, Cairo, Lurk
circom  Noir  Cairo 

零知识证明的力量：深入理解zk-SNARK

zk-SNARK，即“零知识简洁非交互式知识论证”，使得一名验证者 能够确认一名证明者 拥有某些特定知识，这些知识被称为 witness，满足特定的关系，而无需透露关于见证本身的任何信息。
零知识证明  zkSNARK 

Circom 语言教程与 circomlib 演示

Circom 语言教程与 circomlib 演示
circom  zkSNARK  零知识证明 

你check 过你的 sum 吗？

本文深入探讨了zk-SNARKs及其在去中心化私有计算和区块链扩展中的应用，特别是总结检查协议的工作原理和实现方法。作者详细介绍了多线性多项式的编码过程及总结检查协议的步骤，强调了它在复杂性理论和密码学中的重要性，并揭示了其在SNARKs中的基础作用。
零知识证明  多线性多项式  zk-SNARKs  互动证明  区块链  sumcheck