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

在 AWS 中使用 ML-DSA

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

garaga+noir+starknet starter项目实战

scaffold-garaga
Starknet 

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  密码学 

隐私计算之不经意传输

隐私计算之不经意传输今天讲一讲密码学中一种重要的隐私保护协议-不经意传输（ObliviousTransfer，简称OT），1981年由密码学家RonRivest首次提出1-out-of-2OT的概念。
密码学  区块链  隐私计算  不经意传输  OT 
  • 皓码
  • 发布于 6天前
  • 阅读 ( 558 )
  • ( 11 )

冷密钥共享

本文介绍了FROST（Flexible Round-Optimised Schnorr Threshold）方法，它是一种将密钥分割成多个碎片并在达到阈值数量后恢复密钥的技术。FROST通过分布式签名实现阈值签名，其中n个参与者中的任何t个都可以生成有效的签名，同时探讨了其在加密货币交易、身份验证和密钥恢复等领域的应用。
FROST  密钥共享  阈值签名  Schnorr签名  分布式密钥生成  密码学 

Circle FFT - 第一部分：构建圆形域（Circle Domain）

本文是关于Circle STARKs中Circle FFT算法的系列文章的第一部分，主要介绍了构建圆形域的基础概念，包括STARK友好的素数演变、圆曲线、群结构、孪生陪集和标准位置陪集等，并给出了详细的示例和推导。文章还提供了Python代码示例，帮助读者理解和实践这些概念，为后续深入研究Circle FFT算法奠定基础。
Circle STARKs  Circle FFT  有限域  圆曲线  群论  孪生陪集  标准位置陪集 

使用BBS+签名实现选择性披露身份信息的方案

本文讨论了在公民身份管理中使用BBS+签名实现选择性披露身份信息的方案。文章指出，政府应提供身份验证而非拥有公民身份，英国政府目前在这方面存在问题。文章介绍了BBS+签名技术，它允许签名者在不泄露全部信息的情况下验证部分身份信息，同时使用密码学wasm集成和JavaScript来实现，从而在交易中建立信任并保护隐私。
BBS+签名  零知识证明  身份验证  数字签名  WebAssembly  密码学  群签名 

身份不应被强制

本文讨论了数字身份验证的问题，分析了英国政府强制推行数字身份的潜在风险，并介绍了欧盟开放数字钱包的方法。文章重点介绍了如何使用BBS签名和JavaScript集成WASM，以实现政府对身份属性的签名，并允许公民选择性地展示身份信息的特定部分，从而保护隐私。最后提供了一个使用WASM和JavaScript创建BBS+签名的示例。
数字身份  BBS签名  WASM  JavaScript  身份验证  隐私保护 

密码学之随机谕示（RO）

随机谕示（RandomOracle）本文介绍密码学中一个很专业的概念，该概念理解起来可能会比较难，适合对可证明安全理论感兴趣的人阅读，它为密码协议的安全性分析提供了理论工具。随机谕示模型是密码学理论的基石之一，它通过理想化假设简化了安全证明，推动了大量实用协议的设计。
密码学  区块链  随机谕示  随机预言机  Random Oracle 
  • 皓码
  • 发布于 2025-06-05
  • 阅读 ( 461 )
  • ( 20 )

赋予金融系统中的代理AI需要零知识证明和隐私保护技术

AIAgent的兴起金融市场正迈入一个新时代，伴随着“AIAgent”的出现——一种自主、专门化的代理能够推理、行动并协作，以应对复杂的多步骤挑战。
Chainlink 
  • Chainlink
  • 发布于 2025-06-04
  • 阅读 ( 485 )
  • ( 20 )

确定性和非确定性密钥交换

本文介绍了确定性和非确定性密钥交换的概念，以及如何在 ECDH 密钥交换方法中使用 libsodium.js 实现这两种方式。确定性密钥交换使用已知的种子值生成密钥，每次都得到相同的结果，而非确定性密钥交换则随机生成密钥，每次结果都不同。文章通过代码示例展示了这两种方法的实现，并提供了在线演示。
密钥交换  确定性  非确定性  ECDH  libsodium.js  WASM 

AEGIS 还是 AES？

