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

利用Zama的fhEVM构建链上保密单价token销售密封投标拍卖系统

本文介绍了Zama团队的fhEVM在token销售拍卖中的应用，重点介绍了社区成员Palra利用同态加密技术构建的链上保密单价拍卖系统，该系统允许参与者进行保密的竞标，同时确定统一的结算价格。文章还深入探讨了该方案中Fenwick树数据结构的使用，以及如何在保密性和可扩展性之间找到平衡。
fhEVM  同态加密  单价拍卖  保密竞标  Fenwick树  智能合约 
  • ZamaFHE
  • 发布于 2025-03-19
  • 阅读 ( 441 )
  • ( 5 )

zkPass：实现可验证的数据可组合性

本文系统回顾了隐私保护和数据验证的发展历程，特别聚焦于零知识证明（ZKP）和zkPass协议的应用。zkPass通过多方计算与零知识证明技术，实现了在保护隐私的同时进行安全数据交换的创新解决方案，为各个行业提供了有效的身份验证和数据共享方法。
zkPass  零知识证明  数据验证  隐私保护  多方计算  zkTLS 

LazyTower: An O(1) Replacement for Incremental Merkle Trees

LazyTower是一种新的数据结构，旨在逐步添加项并适用于零知识证明的成员资格。其均摊成本为O(1)，电路复杂度为O(log N)。文章详细讨论了LazyTower的实现原理、成本分析及隐私保护机制，同时提供了相关的代码实现链接。
LazyTower  零知识证明  Merkle树  电路复杂度  数据结构  区块链 

与人工智能领域相似的一幕正在零知识证明领域上演：一个价值千亿美元以上的机会正在涌现

文章分析了零知识证明（ZK）技术的发展现状，将其与2014-2016年的人工智能发展阶段类比，指出了ZK技术在隐私保护、计算完整性、可扩展性和信任最小化方面的价值，并重点介绍了zkVMs（零知识虚拟机）在降低ZK技术门槛、推动其主流应用方面的关键作用。文章认为，早期投资ZK生态系统，特别是zkVMs和开发者基础设施，具有类似早期AI投资的潜力。
零知识证明  zk-SNARKs  ZK-STARKs  zkVMs  隐私保护  区块链 

ZK 邮件 确保电子邮件隐私的零知识证明

ZK Email是一个利用零知识证明的前沿密码技术，旨在增强电子邮件的隐私和安全性。该技术能在不透露个人信息的情况下验证邮件的合法性，并能有效防止钓鱼攻击，实现去中心化身份验证。在文中，还详细介绍了ZK Email的工作原理、优点、技术细节、实际应用及未来发展方向。
ZK Email  零知识证明  电子邮件安全  去中心化身份验证  区块链应用  密码技术 
  • olympixai
  • 发布于 2025-03-15
  • 阅读 ( 1478 )
  • ( 49 )

从比特到量子比特——以及蝴蝶效应引发的飓风

文章讨论了量子计算的未来及其对加密技术的影响。量子计算机的发展将带来巨大的计算能力提升，但也对现有公钥加密方法构成威胁。NIST 正在开发新的加密标准来应对这一风险。展示了一种将经典图像转换为量子图像并通过量子算法进行加密和解密的方法，预示着量子计算在信息安全领域有着广阔的应用前景。
量子计算  量子加密  量子图像  NIST  公钥加密  蝴蝶效应 

以太坊拨款支持的LLZK：一种新的中间表示（IR）……

Veridise获得以太坊基金会的资助，开发出名为LLZK的新中间表示（IR），旨在统一和简化零知识电路编译，从而解决该生态系统中存在的碎片化问题。LLZK通过提供模块化、灵活性和形式验证等特点，计划提升ZK语言的可维护性与安全性，并加速安全工具的发展。
零知识证明  中间表示  电路编译  安全工具  LLZK  以太坊基金会 
  • Veridise
  • 发布于 2025-03-13
  • 阅读 ( 1203 )
  • ( 34 )

通往安全高效 zkVM 的路径：如何跟踪进展

本文讨论了零知识虚拟机（zkVM）在安全性和性能方面面临的重大挑战，并提出了一系列分阶段的安全和性能目标，以指导zkVM的开发与进步。尽管zkVM具有 democratize SNARKs 的潜力，但目前仍存在高复杂度、错误和性能慢的问题，需要数年时间才能实现基本目标。
zkVM  SNARK  安全性  性能  零知识证明  研究进展 

一文了解BLS聚合签名

in  密码学和网络安全
BLS聚合签名（BLSAggregateSignature）是一种基于BLS（Boneh-Lynn-Shacham）签名算法的高级密码学技术，具有签名聚合的能力。
BLS signatures 
  • Louis
  • 发布于 2025-03-12
  • 阅读 ( 1834 )
  • ( 102 )

移动电话网络、RFID和TETRA：最薄弱的环节？

