Lib.rs

› 关键词 #定理 #定理证明器 #零知识证明 #高级研究

证明

  1. risc0-zkp

    RISC Zero 零知识证明系统核心crate

    v1.1.0-rc.2 16K #zero-knowledge-proofs #zk-stark #risc #algorithm #circuit #proving #risc0

  2. hooo

    指数命题逻辑

    v0.6.1 100 #theorem-prover #exponential #proving #theorem #advanced-research #assistant #exponentials

  3. acir

    虚拟机处理的IR，类似于LLVM IR

    v0.46.0 #intermediate-representation #zero-knowledge-proofs #opcode #noir #ir #proving #programming

  4. proof_system

    包含各种密码学原语的证明系统

    v0.31.0 120 #zero-knowledge-proofs #proof #statement #bbs #signature #proving #prover

  5. brillig_vm

    处理Brillig字节的虚拟机，用于向ACVM引入非确定性

    v0.46.0 #zero-knowledge-proofs #virtual-machine #non-deterministic #bytecode #proving #snark #acvm

  6. acvm

    给定后端/证明系统的ACIR处理的虚拟机

    v0.46.0 #virtual-machine #zero-knowledge-proofs #noir #acir #snark #proving #processes

  7. poi

    一种实用的无点证明辅助工具

    v0.24.0 #theorem-prover #theorem #assistant #proving #point-free #advanced-research #knowledge-base

  8. hugo-build

    围绕hugo二进制文件的包装，提供构建能力

    v0.133.0 950 #hugo #build #build-dependencies #building #binary #proving #capabilities

  9. prop

    带有Rust中类型的命题逻辑

    v0.47.0 #logic #theorem-prover #theorem #proving #advanced-research #constructive #research

  10. acvm_blackbox_solver

    用于ACIR和Brillig中发现的黑盒函数的求解器

    v0.46.0 #black-box #solver #function #proving #noir #acir #brillig

  11. monotonic_solver

    一个易于与Rust枚举表达式一起使用的单调求解器

    v0.5.0 #theorem-prover #solver #monotonic #theorem #reasoning #artificial-intelligence #proving

  12. triptych

    Triptych零知识证明系统的实验性Rust实现

    v0.1.1 #verification-key #key-set #zero-knowledge-proofs #signature #signing-key #tags #proving

  13. metamath-rs

    操作Metamath数据库的工具，包括Metamath数据库的并行和增量验证器

    v0.3.8 #proof #verifier #theorem #proving #assistant #theorem-prover

  14. mm0_util

    MM0/MM1语言工具

    v0.1.4 #theorem #proving #language-server #theorem-prover #proof #assistant #specification-language

  15. last_order_logic

    一种实验性的逻辑语言

    v0.2.0 #theorem-prover #logic #theorem #proving #lol #advanced-research

  16. caso

    交换图求解器的范畴论求解器

    v0.2.2 #category-theory #category #theorem-prover #theorem #advanced-research #proving #assistant

  17. reachability_solver

    一个用于有向边的线性可达性求解器

    v0.2.0 #solver #linear-solver #theorem #proving #reachability #reasoning #theorem-prover

  18. mm0b_parser

    Metamath Zero的MMB二进制格式的解析工具

    v0.1.4 #theorem-prover #visual-studio #proof #theorem #assistant #proving #binary-format

  19. linear_solver

    一个易于与Rust枚举表达式一起使用的线性求解器

    v0.2.2 #solver #theorem-prover #linear #proving #theorem #reasoning

  20. debug_sat

    用于布尔可满足性问题（SAT）的可调试自动定理证明器

    v0.4.0 #theorem-prover #sat #theorem #debugging #automated #proving

  21. path_semantics_std

    使用约束函数对路径语义标准字典的类型检查实现

    v0.1.0 #path #semantics #theorem #proving #theorem-prover #advanced-research #research

  22. mopro-ffi

    MoPro 是用于移动端 ZK 应用开发的工具集。MoPro 让移动端的客户端证明变得简单。

    v0.1.0 下载次数：130 #mobile #proving #client-side #zk #mopro #toolkit #circom

  23. zcash_proofs

    Zcash zk-SNARK 电路和证明 API

    v0.16.0 下载次数：8.8K #circuit #zk-snarks #proofs #zcash #api #proving #verifying

    24. 尝试使用 DuckDuckGo 搜索。

  24. groth16

    Bellman 的证明者和验证者

    v0.1.0 下载次数：130 #proving #bellman #verifier #zk-snarks #prover

  25. cess-sp-post

    CESS 存储证明 - 空间时间证明

    v0.1.2 #proofs #storage #time #space #cess #system #proving