Lib.rs

› 关键词 #bindings #verified #back-end #randomness #aes #random #hacl #key

#evercrypt

  1. evercrypt

    使用 HACL/Evercrypt 的形式化验证代码构建的加密库

    v0.0.11 #random #bindings #aes #key #verified #hacl #randomness

  2. openmls_evercrypt

    使用 HACL/Evercrypt 实现的 openmls_traits 加密后端

    v0.2.0-pre.1 #openmls #evercrypt #bindings #protocols #back-end #security #messaging

  3. evercrypt-sys

    FFI 绑定到 HACL/Evercrypt

    v0.0.9 #evercrypt #api-bindings #hacl-evercrypt #hacl-star #build #recursion #submodule

  4. hpke-rs-evercrypt

    使用 Evercrypt 的形式化验证代码构建的 HPKE 加密后端

    v0.1.2 #hpke #evercrypt #hpke-rs #verified #crypto #back-end #provider

    5. 尝试使用 DuckDuckGo 搜索.