Lib.rs

› 关键字 #noir #零知识证明 #证明 #密码学 #编程语言

#acir

  1. acir

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

    v0.46.0 100 #中间表示 #零知识证明 #指令集 #noir #ir #证明 #编程

  2. acir_field

    ACIR使用的字段实现

    v0.46.0 120 #零知识证明 #acir #编程语言 #noir #字段 #密码学 #领域

  3. acvm

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

    v0.46.0 #虚拟机 #零知识证明 #noir #acir #snark #证明 #处理

  4. brillig

    ACIR用于非确定性的字节码

    v0.46.0 #非确定性 #零知识证明 #字节码 #noir #编程语言 #acir #密码学

  5. acvm_blackbox_solver

    ACIR和Brillig中找到的黑盒函数求解器

    v0.46.0 #黑盒 #求解器 #函数 #证明 #noir #acir #brillig

  6. acvm_stdlib

    ACVM标准库

    v0.27.0 #acvm #acir #电路 #优化 #创建 #黑盒 #转换

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