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

使用全同态加密构建加密的 iOS 应用

Zama 团队发布了一系列开源的 iOS 应用演示程序和一个客户端 SDK，用于构建支持全同态加密（FHE）的移动应用。
全同态加密  FHE  iOS  Concrete ML  数据隐私  移动应用 
  • ZamaFHE
  • 发布于 2025-05-16
  • 阅读 ( 732 )
  • ( 23 )

Passkey背后的密码学原理

本文深入探讨了Passkey背后的密码学原理，包括WebAuthn规范如何增强安全性以抵抗网络钓鱼，以及Authenticator的类型。同时讨论了Passkey的威胁模型、局限性，以及用于密钥生成和证书存储的扩展功能。最后，文章为用户和开发者提供了采用Passkey的建议，并展望了其在现代身份验证系统中的未来。
Passkey  WebAuthn  密码学  身份验证  Authenticator  密钥管理 

Web 3 的世界近在咫尺 - 浏览器中的 ZKP

本文介绍了如何使用 Rust 编写零知识证明（ZKP）并在 WebAssembly (WASM) 中集成，从而在浏览器中运行 ZKP。文章展示了如何使用 wasm-pack 构建 WASM 文件，并在 HTML 中通过 JavaScript 桥接调用 Rust 代码实现 ZKP 的生成、证明和验证过程，使得在 Web 应用中实现隐私保护和可信计算成为可能。
零知识证明  WebAssembly  Rust语言  zkSNARK 

与 Michael Klein 的炉边谈话：深入了解 Noir——Aztec 的 ZK 语言、安全性和工具详解

Aztec 团队的 Michael Klein 和 Veridise 的 Jon Stephens 展开了一场炉边谈话，深入探讨了 Aztec 网络的关键组成部分——Noir 编程语言。讨论涵盖了 Noir 的设计决策、开发者体验、工具生态以及安全相关主题，还讨论了 Noir 与其他 ZK DSL 的比较、隐私考虑、元编程、Noir 和 zkVM 的区别以及形式化验证的作用。
Noir语言  Aztec网络  零知识证明  ZK DSL  元编程  形式化验证 

加密钱包如何工作？（以及我是如何构建一个的）

本文介绍了加密钱包的工作原理，重点解释了助记词（mnemonic phrases）、种子（seed）以及分层确定性钱包（HD Wallets）的概念。文章还展示了如何使用JavaScript来生成加密钱包，并强调了钱包的可移植性，即可以在不同的钱包应用之间导入和使用。
加密钱包  助记词  种子  分层确定性钱包  BIP-39  BIP-44  密钥 

密码学 - 奇妙的FN-DSA

本文介绍了FN-DSA（FIPS 206）这一新的数字签名标准，它使用快速傅里叶变换（FFT）优化了晶格结构中的变换过程，从而在后量子密码学（PQC）中实现了比ML-DSA更小、更高效的签名。文章提供了JavaScript代码示例和性能对比，展示了FN-DSA在密钥大小和签名大小方面的优势，并建议在区块链等应用中考虑使用。
FN-DSA  FIPS 206  后量子密码学  数字签名  FFT  晶格 

不可重用证明1

本文档记录了一系列关于可验证凭证（Verifiable Credentials）撤销（Revocation）问题的讨论和研究，重点关注在不同场景下（在线/离线 Prover/Verifier）如何实现隐私保护的可撤销凭证。
可验证凭证  撤销  隐私保护  零知识证明  默克尔树  数字身份 

整数运算(IOp)

本文档介绍了同态处理单元(HPU)上的整数运算(IOp)的高级代码语法，HPU通过使用整数的基数表示来处理整数上的任何运算。IOp代码定义了整数操作签名，该签名用作链接到数字操作(DOp)代码的标识符。文章详细描述了IOp代码的结构、关键字、预定义IOp以及自定义IOp的示例。
同态加密  HPU  整数运算  IOp  DOp  HIS v2.0  TFHE 
  • zama-ai
  • 发布于 2025-05-10
  • 阅读 ( 687 )
  • ( 14 )

备战后量子：格密码学初学者指南

保护网路安全的密码学技术正不断发展，是时候赶上进度了。这篇文章是关于格密码学的教程，格密码学是后量子（PQ）转变的核心范式。
量子加密  格密码 
  • XPTY
  • 发布于 2025-05-10
  • 阅读 ( 1039 )
  • ( 2 )

基于格的签名聚合

本文分析了基于格的签名聚合方案，特别是LaBRADOR在聚合Falcon签名方面的应用，并与基于哈希的签名聚合方法进行了比较。文章重点关注LaBRADOR的性能瓶颈，特别是验证时间，并探讨了潜在的优化方向，同时讨论了Lazer与原始LaBRADOR方案的异同，认为两者方法相似，最后总结了LaBRADOR方案在签名聚合方面的优势与挑战。
格签名  签名聚合  LaBRADOR  Falcon签名  零知识证明  STARK 

基于格的签名聚合 - 密码学

