Lib.rs

› 关键词 #risc0 #risc-v #vm #circuit #risc #zero-knowledge #zero-knowledge-proofs

#zk-stark

  1. risc0-zkp

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

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

  2. risc0-circuit-recursion

    RISC Zero 递归电路

    v1.1.0-rc.2 14K #recursion #circuit #virtual-machine #risc0 #risc-v #zero-knowledge #zk-stark

  3. risc0-circuit-rv32im-sys

    为 rv32im 电路生成的HAL代码

    v1.1.0-rc.2 8.6K #risc-v #hal #rv32im #zk-stark #virtual-machine #risc0 #verifiable

  4. risc0-zkvm-serde

    RISC Zero 零知识VM serde crate

    v0.10.0 100 #zero-knowledge #risc #serde #virtual-machine #risc-v #risc0 #zk-stark

  5. risc0-zkp-sys

    RISC Zero 零知识证明系统crate

    v0.11.1 #system #zero-knowledge #risc #risc0 #risc-v #zk-stark #build

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

  6. risc0-zkp-core

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

    v0.10.0 #finite-fields #zero-knowledge-proofs #numbers #zk-stark #virtual-machine #transform #field

  7. risc0-zkvm-sys

    RISC Zero 零知识VM系统crate

    v0.11.1 150 #virtual-machine #risc-v #zero #zero-knowledge #zk-vm #zk-stark #risc0