Lib.rs

› 关键词 #密码学 #工具 #libcrux #安全 #已验证 #机器检查

#formal-verification

  1. libcrux-intrinsics

    Libcrux 内置函数库

    v0.0.2-alpha.3 440 #intrinsics #密码学 #正式验证 #已验证 #证明 #安全 #libcrux

  2. libcrux-ecdh

    Libcrux ECDH 实现

    v0.0.2-alpha.3 420 #ecdh #正式验证 #密码学 #安全 #libcrux #已验证 #签名

  3. libcrux-hkdf

    Libcrux HKDF 实现

    v0.0.2-alpha.3 380 #hkdf #正式验证 #密码学 #安全 #libcrux #已验证 #算法

  4. libcrux-hmac

    Libcrux HMAC 实现

    v0.0.2-alpha.3 370 #hmac #libcrux #已验证 #密码学 #安全 #正式验证 #语言

  5. cavp

    Libcrux 读取 NIST CAVP 测试向量的辅助库

    v0.0.2-alpha.3 240 #vector #nist #密码学 #正式验证 #测试 #辅助 #读取

  6. creusot-contracts

    为 Creusot 提供的合约和逻辑辅助函数

    v0.2.0 140 #creusot #验证 #合约 #正式验证 #规范 #why3 #验证器

  7. hax-lib

    为 Rust 程序提供的 Hax 特定辅助函数

    v0.1.0-pre.1 370 #正式验证 #hax #辅助 #程序 #工具链 #编译 #效果

  8. machine-check

    数字系统的正式验证工具

    v0.3.0-alpha-1 #正式验证 #系统 #数字 #机器 #属性 #微控制器 #工具

  9. mck

    正式验证工具 machine-check 的类型/操作实用程序库

    v0.3.0-alpha-1 #正式验证 #抽象 #操作 #machine-check #具体 #实用程序 #类型

  10. machine-check-machine

    正式验证工具 machine-check 的机器库

    v0.3.0-alpha-1 #正式验证 #机器 #machine-check #例程 #工具 #兼容性 #保证

  11. 机器检查位掩码开关

    用于正式验证工具 machine-check 的位掩码开关库

    v0.3.0-alpha-1 #正式验证 #位掩码 #开关 #宏 #工具 #机器检查

  12. libcrux-platform

    libcrux 平台检测库

    v0.0.2-pre.2 1.1K #平台 #检测 #正式验证 #libcrux #安全 #规范 #密码学

  13. machine-check-avr

    使用 machine-check 进行 AVR 微控制器的正式验证

    v0.2.0 #正式验证 #avr #微控制器 #微控制器 #十六进制 #英特尔 #规范

  14. libcrux-hacl

    libcrux 的 hacl sys 库

    v0.0.2-pre.2 1.0K #签名 #libcrux #正式验证 #hacl #加密 #密码学 #绑定

  15. mikino_api

    归纳和BMC 引擎

    v0.9.1 #smt求解器 #smt #验证 #正式验证 #归纳 #可满足性

  16. hacspec

    编译器

    v0.2.0-beta.4 #编译器 #正式验证 #单文件 #cargo构建 #规范语言 #密码学 #确定

  17. abstract_integers

    定义规范友好的有界自然整数类型

    v0.1.5 #整数 #上界 #规范 #模运算 #界限 #有界 #正式验证

  18. machine-check-exec

    正式验证工具 machine-check

    v0.3.0-alpha-1 #正式验证 #机器 #逻辑 #工具 #机器检查

  19. hax-cli-options

    hax 命令行选项

    v0.1.0-pre.1 #hax #翻译 #正式验证 #语言 #抽象语法树 #命令 #工具

  20. mikino

    归纳和BMC 引擎

    v0.9.1 #smt求解器 #正式验证 #验证 #smt #可满足性 #归纳

  21. prusti-contracts

    使用 Prusti 指定合约的工具

    v0.2.0 #验证 #prusti #规范 #合约 #正式验证 #正式 #过程宏

  22. machine-check-common

    正式验证工具 machine-check

    v0.3.0-alpha-1 #正式验证 #机器检查 #通信 #生成 #程序 #兼容性 #工具

  23. hax-frontend-exporter-options

    hax 前端选项

    v0.1.0-pre.1 #hax #translation #ast #formal-verification #json #language #tool

  24. libjade-sys

    Rust对libjade的绑定，libjade是一个使用jasmin编写的经过形式验证的加密库

    v0.0.2-pre.2 650 #bindings #cryptography #verified #libjade #formal-verification #jasmin #formally

  25. trivial-kernel

    为Trivial设计的Metamath Zero内核

    v0.9.0 #trivial #kernel #zero #metamath-zero #experimental #formal-verification #proof

  26. hax-cli-options-engine

    hax命令行选项引擎辅助crate

    v0.1.0-pre.1 #hax #back-end #translation #engine #formal-verification #helper #ast

    27. 尝试使用DuckDuckGo进行搜索。搜索.

  27. machine-check-macros

    用于形式验证工具machine-check的宏crate

    v0.3.0-alpha-1 #verification #formal-verification #macro #tool #machine-check

  28. otter-solana-verify

    OtterSec Solana形式验证宏

    v1.0.2 #invariants #verification #formal-verification #verify #solana #instructions #macro