本文深入探讨了基于格的签名聚合技术，特别关注了LaBRADOR方案在聚合Falcon签名方面的应用。通过基准测试，展示了该方案在证明大小方面的优势，同时也指出了验证时间是其面临的主要挑战。文章还对比了LaBRADOR与基于哈希的签名聚合方法，并讨论了未来可能的优化方向，例如多线程技术和委托技术。
格签名  签名聚合  LaBRADOR  Falcon签名  零知识证明  后量子密码学 

隐私守护者：隐私计算时代的委员会

本文探讨了Web3未来隐私计算的关键技术，包括同态加密（FHE）、多方计算（MPC）和不可区分性混淆（iO），这些技术通常需要信任分布式委员会。文章分析了这些技术的优缺点，并讨论了可信执行环境（TEE）的作用，最后提出了未来Web3隐私计算可能采用的委员会、TEE或混合方法。
同态加密  多方计算  不可区分性混淆  可信执行环境  分布式委员会  隐私计算 
  • shutter
  • 发布于 2025-05-07
  • 阅读 ( 12 )

端到端加密：安全数字通信的终极指南

本文深入探讨了端到端加密（E2EE）的机制、优势、挑战及实际应用。E2EE通过确保只有发送者和接收者能够解密消息内容，从而提供无与伦比的数字隐私保护，被视为数字安全领域的黄金标准，文章还讨论了E2EE的未来发展趋势，包括应对量子计算风险、更广泛的应用以及相关的监管和伦理辩论。
端到端加密  E2EE  密钥交换  数据安全  隐私保护  加密算法 

最终，一个数字信任的新世界

本文介绍了零知识证明（ZKP）的概念，它允许在不泄露秘密信息的情况下证明某事。
零知识证明  ZKP  zk-SNARKs  ZK-STARKs  Bulletproofs  密码学 

哥布林 Plonk 递归手册

Goblin Plonk 是一种lazy recursive proof composition 技术，它通过使用Instruction Machine和 Curve Transposition Circuit 来提高SNARKs的效率。
Goblin Plonk  递归证明组合  SNARK  Instruction Machine  Curve Transposition Circuit  椭圆曲线虚拟机 

优化Barrett约减：更严格的界限消除冗余减法 - ZKSECURITY

本文分析了Barrett reduction算法中商的近似误差界限，指出在大多数实际应用场景中，该误差界限可以从[q-2, q]收紧到[q-1, q]，从而减少一次不必要的减法运算，提高计算效率。该优化已应用于RustCrypto的P-256标量域实现，性能提升了14%。
Barrett reduction  模运算  优化  P-256  椭圆曲线密码学  密码学 

Stwo 中的递归证明：第二部分

本文是关于Stwo中递归证明的第二部分，重点介绍了Poseidon组件的设计及其在零知识证明中的作用。通过专门的Poseidon组件优化STARK证明验证过程中的哈希函数计算，文章详细解释了Poseidon哈希函数的工作原理，以及如何在Stwo中构建高效的Poseidon组件，最终实现更高效的递归证明验证和Bitcoin STARK验证。
递归证明  STARK  Poseidon  零知识证明  哈希函数  PLONK 
  • L2IV
  • 发布于 2025-05-02
  • 阅读 ( 557 )
  • ( 8 )

使用 TFHE-rs 实现 AES-128 密码系统的全同态版本

本文介绍了在同态加密中进行转密码的概念，即同态应用加密或解密算法。Zama举办的TFHE-rs Bounty Season 7 就是关于同态应用 AES 加密算法的挑战。最终“sharkbot”的提交方案因其高效的 S-box 处理方法而获胜，该方案将 S-box 视为可计算的位级电路，并使用多种优化策略实现了最佳性能。其他参赛者也使用了类似方法，但性能略逊。
同态加密  转密码  AES  TFHE-rs  S-box  Boyar-Peralta电路 
  • ZamaFHE
  • 发布于 2025-05-01
  • 阅读 ( 1002 )
  • ( 28 )

ZK Mesh：2025年4月回顾

ZK Mesh是关于隐私增强密码学、分布式协议开发和零知识系统研究的月度新闻通讯，涵盖了最新的研究、文章、视频、播客、推文、工具、项目更新和活动。本期内容包括了zkSpeed、线性时间累积方案、GIGA协议等研究，以及硬件友好的HyperPlonk、后量子密码学代码优化等文章，以及多个零知识证明相关的视频和项目更新。
零知识证明  zkVM  密码学  隐私增强  zkTLS  HyperPlonk 
  • zkmesh
  • 发布于 2025-05-01
  • 阅读 ( 821 )
  • ( 28 )

SNARK中哈希的基准测试

本文对多种零知识证明（ZKP）框架在哈希函数上的性能进行了基准测试，包括plonky3、stwo、binius、hashcaster和expander。文章详细比较了它们在不同哈希算法（如Blake3、Keccak、Poseidon2等）上的吞吐量、证明大小和内存占用情况，并讨论了优化方向以及各个框架的优缺点。
零知识证明  哈希函数  性能评估  基准测试  密码学  STARK 
  • han___
  • 发布于 2025-05-01
  • 阅读 ( 888 )
  • ( 28 )