Lib.rs

› Keywords #zk-vm #succinct-sp1 #zero-knowledge #succinct #agglayer #test-suite

#sp1

  1. neo-zkvm-program

    SP1 guest program for proving Neo VM execution

    v0.2.1 #neo #proving #guest #sp1 #execution

  2. sp1-lib

    SP1 zkVM library functions

    v6.0.0-rc.1 93K #zk-vm #succinct-sp1 #zero-knowledge #succinct #sp1

  3. sp1-primitives

    Core primitive types for SP1

    v6.0.0-rc.1 98K #zk-vm #succinct-sp1 #zero-knowledge #succinct #sp1

  4. sp1-stark

    SP1 is a performant, 100% open-source, contributor-friendly zkVM

    v5.2.4 64K #zk-vm #succinct-sp1 #zero-knowledge #succinct #sp1

  5. sp1-core-machine

    SP1 core machine definitions

    v6.0.0-rc.1 58K #zk-vm #succinct-sp1 #zero-knowledge #succinct #sp1

  6. sp1-build

    Build an SP1 program

    v6.0.0-rc.1 58K #zk-vm #zero-knowledge #succinct-sp1 #succinct #sp1

  7. sp1-helper

    building SP1 programs with build scripts

    v6.0.0-rc.1 5.0K #zk-vm #succinct-sp1 #zero-knowledge #succinct #sp1

  8. sp1-cuda

    CUDA integration for SP1 GPU proving

    v6.0.0-rc.1 57K #zk-vm #succinct-sp1 #zero-knowledge #succinct #sp1

  9. sp1-eval

    A performance evaluation tool for SP1 programs

    v5.2.4 #zk-vm #succinct-sp1 #zero-knowledge #succinct #sp1

  10. unified-bridge

    contains structs and traits for the unified bridge protocol

    v0.13.0 3.2K #bridge #proof #protocols #struct #traits #structs-and-traits #test-suite #sp1 #agglayer #pessimistic

  11. agglayer-bincode

    Agglayer Bincode utilities

    v0.13.0 3.2K #agglayer #bincode #sp1 #test-suite #proof-generation

    12. Try searching with DuckDuckGo.

  12. sp1-recursion-core

    SP1 is a performant, 100% open-source, contributor-friendly zkVM

    v5.2.4 63K #zk-vm #succinct-sp1 #zero-knowledge #succinct #sp1

  13. agglayer-interop-grpc-types

    contains structs and traits for the gRPC interoperability layer of agglayer

    v0.13.0 1.9K #agglayer #layer #interop #proof #grpc #sp1 #structs-and-traits #test-suite

  14. sp1-recursion-program

    SP1 is a performant, 100% open-source, contributor-friendly zkVM

    v3.0.0-rc1 4.9K #zk-vm #succinct-sp1 #zero-knowledge #succinct #sp1

  15. hyli-client-sdk

    Hyli client SDK

    v0.14.0 #sdk #client #hyli #transaction #risc0 #node-api #sp1 #blockchain #tcp-client

  16. agglayer-interop-types

    contains structs and traits for the interoperability layer of agglayer

    v0.13.0 1.9K #agglayer #proof #layer #testing #traits #sp1 #test-suite #structs-and-traits

  17. sp1-recursion-core-v2

    SP1 is a performant, 100% open-source, contributor-friendly zkVM

    v3.0.0-rc1 4.2K #zk-vm #succinct-sp1 #zero-knowledge #succinct #sp1

  18. sp1-recursion-circuit-v2

    SP1 is a performant, 100% open-source, contributor-friendly zkVM

    v3.0.0-rc1 300 #zk-vm #succinct-sp1 #zero-knowledge #succinct #sp1

  19. zkvmc-sp1

    Sp1's implementation of zkVMc

    v0.0.1 #hash #sp1 #block-hash #zk-v-mc #zk-vm #mhz #local-ip #uptime #arch-linux #jit