密码学文章 - 第15页

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

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

零知识证明 ZK证明 zk ICICLE Brevis Groth16

ingonyama
发布于 2024-08-28
阅读 ( 321 )

可信设置

in 零知识证明之书

文章介绍了ZK-SNARKs中使用的可信设置机制，详细解释了如何在保密值上计算多项式，并提供了Python代码示例。

zk-SNARKs 可信设置多项式结构化参考字符串椭圆曲线群

RareSkills
发布于 2024-08-28
阅读 ( 675 )

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

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

零知识证明加密技术 Solana 数学原理区块链 NP完全

Helius
发布于 2024-08-22
阅读 ( 1137 )

Circle Stark: from a new Starker

circle stark: perspective from a new stark

STARK FFT circle group

白菜
发布于 2024-08-16
阅读 ( 1480 )
( 23 )

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

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

zk-STARK RISC Zero 零知识证明 FRI协议 Reed-Solomon编码执行跟踪

RISC ZERO
发布于 2024-08-14
阅读 ( 531 )

可编程密码学 - 第一篇

“可编程密码学”一词来指代今天变得实用的第二代密码学原语。这些原语的定义特征是它们比第一代密码学灵活得多：它们允许我们在密码协议内部或之上执行通用计算。

可编程密码学 FHE MPC zkSNARK

0xPARC
发布于 2024-08-12
阅读 ( 2133 )
( 66 )

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

FHE

仙壤
发布于 2024-08-12
阅读 ( 2746 )
( 12 )

2024-08-11 zk-insights Weekly

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

ZKP

Coset
发布于 2024-08-12
阅读 ( 1527 )
( 33 )

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

零知识证明 zkSNARK

仙壤
发布于 2024-08-09
阅读 ( 2090 )
( 7 )

【视频】Tornado Cash 代码实践系列

这个系列的视频将从零到一实现 Tornado Cash 的功能，包括零知识证明电路，智能合约以及证明验证。希望你能从中学习到 Tornado Cash 的所用到的技术，并知道如何构建一个零知识证明应用。

零知识证明 Tornado.cash zkSNARK zksnak Solidity circom

pichabote
发布于 2024-08-09
阅读 ( 1918 )
( 59 )

使用 zkTLS 证明新世界

本文深入探讨了加密生态系统与现实世界之间的隔离现象，提出了数据可移植性的重要性，并介绍了一种新协议zkTLS，该协议旨在通过创建Web2与Web3之间的安全数据通道，推动用户数据在不同平台之间的共享与使用。文中还提到了一些相关项目与未来的挑战。

zkTLS 数据可移植性 Web3 加密生态系统零知识证明协议

yasu.block
发布于 2024-08-08
阅读 ( 457 )

zk-SNARK 系列 - #2 证明多项式的知识

为什么和如何使用 zk-SNARK系列文章

zkSNARK

Maksym
发布于 2024-08-07
阅读 ( 1834 )
( 15 )

探秘 Circle STARKs （重排版）

探秘 Circle STARKs

Circle STARK

XPTY
发布于 2024-08-06
阅读 ( 1604 )
( 4 )

2024-08-04 zk-insights Weekly

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

zk

Coset
发布于 2024-08-06
阅读 ( 1505 )
( 23 )

Constantine 性能表现

本文主要介绍了Constantine在区块链和零知识证明等领域的性能优势，以及如何通过基准测试来衡量其性能。文章详细对比了不同编译器（如GCC和Clang）在优化大整数和密码学代码方面的差异，并强调了使用内联汇编以确保性能和避免分支的重要性，Constantine通过优化代码大小和栈使用量，以及避免堆分配，适用于资源受限的设备。

椭圆曲线密码学性能优化区块链零知识证明基准测试编译器优化内联汇编

mratsim
发布于 2024-08-01
阅读 ( 347 )

解读Cysic：硬件加速与ZK矿业的崛起前夜

硬件加速领域中，Cysic可能是最受关注的劲旅之一

Cysic zkSNARK 零知识证明

仙壤
发布于 2024-07-26
阅读 ( 2159 )
( 10 )

Circle STARKs 介绍

本文介绍了 Circle STARKs，它通过利用具有最快有限域算术的梅森素数，展示了卓越的性能。Circle STARKs 通过移动到圆群来解决梅森素数上定义的字段的非平滑结构，并密切遵循其经典的 STARKs 类似物，虽然有一些细微之处，但幸运的是，大多数细微之处都对开发人员隐藏了，Circle STARKs 以及高效的查找可以帮助提高通用 ZKVM 的性能。

Circle STARKs 梅森素数 vanishing polynomials FRI协议 Circle FFT

lambdaclass
发布于 2024-07-26
阅读 ( 339 )

zk-SNARK 系列 - #1 SNARK介绍 & 证明媒介

介绍 SNARK 及证明媒介

zkSNARK 零知识证明

Maksym
发布于 2024-07-25
阅读 ( 2027 )
( 10 )

探索Circle STARK技术

本文深入探讨了Circle STARKs的工作原理及其在零知识证明中的应用，特别是在小字段上的优化和效率提升。

STARKs Circle STARKs 零知识证明小字段 FRI Mersenne31

Vitalik Buterin
发布于 2024-07-25
阅读 ( 484 )

17 个关于 SNARKs 的误解（以及为什么会有这样的误解）