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

如何阅读（密码学）研究论文

本文档提供了阅读（加密）研究论文的实用指南，目标读者不是学术界人士，而是希望了解密码学领域最新进展的从业者。文章介绍了阅读研究论文的通用策略，包括按特定顺序阅读论文的不同部分（如摘要、引言、结论等），以及针对密码学论文的一些特殊技巧，例如理解密码学假设、模型和常见术语。
密码学  研究论文  阅读技巧  安全  加密算法  密码学模型 

密码学 - 域分离

本文深入探讨了密码学中的域分离概念，强调了其在确保数据和操作仅用于特定目的的重要性。文章通过实例分析了域分离的多种类型和应用，包括密钥隔离、AAD区分、以及在哈希函数和签名数据中的应用，以此论证了域分离在防止安全漏洞方面的关键作用，并引用了实际案例和专家观点，强调了在密码学设计中贯彻域分离原则的必要性。
域分离  密码学  哈希函数  密钥派生  安全协议  数据序列化 

DAEAD：具有关联数据的确定性认证加密

本文介绍了DAEAD（具有关联数据的确定性认证加密）中的SIV模式，它通过合成初始化向量来克服nonce重用/误用的问题。SIV模式结合确定性特征与AEAD，使用AES-SIV模式进行密钥包装，增强了加密的安全性，并提供了使用Go语言的Tink库实现DAEAD的示例代码。
DAEAD  SIV  确定性认证加密  AES-SIV  nonce  密钥包装 

你想成为一名密码学家？- 密码学学习引导

本文为想要学习密码学的人提供了一个资源列表和学习指南，内容涵盖了密码学学习的各个方面，从课程、书籍到实践活动，以及其他阅读材料和建议。作者鼓励读者深入学习，并强调了安全的重要性，同时还给出了社区参与的建议。
密码学  加密算法  安全  密码破译  代码安全  应用密码学 

混合加密：ECIES

本文介绍了混合加密方案ECIES（Elliptic Curve Integrated Encryption Scheme），它结合了公钥加密的安全性和对称密钥加密的效率。文章解释了 ECIES 的原理，包括 Alice 如何使用 Bob 的公钥生成共享密钥，加密消息并发送给 Bob，以及 Bob 如何使用私钥解密消息。同时给出了一个Golang中使用Google Tink实现的ECIES的例子。
混合加密  ECIES  椭圆曲线  公钥加密  对称密钥加密  Google Tink  golang 

密钥封装的公钥加密之美：HPKE

本文介绍了混合公钥加密（HPKE）结合密钥封装（KEM）的加密方法，它使用接收者的公钥来加密数据，使用密钥派生函数（KDF）来派生密钥，并使用带有附加数据的认证加密（AEAD）函数来加密数据，同时还给出了使用Go语言实现的HPKE代码示例。
公钥加密  密钥封装  HPKE  KEM  密钥派生函数  HKDF 

即使进行了零知识证明（ZK）包装，数字身份也存在风险吗？

文章探讨了零知识证明（ZK）包装的数字身份的潜在风险，尽管ZK能解决许多隐私问题，但它并不能完全消除风险。文章指出，试图维护“一人一身份”的模式会带来隐私泄露、易受胁迫和错误等问题。文章提倡一种折衷方案，即允许多个身份的存在，并提出“多元身份”的概念，包括显式的（基于社交关系）和隐式的（多种类型的ZK身份，没有哪一种占据绝对市场份额），以实现更理想的平衡。
零知识证明  数字身份  隐私  多元身份  反女巫攻击  zk-wrapping 

解构 1.5 GHz zkVM：ZisK 如何重新定义跟踪生成的极限

ZisK 团队在可验证计算领域取得了突破性进展，他们实现了 1.5 GHz 的 RISC-V 跟踪生成速度，比其他公开的 zkVM 快约 10 倍。该方案通过高效的代码翻译和内存解耦并行化策略实现了这一目标，解决了零知识证明中最顽固的瓶颈问题，为实时、按需的 ZK 证明铺平了道路。
零知识证明  zkVM  RISC-V  AOT编译  并行计算  可验证计算 

JSON与加密密钥——天作之合

本文介绍了如何使用JSON格式封装加密和签名密钥，以及JSON格式在密钥管理中的优势。通过Google Tink展示了对称密钥、消息认证码、数字签名和混合加密等多种密钥类型的JSON格式示例，并列举了几乎所有可用的密钥类型，以及如何使用tinkey工具生成JSON格式的密钥集。
JSON  加密密钥  签名密钥  Google Tink  密钥管理  AES  ECDSA 

沙弗里拉（沙菲）与计算机科学领域的诺贝尔奖

