密码学文章 - 第8页

zkEVM 背后的技术发展：从多项式承诺到硬件加速

在本文中，我们将研究使 zkEVM 成为可能的技术进展。我将尽量简化以使其易于理解。以下是推动 zkEVM 进步的四项技术进展

零知识证明 zkEVM

XPTY
发布于 2023-01-30
阅读 ( 2265 )

零知识证明| 什么是ZK-STARK以及有哪些技术优势？

本期内容我们将继续介绍另外两种零知识证明类型ZK-STARK和递归ZK-SNARK？

zkSTARK

Tokenview
发布于 2023-01-09
阅读 ( 2897 )
( 7 )

什么是零知识证明，如何守护Web3隐私？|Tokenview

零知识证明（Zero-knowledgeproofs）是一种在不暴露声明本身的情况下证明声明有效性的方法。

零知识证明

Tokenview
发布于 2022-12-29
阅读 ( 3657 )
( 15 )

什么是零知识证明：ZK-SNARKs？|Tokenview

零知识证明（Zero-knowledgeproofs）是允许一方向另一方透露信息知识而不透露信息本身的机制。ZK证明也称为有效性证明，最初用于隐藏以隐私为中心的区块链中的交易细节。

zkSNARK 零知识证明

Tokenview
发布于 2022-12-23
阅读 ( 5109 )
( 25 )

Paillier 同态加密算法

算法同态加密 FHE

alphjon
发布于 2022-11-28
阅读 ( 3930 )
( 12 )

密码学：后量子密码学中的模数是多少？

公钥加密的旧篇章即将结束，新篇章即将开启。在20世纪70年代末完成的工作对我们很有帮助，但现在我们面临着量子计算机会打破这些方法的威胁。

密码学

ChinaDeFi 去中心化金融社区
发布于 2022-11-16
阅读 ( 1806 )

零知识证明 - FPGA vs. GPU

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

零知识证明 FPGA GPU 硬件加速

Star Li
发布于 2022-09-19
阅读 ( 7313 )
( 3 )

使用 SNARKs 批处理 ECDSA 签名

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

零知识证明 zkSNARK ECDSA

XPTY
发布于 2022-09-14
阅读 ( 2889 )

关于Groth16延展攻击

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

Groth16 零知识证明

XPTY
发布于 2022-08-17
阅读 ( 2193 )

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

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

零知识证明 Groth16 circom

Star Li
发布于 2022-08-16
阅读 ( 2580 )

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

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

零知识证明 PLONK

Star Li
发布于 2022-07-29
阅读 ( 2963 )

zkMove 第一次公开亮相

前段时间应 Move 核心开发者 zrt 之邀，在 Move 社区的周会上做了一个分享，介绍了 zkMove 的整体架构并演示了其命令行工具的使用，这应该算是 zkMove 第一次公开亮相。我整理了一下相关内容，欢迎感兴趣的朋友一起探讨。

Layer2 Move 虚拟机

Young Rocks
发布于 2022-07-15
阅读 ( 3580 )
( 25 )

零知识证明 - 深入理解Zinc

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

零知识证明 zkVM Zinc

Star Li
发布于 2022-07-08
阅读 ( 2572 )

[零知识证明]基于bls12-381生成秘密随机点

一个多方协同计算生成椭圆曲线上的秘密点的思路与实现，可以应用于随机数，身份验证等等

bls12-381 MPC 零知识证明

Alvan
发布于 2022-07-05
阅读 ( 2880 )
( 7 )

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

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

零知识证明 Halo2

Star Li
发布于 2022-06-24
阅读 ( 2916 )

zkREPL：一个zkSNARKs 在线开发环境

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

零知识证明 zkSNARK

XPTY
发布于 2022-06-23
阅读 ( 3781 )

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

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

零知识证明 zkSNARK

weinsh
发布于 2022-06-20
阅读 ( 4585 )
( 21 )

2022 零知识调查报告

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