密码学文章 - 第17页

以太坊Layer2扩容方案之Validium

Validium也是一个以太坊的Layer2的扩容方案，它主要是在链下处理交易、链下保证数据可用性(链下存储数据)、同时生成零知识证明对交易有效性进行确认。

Validium Plasma ZK Rollup Layer2

张乐辉
发布于 2024-06-19
阅读 ( 1774 )
( 64 )

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

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

同态加密完全同态加密学习误差安全模型密钥恢复 FHE应用

zellic
发布于 2024-06-12
阅读 ( 368 )

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

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

零知识证明

XPTY
发布于 2024-06-12
阅读 ( 2071 )
( 14 )

ZK领域入门资料整理

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

学习资源入门零知识证明入门

熵十达维
发布于 2024-06-10
阅读 ( 2408 )
( 40 )

Jolt：澄清、批评、反思

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

Jolt Lasso 零知识证明 sum-check协议 Binius承诺 zkVM

a16z Crypto
发布于 2024-06-04
阅读 ( 1242 )

零知识证明 - 说说Binius

Binius是个新颖的零知识证明系统，目的是降低证明者的计算开销。Binius能降低证明开销的原因是使用了$F_2$以及扩展域。

零知识证明 Binius

Star Li
发布于 2024-05-28
阅读 ( 2375 )
( 7 )

[Paper Reading and Code] On Proving Pairings

verify pairings on bitcoin

pairings bn254 recursive snark

白菜
发布于 2024-05-17
阅读 ( 1818 )
( 14 )

加密学基础：安全性评估

in 密码学101

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

凯撒密码频率分析 RSA 椭圆曲线加密密钥大小安全性

Frank Mangone
发布于 2024-05-16
阅读 ( 826 )

密码学 - ZaKi介绍 - Ingonyama

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

零知识证明 zk ICICLE GPU加速硬件加速 KZG承诺

ingonyama
发布于 2024-05-09
阅读 ( 259 )

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

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

零知识证明 GPU加速 ICICLE 密码学性能优化基准测试

ingonyama
发布于 2024-05-06
阅读 ( 274 )

使用SNARKs的可验证FHE引导

这篇博客文章是关于使用SNARKs验证FHE引导（Bootstrapping）的研究，旨在提高FHE的实际应用性。

全同态加密 SNARK 可验证计算 TFHE Plonky2 zkVM

ZamaFHE
发布于 2024-05-06
阅读 ( 313 )

椭圆曲线密码学：

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

椭圆曲线 ECC 公钥密码学 Diffie-Hellman 密钥交换 ECDSA

apfikunmi
发布于 2024-05-04
阅读 ( 762 )

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

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

Binius SNARKs STARKs 二进制域零知识证明有限域

Vitalik Buterin
发布于 2024-05-01
阅读 ( 625 )

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

in 零知识证明之书

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

有限域零知识证明模运算加法逆元乘法逆元 Python

RareSkills
发布于 2024-05-01
阅读 ( 1172 )

BLS12-381 理论与实现

Pairings, KZG, SNARK

pairings zkSNARK KZG

白菜
发布于 2024-04-30
阅读 ( 3316 )
( 132 )

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

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

Rank-1 Constraint Systems R1CS zero-knowledge proofs 列编码行编码多项式

thogiti
发布于 2024-04-27
阅读 ( 341 )

ZK 加速雅典

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

零知识证明 zk zkEVM 硬件加速密码学隐私

ingonyama
发布于 2024-04-26
阅读 ( 216 )

ZK的算术电路