0推荐

149浏览

零知识证明 - FPGA vs. GPU

本文从MSM的计算入手，分析FPGA和GPU加速零知识证明计算的优缺点。

• 0
• Star Li 发布于 2022-09-19 15:05

0推荐

140浏览

使用 SNARKs 批处理 ECDSA 签名

我们带来了 circom-batch-ECDSA，一个基于circom-ECDSA（由0xPARC 社区中其他人之前完成的工作）之上的概念验证实现，其灵感来自halo2-batch-ECDSA，它允许在单个 SNARK 中显著更快地验证一批 ECDSA 签名。

• 0
• XPTY 发布于 2022-09-14 15:53

0推荐

235浏览

关于Groth16延展攻击

Geometry是Kobi Gurkan 等人所在的一个新成立不久的研究组织，Kobi本人曾给ZK HACK 出过9道puzzles，这次又合作给出了这个关于Groth16延展攻击的新puzzle：ZK Hack x Geometry Puzzle I

• 0
• XPTY 发布于 2022-08-17 12:13

1推荐

282浏览

零知识证明 - 从Puzzle理解线性相关

zkHack发布了新的Puzzle。虽然Puzzle用的比较老的Groth16算法，Puzzle的内容非常有趣，对理解零知识证明，多项式，线性相关等等知识非常有帮助。

• 0
• Star Li 发布于 2022-08-16 15:19

0推荐

256浏览

具有DDH假设的ZKP

网络安全的唯一方向是零信任模式。阻止敏感信息数据泄露的一种方法不是储存这些秘密，而是用随机的预言机代替它们。

• 0
• ChinaDeFi 去中心化金融社区 发布于 2022-07-29 10:12

0推荐

312浏览

零知识证明 - PLONK算法零知识性问题

PLONK的原始论文存在一个零知识性的问题。商t多项式没有添加随机性，导致simulator不能模拟出证明。

• 0
• Star Li 发布于 2022-07-29 09:48

0推荐

428浏览

零知识证明 - 深入理解Zinc

Zinc语言是一种智能合约语言，能方便的构建其对应的电路。Zinc开发的程序，编译成ZincVM指令，并在ZincVM执行并构建电路。构建电路的过程是将指令顺序执行，跟踪以及统一数据流。因为ZincVM构建电路需要将代码“静态”展开，所以Zinc不支持图灵完备。

• 0
• Star Li 发布于 2022-07-08 15:55

0推荐

370浏览

零知识证明 - Halo2开发常见错误(Custom Gate)

使用Halo2开发电路，不可避免会设计custom gate。在实际开发custom gate的过程中，经常会碰到一些错误。该篇文章总结并分析了在Halo2库基础上开发custom gate的一些错误和原理。

• 0
• Star Li 发布于 2022-06-24 08:50

0推荐

507浏览

zkREPL：一个zkSNARKs 在线开发环境

在计算的旧石器时代，计算机曾是机电的巨兽，每秒只可以执行几十次操作，但每年的成本却高达数百万美元。程序是通过细致的思考、在接线板中插入电线以及给卡片打孔来开发的。那个时候，bug就是是字面意义上的虫子，它们会啃咬电线，偶尔会导致短路，这可能会烧毁所有东西。

• 0
• XPTY 发布于 2022-06-23 12:12

1推荐

832浏览

构建你的第一个零知识 snark 电路（Circom2）

参考 iden3 官方最新教程文档，用 circom2 和 snarkjs 库创建和执行你的第一个零知识证明。

• 1
• weinsh 发布于 2022-06-20 15:02

1推荐

681浏览

2022 零知识调查报告

解析加密业界对零知识的见解及其未来的意义。

• 1
• MinaFans 发布于 2022-06-15 15:48

0推荐

422浏览

零知识证明 - 证明隐私代理方案

随着ZKP的应用越来越多，零知识证明的证明隐私代理也变的越来越重要。在一些场景下，本地证明的生成时间比较长，如何既保证数据的隐私同时实现快速的证明外包是一个很有意义的话题。在zkSummit7的这个演讲给出一个方案：在PIOP+多项式承诺的零知识证明方案中，可以结合MPC实现证明隐私代理。

• 0
• Star Li 发布于 2022-06-13 09:10

4推荐

1496浏览

zk-stark实践

zk-stark意为零知识—可拓展的—透明的—知识论证，在区块链上的应用前景备受瞩目。它不仅能提供隐私功能，还能提供无需信任第三方的扩容功能。下面将从一个具体问题出发对 zk-stark进行实践

• 2
• 493Labs_huk 发布于 2022-06-07 11:20

1推荐

615浏览

零知识 QAP问题的转化

本文是Vitalik写于2016年12月，用于介绍[零知识证明](https://learnblockchain.cn/2019/11/08/zkp-info)的数学实现方式的论文。文章思路清晰，通俗易懂，也因此，该文成为区块链行业技术人员学习这方面知识的首选文章之一。

• 0
• weinsh 发布于 2022-05-30 16:32

0推荐

665浏览

Foresight Ventures: 解读 zk, zkVM, zkEVM 及其未来

如果 Web3 和 Crypto 有统治世界的一天, 我认为绝对不会是 [EVM](https://learnblockchain.cn/article/3227) 生态占据 100% 的所有开发者, 而是所有的开发者会慢慢转化为 Web3 和 Crypto 开发者. 这就是通用的 zkVM 的绝妙之处.

• 1
• Foresight Ventures 发布于 2022-05-26 09:15