Lib.rs

› 关键词 #proving #vm #snark #zero-knowledge-proofs #acir #non-deterministic

#acvm

  1. brillig_vm

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

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

  2. acvm

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

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

  3. acvm-backend-barretenberg

    一个ACVM后端，允许对Aztec Lab的Barretenberg库进行ACIR电路的证明/验证

    v0.12.0 #barretenberg #back-end #circuit #lab #verifier #aztec #acvm

  4. acvm_stdlib

    ACVM标准库

    v0.27.0 #acvm #acir #circuit #optimization #create #black-box #convert

    5. 尝试使用DuckDuckGo搜索。

  5. barretenberg_blackbox_solver

    围绕barretenberg WASM二进制的包装，用于执行没有rust实现的黑盒函数

    v0.27.0 #black-box #wasm-binary #functions #barretenberg #acvm #instance #execute