本文讨论了移动通信网络、RFID和TETRA的加密弱点，特别关注了GPRS/GSM网络中使用的A5/1、A5/3（KASUMI）加密算法，SPECK在RFID通信中的应用以及TETRA标准中的TEA3加密算法。研究表明，由于GPU计算能力的增强，这些加密算法容易受到暴力破解攻击，强调了增加密钥长度至128位以上的重要性，并提出了在数据层进行加密的建议。
GPRS  GSM  RFID  TETRA  A5/1  KASUMI  TEA3  SPECK  加密  密码学  GPU破解 

Galaxy S25系列具备量子稳健性

三星 Galaxy S25 系列手机集成了抗量子密码（PQC）技术，以应对 NIST 即将在 2030 年弃用现有公钥方法。该系列手机采用 ML-KEM 和 ML-DSA 算法，通过三星 Knox Matrix 增强数据保护，并使用 S3SSE2A 芯片加速 PQC 运算，确保设备与未来支持 PQC 的设备兼容。
抗量子密码  PQC  ML-KEM  ML-DSA  三星 Knox Matrix  S3SSE2A 

如何进行ZK：Noir与Circom比较

本文对Circom和Noir进行了高层次比较，探讨了它们的生态系统、工具集、性能以及最佳用例。Circom作为一个低级领域特定语言，关注于电路约束的细粒度控制，而Noir则是一种更高层次的语言，旨在简化开发者体验，使其无需手动管理约束，进而提升工具的灵活性和可用性。
circom  Noir  零知识证明  电路  生态系统  工具 

Ingonyama Research 2025年度研究资助计划

Ingonyama Research 宣布了 2025 年度的研究资助计划，总额为 10 万美元，旨在支持使用 ICICLE（一个用于零知识证明的数学库）进行算法研究的开发者和研究人员。该计划鼓励研究者使用 ICICLE 重新实现已有的算法，并通过与原始论文的性能比较来获得资助，资助金额与性能提升幅度成正比。
零知识证明  ICICLE  硬件加速  研究资助  密码学算法 

GKR协议：逐步示例

该文章深入探讨了GKR协议，这是一个用于高效验证算术电路的交互式证明协议。文章通过示例详细说明了协议的步骤，包括如何使用多项式扩展和sum-check等技术，使资源有限的验证者能够验证计算的正确性。这一协议不仅阐明了交互式证明的重要性，还为更先进的密码学应用奠定了基础。
交互式证明  GKR协议  算术电路  多项式扩展  区块链  sum-check 

深入研究椭圆曲线（第四部分）

in  密码学101
本文深入探讨了椭圆曲线上的函数与映射，包括群的同态、同构、扭曲及其在密码学中的应用。作者解释了如何通过这些概念构建更复杂的算法，以及它们在有限域上的数学特性和意义。文章结构清晰，逻辑严谨，为读者提供了深入的技术理解。
椭圆曲线  函数  同态  同构  扭曲  密码学 

多标量乘法的带符号桶索引

本文介绍了带符号桶索引的多标量乘法（MSM）技术，也称为NAF方法。该方法通过将桶索引视为带符号整数，减少了桶的数量和内存使用。文章详细解释了如何将标量切片映射到新的范围，并提供了伪代码算法。同时讨论了处理最高切片溢出的问题，并提出了一种改进的技巧来避免最终进位。
多标量乘法  MSM  NAF方法  带符号桶索引  标量  桶 

案例研究：通过ICICLE加速Zircuit的零知识证明

Zircuit是一个EVM兼容的ZK rollup，旨在提升Web3应用的可扩展性和安全性。通过与Ingonyama的ICICLE软件库集成，Zircuit优化了其加密计算，显著改善了性能，降低了成本。本文详细介绍了Zircuit的功能、ICICLE的应用及将来的发展计划。
Zircuit  ZK Rollup  ICICLE  性能优化  块链技术  加密计算 
  • ingonyama
  • 发布于 2025-03-04
  • 阅读 ( 563 )
  • ( 10 )

TFHE-rs v1.0：稳定版 CPU 后端

Zama 发布了 TFHE-rs v1.0 稳定版，该版本稳定了 x86 CPU 后端的高级 API，并确保向后兼容，提升了密码学安全性，优化了分布式协议的性能。此外，还发布了 TFHE-rs 手册，详细介绍了后端的实现，并简化了贡献流程。通过贡献 Zama Bounty Program 还可以获得奖励，此外，GPU 后端也在开发中。
TFHE-rs  同态加密  密码学参数  CPU后端  GPU后端  Zama Bounty Program 
  • ZamaFHE
  • 发布于 2025-02-28
  • 阅读 ( 357 )
  • ( 2 )

KZG与常见的SNARK零知识算法特点分析

本文针对KZG、Groth16、Sonic、Fractal、Halo2、SuperSonic、Marlin、Plonk等8种零知识证明或多项式承诺协议，分别从算法特点、算法复杂度（主要关注证明/验证复杂度）、安全性、应用场景四个方面进行简要分析，便于你在对比或选型时有更清晰的思路。
KZG  SNARK 

一文读懂 zk-STARK 与 zk-SNARK 零知识证明

自区块链问世以来，如何在去中心化的环境下保证数据隐私与系统可扩容，一直是产业和学界的共同难题。
zk-STARK  zk-SNARK