加密与隐私

snarkjs 是 JavaScript 和 WASM 实现的 zkSNARK 工具，用于自动生成和验证零知识证明。

快速 zk-SNARK 库，提供高级 API 设计零知识证明电路

浏览器中的数据编码、解码与分析工具

Cairo 是 StarkWare 开发的图灵完备可证明计算语言，程序执行可生成密码学证明供链上或链下验证，也是编写 Starknet 智能合约的主要语言。官方编译器以 Rust 编写：Cairo 代码先编译为 Sierra 中间表示，再生成 CASM 字节码，支持直接运行 Cairo 程序及编译、测试 Starknet 合约。Apache-2.0 协议，1.9k star，持续活跃。

生产级、公开可验证的分布式随机信标

AI 驱动的在线安全产品，提供身份保护、信用监控、VPN、密码管理等全家安全服务

后量子密码学 KEM（密钥封装机制）算法的参考实现，NIST 后量子标准化产物

一款基于自托管的服务器管理工具，旨在通过将密钥和凭证存储在用户自己的服务器上，解决因忘记密码或密钥丢失导致的账号锁定问题。

在受信与不受信环境之间安全传递可信数据

acme.sh 是纯 Shell 脚本实现的 ACME 客户端，用于 SSL/TLS 证书自动化

离线验证笔记加密的开源工具

墨镜熊是一款基于荆华密算底层技术的AI隐私助手，核心定位是为用户在使用AI服务时提供数据隐私保护。

使用WireGuard和2FA最简单、最安全的方式。

一款运行在 Android 平台上的端到端加密语音通话应用，是早期 Signal 功能的核心组成部分。

开源的密码管理服务