电子发烧友网>电子资料下载>电子资料>EverCrypt跨平台的现代加密库

EverCrypt跨平台的现代加密库

2512843 2022-06-22 | zip | 14.34 MB | 次下载 | 免费

普通下载普通下载

资料介绍

授权协议 Apache-2.0

开发语言 C/C++ 汇编

操作系统跨平台

软件类型开源软件

所属分类程序开发、加密/解密软件包

软件简介

程序员都是凡人，但数学则是不朽的。通过让编程变得更数学化，计算机科学家希望能消除向黑客敞开大门的编程错误。研究人员在 GitHub 上发布了加密工具?EverCrypt，向这个目标迈出了一大步。就像证明毕达哥拉斯定理那样，他们能证明 EverCrypt?可完全避开多种黑客攻击。

EverCrypt 没有采用常见的编程方法编写，而是利用了形式化验证。他们首先明确代码能做什么，然后证明只能这么做，排除了代码在特殊情况下偏离的可能性。

EverCrypt 始于 2016 年，是微软研究院项目?Project Everest?的一部分，当时加密库是许多软件的薄弱环节，存在大量 bug。EverCrypt 使用?F*（发音 F star）编程语言编写和验证，然后编译为 C（使用专用编译器?KreMLin?编译）和汇编语言的混合。

EverCrypt 支持的算法

EverCrypt 支持的许多算法仍在开发中。在即将发布的版本中，目标是：

fallback C versions for all algorithms
NIST P curves
AES-CBC
an up-to-date Ed25519

Algorithm	C version	ASM version	Agile API
AEAD	?	?	?
AES-GCM	?	?? (AES-NI + PCLMULQDQ)	??
ChachaPoly	???	?	??
?	?	?	?
Hashes	?	?	?
MD5	???	?	??
SHA1	???	?	??
SHA2	??	?	??
SHA3	??	?	?
Blake2	??	?	?
?	?	?	?
MACS	?	?	?
HMAC	???	?	??
Poly1305	??? (+ AVX + AVX2)	?? (X64)	?
?	?	?	?
Key Derivation	?	?	?
HKDF	???	?	??
?	?	?	?
ECC	?	?	?
Curve25519	??	?? (BMI2 + ADX)	?
Ed25519	???	?	?
?	?	?	?
Ciphers	?	?	?
Chacha20	??	?	?
AES128, 256	?	?? (AES NI + PCLMULQDQ)	?
AES CTR	?	?? (AES NI + PCLMULQDQ)	?

?: does not multiplex (yet) over the underlying Poly1305 implementation
?: insecure algorithms provided for legacy interop purposes
?: achieved via C compiler intrinsincs; no verification results claimed for the AVX and AVX2 versions whose verification is not complete yet
?: HMAC and HKDF on top of the agile hash API, so HMAC-SHA2-256 and HKDF-SHA2-256 leverage the assembly version under the hood
?: legacy implementation

参考?https://www.solidot.org/story?sid=60154