WhimRead 需要 JavaScript 才能使用站内搜索。
Whim
Read
随手一翻
发现
全部工具
推荐
惊喜
关于
搜索
English
库 / 框架
hacl-star
hacl-star/hacl-star
经
形式
化验证
的
高保障
密码
学库,
覆盖
Curve25519、
AES-GCM、
SHA
等
算法
并
可
编译
为
C
使用。
去 GitHub 看仓库
复制链接
标签
cryptography
verified-primitives
high-performance
security
formal-methods
formal-verification
inria
hacl
同类项目
ring
4.1k
Rust
语言
的
底层
密码学
基础库,
源自BoringSSL,
提供
安全
易用
的
加密
原语供
开发者
集成
调用。
pycryptodome
3.3k
自
包含
的
Python底
层
密码
学库,
提供
对
称
加密、
公钥、
哈希、
KDF
等
完整
密
码学
原语
实现。
wolfssl
3k
面
向
嵌入式
到
云端
的
小型
快速TLS
实现,
支持
TLS
1.3
并
兼容OpenSSL
接口。
memguard
2.8k
面
向
Go
开发者
的
内存敏感数
据
保护库,
加密
隔离
密钥
等
信息,
防范
交换、
转储
与
冷启动
攻击。
c-toxcore
2.7k
Tox点
对点加密
通讯
协议
的
C语言
核心库,
提供
好友
消息
音视频
接口,
供各
端
客户
端集成
调用
的
基础
依赖库。
themis
2k
跨平台
通用
加密
开发库,
提供
安全
存储
消息
会话
等
密
码学
组件,
开发者
导入
集成
到
应用
中。
1843
cryptography,verified-primitives,high-performance
经形式化验证的高保障密码学库,覆盖Curve25519、AES-GCM、SHA等算法并可编译为C使用。
←
上一个
media-kit
下一个
→
magenta-realtime