Lib.rs

› 关键字 #automata #zero-knowledge-proofs #bytecode #finite #regex #proving #vm

#non-deterministic

  1. brillig_vm

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

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

  2. brillig

    ACIR 用于非确定性的字节码

    v0.46.0 #non-deterministic #zero-knowledge-proofs #bytecode #noir #programming-language #acir #cryptography

  3. add-determinism

    RPM 构建根辅助程序，用于去除文件中的非确定性位

    v0.3.6 270 #rpm #non-deterministic #build #package #reproducible-builds #file #modification

  4. turing-lib

    Rust 的 Turing 库

    v2.1.6 #turing #machine #non-deterministic #abstraction #compiler #create #programmatically

  5. viewstamped-replication

    基于 Rust 的 Viewstamped Replication 一致性协议的实现

    v0.9.0 350 #consensus #protocols #replication #non-deterministic #request #single #client

  6. inator

    具有非确定性有限自动机的最佳零拷贝解析器

    v0.2.2 #parser #non-deterministic #automata #finite #zero-copy #optimal #evil

  7. entro-spin

    Entro Spin 是一个 64 位、真正的随机数生成算法

    v1.1.3 #non-deterministic #rng #hrng #trng

  8. repr

    正则表达式作为线性逻辑的解释及其实现

    v0.0.10 #regex #non-deterministic #pattern #interpretation #resources #math #reasoning

  9. gregex

    利用 NFA 的正则表达式求解器

    v0.7.2 #regex #nfa #automata #non-deterministic #solver #expression #finite

  10. enso-automata

    基于有限自动机的词法分析引擎

    v0.2.0 #lexer #finite-automata #lexing #processing #engine #finite-state #non-deterministic

  11. automafish

    非确定性状态机定义创建确定性状态机的状态机构建器

    v0.1.0 #state-machine #finite-state-machine #deterministic #state-transition #non-deterministic #builder #automata

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

  12. regex_dfa

    将正则表达式转换为 DFA

    v0.5.0 #regex #dfa #turning #nfa #automata #finite #non-deterministic