开发者 senier.net/libsparkcrypto

libsparkcrypto 免费

使用 SPARK 编程语言正式验证的加密算法实现。对于完整的库证明不存在运行时错误可用。其一些次级方案包括部分正确性的证据。