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

基于 RISC V 的ZK 虚拟机 zkVM 1.0 上线

zkVM 1.0 为构建链上协议和去中心化应用引入了新的范式。它解锁了可验证的链下计算，允许协议无缝扩展计算，并使开发者能够创建更复杂和高效的 dApp。
zkVM  RISC0 
  • RISC ZERO
  • 发布于 2024-06-20
  • 阅读 ( 1840 )
  • ( 7 )

以太坊Layer2扩容方案之Validium

Validium也是一个以太坊的Layer2的扩容方案，它主要是在链下处理交易、链下保证数据可用性(链下存储数据)、同时生成零知识证明对交易有效性进行确认。
Validium  Plasma  ZK Rollup  Layer2 
  • 张乐辉
  • 发布于 2024-06-19
  • 阅读 ( 1776 )
  • ( 64 )

针对全同态加密的新型密钥恢复攻击

这篇文章深入探讨了全同态加密（FHE）的安全模型及其潜在漏洞，特别是新近提出的针对FHE的攻击方法，揭示了在加密数据上操作可能带来的安全隐患。文章结合了学习误差（LWE）问题的基础知识和具体攻击的实现示例，强调了FHE在实际应用中的风险和改进方向。
同态加密  完全同态加密  学习误差  安全模型  密钥恢复  FHE应用 
  • zellic
  • 发布于 2024-06-12
  • 阅读 ( 374 )

Circle STARKs 系列（一）：梅森素域

在零知识证明系统中，我们（几乎）总是在有限域上进行操作，并且由于证明者通常必须进行大量的域操作来生成证明，因此我们自然希望我们的域操作要尽可能快。如果使用椭圆曲线密码学，我们被限制在“密码学大小”的域，比如大约 256 位可实现 128 位安全性。然而，类 STARK 的技术（里德-所罗门IOP）在
零知识证明 
  • XPTY
  • 发布于 2024-06-12
  • 阅读 ( 2077 )
  • ( 14 )

ZK领域入门资料整理

