密码学文章 - 第17页

Zama 产品发布 - 2024 年 7 月

Zama 团队发布了 TFHE-rs (v0.7)、Concrete (v2.7)、Concrete ML (v1.6) 和 fhEVM (v0.5) 的新版本。

同态加密 TFHE-rs Concrete Concrete ML fhEVM GPU

ZamaFHE
发布于 2024-07-06
阅读 ( 218 )

Concrete v2.7：GPU Wheel、扩展的函数组合及其他改进

Concrete v2.7版本发布，引入了GPU加速功能，通过安装GPU wheel并设置use_gpu选项即可利用GPU进行FHE计算加速，最多可提速2.5倍。同时，新版本还扩展了函数组合的支持，通过分区优化和指定函数依赖关系，进一步提升模块的性能。此外，v2.7还包含其他一些小的改进。

全同态加密 GPU加速 Concrete 函数组合模块优化密码学参数

ZamaFHE
发布于 2024-07-06
阅读 ( 267 )

比特币密码学原理

密码学原理比特币中主要用到了密码学中的两个功能：哈希和签名。哈希密码学中的哈希称为Cryptographichashfunction，具有三个性质：collisionresistance(哈希碰撞)和Hiding、puzzlefriendly比特币中用的哈希函数是：SHA-256，即

密码学

麦丹
发布于 2024-07-06
阅读 ( 2143 )
( 33 )

fhEVM v0.5：加密数据的增强安全性和效率

Zama 团队发布了 fhEVM v0.5 版本，该版本引入了诸多增强功能，旨在提高在应用中处理加密数据的安全性和效率，包括打包输入机制、增强的访问控制列表 (ACL) 以及更新的解密和重新加密过程。Solidity API 迎来稳定和最终版本，该版本将与未来版本以及各种链兼容。

fhEVM 同态加密访问控制列表 Solidity 加密数据区块链

ZamaFHE
发布于 2024-07-06
阅读 ( 308 )

TFHE-rs v0.7：密文压缩、多 GPU 支持及更多

TFHE-rs v0.7 版本发布，引入了密文压缩和多 GPU 支持等重要特性。密文压缩可将密文大小最多减少 1900 倍，而多 GPU 支持能够显著提升同态计算的性能，文章还介绍了新版本中参数集合的更新、新的向量和数组运算、优化的零知识证明以及优化的 GPU 密钥切换等额外功能。

TFHE-rs 同态加密密文压缩多GPU 性能优化零知识证明

ZamaFHE
发布于 2024-07-06
阅读 ( 293 )

理解群论

这篇文章深入探讨了群体论，涵盖了从最简单的金属体、半群、单元到群、阿贝尔群以及复杂的环和域等概念，并通过代码提供了验证这些结构的实例。最后，它提到了这些数学概念在类型理论和椭圆曲线密码学中的应用，展示了其在计算机科学和加密技术中的重要性。

群体论半群环域阿贝尔群 Galois场

jtriley
发布于 2024-07-02
阅读 ( 486 )

FHE全同态加密介绍——小白版

FHE

mutourend
发布于 2024-06-28
阅读 ( 2541 )
( 108 )

使用ZK Email进行私有邮件恢复

ZK Email与Rhinestone合作，为智能账户引入隐私保护的Web2集成。Rhinestone将开发一个ZK Email模块模板，使开发者能够轻松地基于ZK Email和ERC-7579智能账户构建智能账户功能，例如使用户能够使用电子邮件地址作为守护者，而无需透露电子邮件地址。

ZK Email 智能账户 ERC-7579 DKIM 隐私保护模块化

Rhinestone
发布于 2024-06-28
阅读 ( 299 )

ZK Catalog - 汇总链上ZK验证器的源代码验证

L2BEAT推出了ZK Catalog，旨在汇总链上ZK验证器的源代码验证信息。由于ZK项目验证过程复杂且依赖定制工具，L2BEAT将提供验证状态的认证徽章，并鼓励社区贡献，以提高ZK程序的透明度并促进行业标准化。

zk 零知识证明验证器源代码验证可信设置 zkEVM

l2beat
发布于 2024-06-26
阅读 ( 96 )

CRYSTALS Kyber：后量子加密的关键

文章详细介绍了CRYSTALS Kyber，一种基于格结构的后量子加密算法，旨在抵御量子计算的威胁。文章深入探讨了Kyber的核心机制，包括密钥封装机制（KEM）和学习误差问题（LWE），并提供了相关数学公式和算法的解释。

CRYSTALS Kyber 后量子加密密钥封装机制学习误差问题格结构量子计算

hwupathum
发布于 2024-06-26
阅读 ( 1518 )

零知识证明 - SP1 zkVM源代码入门

一直对zkVM比较感兴趣。zkVM将零知识证明技术应用带入一个新的时代。几年前，应用零知识证明技术需要理解复杂的零知识证明算法，并且需要将证明业务逻辑描述成“电路”。zkVM将这些复杂的逻辑封装。基于zkVM，业务开发人员可以采用熟悉的高级语言轻松完成证明业务的描述。目前市面上zkVM层出不穷。先看

zkVM Plonky3 SP1 RISCV

Star Li
发布于 2024-06-25
阅读 ( 3610 )
( 52 )

初学指南: 使用 Risc0 创建你的第一个 ZK 项目

使用 Risc0 创建你的第一个 ZK 项目

RISC0 zkVM

RISC ZERO
发布于 2024-06-22
阅读 ( 2045 )
( 11 )

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

zkVM 1.0 为构建链上协议和去中心化应用引入了新的范式。它解锁了可验证的链下计算，允许协议无缝扩展计算，并使开发者能够创建更复杂和高效的 dApp。

zkVM RISC0

RISC ZERO
发布于 2024-06-20
阅读 ( 1854 )
( 7 )

以太坊Layer2扩容方案之Validium

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

Validium Plasma ZK Rollup Layer2

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

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

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

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

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

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

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

零知识证明

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

ZK领域入门资料整理

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

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

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

Jolt：澄清、批评、反思

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

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

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

零知识证明 - 说说Binius

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

零知识证明 Binius

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

[Paper Reading and Code] On Proving Pairings

verify pairings on bitcoin

pairings bn254 recursive snark

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