密码学文章 - 第22页

解释区块链中最近的崛起的全同态加密

介绍全同态加密（FHE）：探索其令人兴奋的应用、局限性和最近推动其流行的发展。

FHE

Mustafa Hourani
发布于 2024-07-12
阅读 ( 2991 )
( 24 )

fhEVM 全同态加密 EVM 是如何工作的？

深入探讨了 fhEVMs 如何利用全同态加密来增强 EVM 兼容区块链中的隐私性。

fhEVM FHE MPC ZKP Zama Fhenix

Whales
发布于 2024-07-11
阅读 ( 2633 )
( 143 )

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
阅读 ( 366 )

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
阅读 ( 428 )

比特币密码学原理

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

密码学

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

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

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

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

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

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

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

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

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

Lit Protocol：下一代数字安全和密钥管理

Lit Protocol 是一种去中心化密钥管理解决方案，利用阈值密码学和安全加密虚拟化技术，解决了安全通信、数据完整性和数字身份中的关键挑战。它通过分散密钥管理、可编程钱包和无服务器签名等功能，增强了 Web3 生态系统中的安全性和隐私。

Lit Protocol 去中心化密钥管理阈值密码学安全加密虚拟化可编程钱包无服务器签名

imperator
发布于 2024-07-06
阅读 ( 54 )

十字路口的密码学：道德责任，密码朋克运动与机构

本文探讨了密码学工作与道德责任和政治行动主义的交叉点，从密码朋克宣言和 Phillip Rogaway 的道德分析出发，讨论了密码学发展的历史背景、密码朋克意识形态的哲学基础，以及大规模监控和隐私问题带来的当代挑战。文章呼吁重新致力于开发优先考虑人权和公共物品的密码学解决方案，并强调了密码学界需要重申其对科学严谨性和道德责任的承诺。

密码学密码朋克道德责任政治行动主义隐私安那其主义后量子密码学

BTCStudy
发布于 2024-07-03
阅读 ( 411 )

理解群论

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

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

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

量子对于后量子并不重要

文章讨论了后量子密码（PQ）的必要性和优势，即使量子计算机没有实际出现，新的PQ标准也比传统的密码算法更安全、更有弹性且更灵活。当前广泛使用的公钥密码术存在风险，而后量子密码通过基于多种数学难题构建算法、采用现代设计和提供使用案例灵活性来解决这些问题，从而实现密码多样化和现代化。

后量子密码量子计算机密码学 NIST CRYSTALS-KYBER SPHINCS+

Trail of Bits
发布于 2024-07-02
阅读 ( 498 )

利用约束不足的零知识证明电路

本文深入探讨了零知识证明（ZK）电路中的安全漏洞，重点分析了电路因约束不足而导致的模运算溢出漏洞，并通过示例展示了如何利用此漏洞伪造非素数证明。文章还提出了通过范围约束来防止溢出的解决方案，并强调了审计 ZK 电路时需注意的不同 p 值对范围约束和溢出产生的影响。

零知识证明 ZK电路安全漏洞模运算溢出范围约束有限域

Dacian
发布于 2024-07-02
阅读 ( 87 )

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

FHE

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

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

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

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

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

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

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

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

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

CRYSTALS Kyber：后量子加密的关键

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

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

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

解除 Fiat-Shamir 陷阱

本文介绍了Fiat-Shamir变换在零知识证明（ZKPs）和多方计算（MPC）中的重要性，并强调了正确实现该变换的挑战。为了帮助开发者避免常见错误，Trail of Bits发布了一个名为Decree的Rust库，该库旨在简化Fiat-Shamir transcript的规范和强制执行，并通过Inscribe trait确保包含上下文信息。

Fiat-Shamir变换零知识证明多方计算 Decree 密码学 transcript

Trail of Bits
发布于 2024-06-25
阅读 ( 526 )

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

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

zkVM Plonky3 SP1 RISCV

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

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

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

RISC0 zkVM

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

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

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

zkVM RISC0

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