本文介绍了图灵奖得主Shafi Goldwasser在密码学领域的贡献，包括与他人共同发明的概率加密（Blum-Goldwasser）和零知识证明。文章详细解释了Blum-Goldwasser概率加密和Goldwasser–Micali (GM)密码系统的原理、加密解密过程，并提供了相应的代码示例和运行结果，最后总结了GM密码系统在同态加密中的应用。
Shafi Goldwasser  概率加密  零知识证明  Blum-Goldwasser  Goldwasser–Micali  同态加密 

宣布我们的 B 轮融资和 Zama 保密区块链协议

Zama 宣布推出 Zama Confidential Blockchain Protocol，这是一个在任何 L1 或 L2 之上实现保密智能合约的协议，并完成了 5700 万美元的 B 轮融资，估值超过 10 亿美元。该协议利用全同态加密（FHE）技术，通过多方计算（MPC）和零知识证明（ZK）来解决其他保密解决方案的不足，旨在实现区块链的大规模应用，尤其是在金融、身份和治理领域。
全同态加密  FHE  机密智能合约  区块链  多方计算  零知识证明 
  • ZamaFHE
  • 发布于 2025-06-26
  • 阅读 ( 1439 )
  • ( 52 )

深入探讨Binius M3算术化，以Merkle树包含为例

本文深入探讨了Binius的M3算术化框架，以Merkle树包含性证明为例。重点介绍了表和通道作为M3中的基本抽象，取代了传统顺序执行轨迹的概念，转而使用声明式、数据驱动模型。计算被分解为模块化表，并通过通道平衡来维护全局一致性。文章还分析了 MerkleTreeCS 工具，协调多个表和通道来验证 Merkle 路径的正确性。
零知识证明  算术化  Merkle树  Binius  M3  多重多重集匹配 

谷歌采用后量子签名

本文介绍了谷歌在其Tink库中采用的后量子签名方法ML-DSA，用于增强数字签名的安全性，以对抗量子计算机的威胁。文章通过代码示例展示了如何使用ML-DSA-65进行消息签名和验证，并对比了ML-DSA与其他签名算法在密钥大小、签名大小和安全级别上的差异。
后量子密码学  数字签名  ML-DSA  Google Tink  密钥大小  签名大小 

在 AWS 中使用 ML-DSA

文章介绍了如何在AWS KMS中使用ML-DSA进行数字签名。首先，在AWS KMS中创建ML-DSA密钥，然后展示如何使用AWS CLI获取公钥并进行签名和验证。此外，文章还提供了Python代码示例，演示了如何使用boto3库在AWS KMS中执行相同的操作，包括密钥的创建、签名及验证。
ML-DSA  AWS KMS  数字签名  boto3  密钥管理  后量子密码 

区块链中的数学（八十三）-- MMCS（Mixed Matrix Commitment Scheme）

在零知识证明（如FRI、STARK等）和多项式承诺场景中，我们经常需要对多个矩阵的数据进行批量承诺和验证。
MMCS  zk 

garaga+noir+starknet starter项目实战

scaffold-garaga
Starknet 
  • 链创通
  • 发布于 2025-06-22
  • 阅读 ( 1305 )
  • ( 12 )

门罗币：为何它可能无法成为一种有效的洗钱工具

本文深入探讨了门罗币（Monero）在加密货币犯罪活动中的使用情况。
门罗币  隐私币  匿名性  环签名  隐形地址  洗钱 

Circom 公开和私有输入

本文介绍了 Circom 中 public input 和 output 的概念，以及如何在 Circom 电路中定义和使用它们。
circom  零知识证明  public input  output  witness  R1CS 

网络安全基石的奠基人：Ralph C Merkle

本文介绍了Ralph C Merkle在密码学和网络安全领域的卓越贡献，包括公钥密码、密码哈希、Merkle Puzzles、Merkle-Hellman背包密码系统和Merkle树等。文章回顾了Merkle在公钥密码学上的突破性工作，以及他对Merkle树的贡献，Merkle树在区块链和其他领域有着广泛的应用。
公钥密码  密码哈希  Merkle树  Merkle-Hellman背包密码系统  Diffie-Hellman  密码学 

Additive FFT：背景

本文深入探讨了在特征为2的域上进行多项式求值和插值的问题，重点介绍了David Cantor提出的适用于正特征域上的加性快速傅里叶变换（Additive FFT）算法。该算法通过使用线性化多项式的性质，在向量子空间上递归地进行多项式求值和插值，为在二元域塔上实现高效的Reed-Solomon编码提供了理论基础，并最终应用于多项式承诺。
加性快速傅里叶变换  线性化多项式  二元域塔  Reed-Solomon编码  有限域  多项式求值