Lib.rs

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

#noir

  1. acir

    VM处理的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. bn254_blackbox_solver

    针对bn254曲线特定的黑盒函数求解器

    v0.46.0 #黑盒 #零知识证明 #bn254 #求解器 #曲线 #noir #函数

  6. acvm_blackbox_solver

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

    v0.46.0 #黑盒 #求解器 #函数 #证明 #noir #ACIR #Brillig

  7. noir-bignum-paramgen

    将模数转换为https://github.com/noir-lang/noir-bignum的大数实例参数的命令行工具

    v0.1.3 240 #参数 #大数 #noir #域 #模数 #实例 #大整数

  8. noir-compute

    Rust的算子网络

    v0.2.0 #数据处理 #流处理 #算子 #分布式 #块 #数据流 #noir

  9. noir_grumpkin

    grumpkin曲线

    v0.1.0 6.9K #曲线 #grumpkin #noir

  10. noir

    基于Rust、类似DSL和请求驱动的HTTP API黑盒测试库

    v0.2.0 #HTTP API #测试HTTP #API测试 #黑盒测试 #API请求 #API #HTTP

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

  11. tree-sitter-noir

    tree-sitter解析库的noir语法

    v0.0.1 #noir #parser #incremental #parsing