本书签内容整理自[紫樱](https://github.com/VioletSakura777) 的资源，非常感谢紫樱大佬的分享。我在上面进行整理添加。
学习资源  入门  零知识证明入门 

Jolt：澄清、批评、反思

文章详细介绍了Lasso和Jolt这两种新型零知识虚拟机（zkVM）的核心原理和实现，特别强调了sum-check协议在Jolt中的重要性，以及与Binius承诺方案的结合。作者探讨了Jolt在性能与简化方面的优势，讨论了椭圆曲线与哈希之间的比较，并解构了EVM中的预编译和zkVM基准测试的概念。
Jolt  Lasso  零知识证明  sum-check协议  Binius承诺  zkVM 

零知识证明 - 说说Binius

Binius是个新颖的零知识证明系统，目的是降低证明者的计算开销。Binius能降低证明开销的原因是使用了$F_2$以及扩展域。
零知识证明  Binius 
  • Star Li
  • 发布于 2024-05-28
  • 阅读 ( 2379 )
  • ( 7 )

[Paper Reading and Code] On Proving Pairings

verify pairings on bitcoin
pairings  bn254  recursive snark 
  • 白菜
  • 发布于 2024-05-17
  • 阅读 ( 1821 )
  • ( 14 )

加密学基础：安全性评估

in  密码学101
本文介绍了加密技术的基本概念及其安全性评估，重点讨论了历史上著名的凯撒密码及其被频率分析破解的案例，以及现代加密技术中密钥大小对安全性的影响。
凯撒密码  频率分析  RSA  椭圆曲线加密  密钥大小  安全性 

密码学 - ZaKi介绍 - Ingonyama

Ingonyama发布了ZaKi，一种新的、垂直集成的ZK托管服务，它基于ICICLE，并对硬件进行了优化配置，以运行加速的ZK工作负载，旨在提供卓越的性价比。ZaKi通过提供一个已经为ZK计算优化的托管环境，消除了硬件设置和配置的障碍，使团队能够专注于他们的ZK应用。
零知识证明  zk  ICICLE  GPU加速  硬件加速  KZG承诺 

面向研究人员的 ICICLE：资助与挑战

Ingonyama 正在为研究人员和实践者提供 10 万美元的资助，以推进 ZK（零知识证明）加速技术。资助方向包括：学生使用 Icicle 库进行研究、改进 Icicle 中现有加速原语的性能、将现有 ZK 协议移植到 Icicle、向 Icicle 添加新的原语以及将 ZK 基准测试与 Icicle 进行比较。Ingonyama 还将为获得资助者提供技术指导和 GPU 访问权限
零知识证明  GPU加速  ICICLE  密码学  性能优化  基准测试 

使用SNARKs的可验证FHE引导

这篇博客文章是关于使用SNARKs验证FHE引导（Bootstrapping）的研究，旨在提高FHE的实际应用性。
全同态加密  SNARK  可验证计算  TFHE  Plonky2  zkVM 
  • ZamaFHE
  • 发布于 2024-05-06
  • 阅读 ( 316 )

椭圆曲线密码学：

这篇文章为初学者提供了关于椭圆曲线密码学（ECC）的入门介绍，包括基本概念、操作和实际应用示例。文章通过定义关键术语、解释椭圆曲线的数学原理、讲解ECC的单向性以及Diffie-Hellman密钥交换算法，帮助读者理解ECC如何用于保护信息安全。整体内容系统且易于理解。
椭圆曲线  ECC  公钥密码学  Diffie-Hellman  密钥交换  ECDSA 

Binius：在二进制域上的高效证明

文章介绍了Binius，一种在二进制域上高效生成证明的系统，详细解释了其技术原理、实现方法及其相较于SNARKs和STARKs的优势。
Binius  SNARKs  STARKs  二进制域  零知识证明  有限域 

用于零知识证明的有限域与模运算

in  零知识证明之书
本文详细介绍了有限域在零知识证明电路中的应用，包括有限域的定义、模运算、加法逆元、乘法逆元等概念，并通过代码示例展示了如何在Python中实现这些操作。
有限域  零知识证明  模运算  加法逆元  乘法逆元  Python 

BLS12-381 理论与实现

Pairings, KZG, SNARK
pairings  zkSNARK  KZG 
  • 白菜
  • 发布于 2024-04-30
  • 阅读 ( 3322 )
  • ( 132 )

理解 R1CS 中的列编码与行编码 - 从密码学的角度来看

本文深入探讨了在Rank-1约束系统（R1CS）中列编码与行编码的优缺点，特别是在零知识证明（ZKP）的背景下。列编码通过创建简单的多项式来简化计算，较低的多项式度数使其在计算上更高效，适合加密应用，而行编码则因多项式复杂度高而较少使用。
Rank-1 Constraint Systems  R1CS  zero-knowledge proofs  列编码  行编码  多项式 
  • thogiti
  • 发布于 2024-04-27
  • 阅读 ( 344 )

ZK 加速雅典

Ingonyama 于 2024 年 4 月 11 日举办了 ZK Accelerate Athens，重点关注 ZK 工程和产品。活动包括 16 场技术讲座、演示和 3 场小组讨论。涵盖了 STWO 性能、去中心化证明层、zkEVM、隐私协议、硬件加速等多个主题，展示了 ZK 领域的最新进展。
零知识证明  zk  zkEVM  硬件加速  密码学  隐私 

最新MSM硬件实现方案的深入研究

本文介绍了Ingonyama团队在2023年ZPrize竞赛中获得第一名的基于FPGA的MSM加速方案。该方案首次在加速器平台上实现了批量仿射椭圆曲线加法，显著降低了MSM的计算负担。该设计在AMD Alveo U250 FPGA上实现了高性能，支持BLS12-381和BLS12-377曲线，并在未来异构计算中具有广阔的应用前景。
零知识证明  FPGA  MSM  椭圆曲线  硬件加速  bls12-381  BLS12-377 

ZK的算术电路

in  零知识证明之书
文章介绍了在零知识证明中使用的算术电路（Arithmetic Circuits）与布尔电路（Boolean Circuits）的对比，并展示了如何将算术电路用于求解NP问题。文章详细解释了算术电路的原理、实现方法，并提供了多个具体示例，如三色图问题和排序列表问题。
零知识证明  算术电路  布尔电路  NP问题  三色图问题