本文对比了AEGIS和AES加密算法，AEGIS作为一种基于AES的加密算法，集成了身份验证标签，并为每条消息分配一个唯一标识符；在具有AES硬件支持的设备上，AEGIS是一个不错的选择，否则XChaCha20可能在性能上更胜一筹。libsodium.js库支持AEGIS-128l、AEGIS-256和XChaCha20三种加密算法。
AEGIS  AES  XChaCha20  libsodium.js  加密算法  身份验证 

密码学 - Salt 和 WASM

本文介绍了如何使用libsodium.js在WebAssembly (WASM) 中实现对称密钥加密。libsodium是一个加密库，它选择最佳的对称加密方法（如AES和XChaCha20），并通过WASM在浏览器中快速执行。文章提供了代码示例，展示了如何使用libsodium.js进行加密和解密操作，以及如何在实际应用中使用。
libsodium  WASM  对称加密  AES  XChaCha20  nonce 

乘法子群与本原元素

本文深入探讨了群论中的子群、生成元和本原元素的概念。首先从加法群入手，例如 Z6 和 Z9， 然后转向乘法群，例如 Z7* 和 Z11*。通过具体的例子和 Python 代码，展示了如何识别子群，找到生成元，并计算模逆。文章还介绍了本原元素的概念，并提供了在 Zp* 中寻找本原元素的 Python 代码。
群论  子群  生成元  本原元素  模运算  乘法逆元  加法群  乘法群 

ZEROBASE X ICICLE：加速大规模实时ZK应用

ZEROBASE是一个模块化的基础设施堆栈，用于构建实时的、保护隐私的零知识应用程序。通过集成Ingonyama的ICICLE库，ZEROBASE显著加快了证明生成速度，降低了基础设施开销，并改善了跨应用程序的用户体验。ICICLE帮助ZEROBASE实现了多个生产级别的实时ZK用例，并在Solana SIM、zkLogin和Staking Network等应用中取得了显著的性能提升。
零知识证明  zkApp  ICICLE  GPU加速  实时证明  Solana 
  • ingonyama
  • 发布于 2025-05-30
  • 阅读 ( 575 )
  • ( 27 )

Ingonyama 和 Cornami 宣布战略合作，加速高速密码学

Ingonyama 和 Cornami 宣布战略合作，通过硬件-软件集成加速高速密码学，特别是在零知识证明（ZKP）方面，目标是提供一流的解决方案。通过集成 Cornami 的 FracTLcore® 计算架构和 Ingonyama 的 ICICLE 密码学加速库，该解决方案在吞吐量和能源效率能够实现10到100倍的提升。
零知识证明  密码学加速  硬件加速  FracTLcore  ICICLE  后量子密码学 

使用 WASM 的累加器：浏览器中的密码学配对

本文介绍了使用 WebAssembly (WASM) 在浏览器中实现基于双线性映射的累加器（Accumulator）的方法，累加器允许将值添加到固定长度的摘要中，并提供已添加值的证明，而无需泄露累加值中的实际内容。文章展示了如何使用`docknetworkcryptoWasm`库来创建累加器、添加和移除元素，并生成和验证成员资格证明，附有代码示例和在线演示链接。
零知识证明  累加器  双线性映射  WebAssembly  BLS曲线  crypto-wasm 

BBS+——使用WASM实现的短而匿名的群签名

本文介绍了使用WASM实现BBS+签名（一种短而匿名的群签名）的技术方案。BBS+签名基于双线性映射，允许群组成员在不暴露签名者身份的情况下进行签名，同时保证签名有效性、匿名性、可追溯性、不可链接性和抗合谋性。文章还提供了使用Crypt-WASM集成JavaScript的示例代码，展示了如何生成密钥对、签名消息和验证签名。
BBS+签名  群签名  WASM  双线性映射  匿名性  密码学 

多项式、快速傅里叶变换、FFT

快速傅里叶变换（FFT）快速傅里叶变换（FastFourierTransform，简称FFT）的高效算法主要由詹姆斯・库利（JamesW.Cooley）和约翰・图基（JohnW.Tukey）在1965年提出。
密码学  零知识证明  多项式  FFT  区块链 
  • 皓码
  • 发布于 2025-05-27
  • 阅读 ( 454 )
  • ( 24 )