Thanks to visit codestin.com
Credit goes to lib.rs

Lib.rs

› Keywords #zero-knowledge #zk-vm #cryptography #zero-knowledge-proofs #recursion

#zk-stark

  1. risc0-build

    RISC Zero zero-knowledge VM build tool

    v5.0.0-rc.1 34K #risc0 #zk-vm #elf-file #zero-knowledge #cargo-metadata #host-side #build-script #zk-stark #file-named

  2. risc0-zkvm-platform

    RISC Zero zero-knowledge VM

    v5.0.0-rc.1 39K #risc0 #zk-vm #zero-knowledge #platform #port #zk-stark #cryptography

  3. rzup

    The RISC Zero version management library and CLI

    v0.6.0-rc.1 32K #risc0 #version-management #component #publish #toolchain-component #different-versions #zk-stark

  4. risc0-build-kernel

    RISC Zero tool for building kernels

    v5.0.0-rc.1 24K #risc0 #kernel #tool-for-building #zk-stark

  5. risc0-circuit-bigint

    RISC Zero Circuit for Big Integer Computation

    v1.1.4 650 #risc0 #bignum #big #zk-stark #integer #cryptography

  6. risc0-povw

    Core library for RISC Zero Proof of Verifiable Work (PoVW)

    v0.5.0-rc.1 500 #risc0 #logging #merkle-tree #proof #jobs #continuation #proving #256-bit #zk-stark #zero-knowledge

  7. risc0-zkos-common

    RISC Zero zero-knowledge VM kernel common utilities

    v5.0.0-rc.1 #risc0 #zero-knowledge #kernel #common-utilities #vm-kernel #zk-stark

  8. risc0-circuit-rv32im-sys

    Generated HAL code for rv32im circuit

    v5.0.0-rc.1 23K #risc0 #rv32im #zk-stark #cryptography

  9. risc0-circuit-recursion-povw-zkrs

    RISC Zero POVW ZKRs for the circuit for recursion

    v5.0.0-rc.1 #risc0 #zkr #recursion #zk-stark #zero-knowledge

  10. risc0-circuit-recursion-sys

    Generated HAL code for recursion circuit

    v5.0.0-rc.1 24K #risc0 #recursion #zk-stark

  11. risc0-circuit-recursion-zkrs

    RISC Zero ZKRs for the circuit for recursion

    v5.0.0-rc.1 #risc0 #zkr #recursion #zk-stark #zero-knowledge

  12. risc0-zkp

    RISC Zero zero-knowledge proof system core crate

    v5.0.0-rc.1 41K #zero-knowledge-proofs #zk-stark #risc0 #verify #proving #metal #gpu-acceleration

  13. risc0-zeroio

    RISC Zero zero-copy deserialization

    v1.0.0-rc.2 #risc0 #serialization #deserialize #zeroio #word #cryptography #zero-copy #zero-copy-deserialize #zk-stark #canonical-format

  14. risc0-core

    Core types for RISC Zero crates

    v5.0.0-rc.1 40K #finite-fields #zero-knowledge #element #finite-field-arithmetic #zk-stark #cryptography

  15. risc0-zkvm-verify

    RISC Zero zero-knowledge VM verify crate

    v0.10.0 #risc0 #verify #zero-knowledge #zk-stark

  16. bonsai-sdk

    Bonsai Software Development Kit

    v1.4.2-rc.1 28K #sdk #risc0 #bonsai #version #zk-vm #uuid #non-blocking #zk-stark #succeeded

    17. Try searching with DuckDuckGo.

  17. risc0-zkvm-circuit

    RISC Zero zero-knowledge VM circuit

    v0.11.1 #risc0 #zero-knowledge #zk-stark

  18. risc0-binfmt

    RISC Zero binary format crate

    v5.0.0-rc.1 40K #risc0 #zk-vm #binary-format #zk-stark

  19. risc0-tools

    RISC Zero devtools

    v3.0.0-rc.1 4.1K #risc0 #dev-tools #zk-stark

  20. risc0-circuit-rv32im

    RISC Zero circuit for rv32im

    v5.0.0-rc.1 39K #risc0 #rv32im #zk-stark #zero-knowledge

  21. risc0-zkvm-guest

    RISC Zero zero-knowledge VM guest crate

    v0.11.1 #zk-vm #risc0 #guest #commit #zero-knowledge #input-data #zk-stark #unsigned-integer

  22. risc0-circuit-recursion

    RISC Zero circuit for recursion

    v5.0.0-rc.1 39K #risc0 #recursion #zk-vm #lift #receipt #zk-stark #low-level-interface

  23. risc0-sys

    Generated / Native / HAL code for RISC Zero

    v5.0.0-rc.1 24K #zk-stark #native #zero-knowledge

  24. risc0-zkos-v1compat

    RISC Zero zero-knowledge VM kernel for v1 compatibility

    v5.0.0-rc.1 38K #risc0 #zero-knowledge #kernel #compatibility #vm-kernel #zk-stark

  25. risc0-zkp-hal

    RISC Zero zero-knowledge proof system hardware abstraction layer crate

    v0.10.0 #risc0 #zero-knowledge-proofs #zk-stark #hardware-abstraction-layer

  26. risc0-zkvm-circuit-sys

    RISC Zero zero-knowledge VM circuit crate

    v0.11.1 #risc0 #zero-knowledge #produce #file #write #operator-overloading #zk-stark

  27. risc0-core-sys

    RISC Zero core crate

    v0.11.1 #risc0 #build #zk-stark #elf-binaries #logging #zero-knowledge #crng

  28. risc0-zkvm-prove

    RISC Zero zero-knowledge VM prove crate

    v0.6.0 #risc0 #zero-knowledge #prove #zk-stark

  29. risc0-zkp-sys

    RISC Zero zero-knowledge proof system crate

    v0.11.1 #risc0 #zero-knowledge-proofs #zk-stark #build

  30. risc0-circuit-rv32im-v2-sys

    Generated HAL code for rv32im-v2 cicuit

    v0.1.2 220 #risc0 #zk-stark #zero-knowledge

  31. risc0-zkvm-circuit-gen

    RISC-V circuit (generated)

    v0.11.1 #risc0 #risc0-zkvm-circuit-sys #build #build-script #zk-stark #dummy

  32. risc0-zkvm-sys

    RISC Zero zero-knowledge VM system crate

    v0.11.1 #risc0 #zero-knowledge #zk-stark

  33. risc0-zkvm-platform-sys

    RISC Zero zero-knowledge VM platform crate

    v0.11.1 #risc0 #zero-knowledge #platform #zk-stark

  34. risc0-circuit-keccak-sys

    Generated HAL code for keccak circuit

    v5.0.0-rc.1 23K #risc0 #zk-stark #hal-for-keccak

  35. risc0-zkp-core

    RISC Zero zero-knowledge proof system core crate

    v0.10.0 #zero-knowledge-proofs #risc0 #zk-stark #sha-256 #fp #finite-fields #ntt #fp4 #sha-256-hashing

  36. risc0-circuit-rv32im-v2

    RISC Zero circuit for rv32im-v2

    v0.1.2 210 #risc0 #rv32im #zk-stark #zero-knowledge

  37. risc0-zkvm-host-sys

    RISC Zero zero-knowledge VM host (sys) crate

    v0.6.0 #risc0 #zero-knowledge #zk-stark #vm-host

  38. risc0-groth16-sys

    C++ code for groth16 proof generation

    v5.0.0-rc.1 16K #risc0 #groth16 #zero-knowledge-proofs #zk-stark