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

程序员的基本群论

in  零知识证明之书

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

抽象代数

in  零知识证明之书

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

从R1CS构建零知识证明

in  零知识证明之书

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

可信设置

in  零知识证明之书

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

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

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

Circle Stark: from a new Starker

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

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

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

可编程密码学 - 第一篇

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

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

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

2024-08-11 zk-insights Weekly

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

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

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

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

这个系列的视频将从零到一实现 Tornado Cash 的功能，包括零知识证明电路，智能合约以及证明验证。希望你能从中学习到 Tornado Cash 的所用到的技术，并知道如何构建一个零知识证明应用。
零知识证明  Tornado.cash  zkSNARK  zksnak  Solidity  circom 
  • pichabote
  • 发布于 2024-08-09
  • 阅读 ( 1613 )
  • ( 59 )

使用 zkTLS 证明新世界

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

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

为什么和如何使用 zk-SNARK系列文章
zkSNARK 
  • Maksym
  • 发布于 2024-08-07
  • 阅读 ( 1487 )
  • ( 15 )

探秘 Circle STARKs （重排版）

探秘 Circle STARKs
Circle  STARK 
  • XPTY
  • 发布于 2024-08-06
  • 阅读 ( 1317 )
  • ( 4 )

2024-08-04 zk-insights Weekly

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

Constantine 性能表现

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

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

硬件加速领域中，Cysic可能是最受关注的劲旅之一
Cysic  zkSNARK  零知识证明 
  • 仙壤
  • 发布于 2024-07-26
  • 阅读 ( 1835 )
  • ( 10 )

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

介绍 SNARK 及证明媒介
zkSNARK  零知识证明 
  • Maksym
  • 发布于 2024-07-25
  • 阅读 ( 1645 )
  • ( 10 )

探索Circle STARK技术

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