Lib.rs

› Keywords #prover #cairo #zk-vm #cryptography #prove #air #cairo-vm #proving

#stwo

  1. stwo-vm-runner

    VM runner for executing Cairo programs with STWO proving support

    v1.0.1 #cairo-vm #vm-runner #stwo #prover #execution #proving

  2. stwo

    Core library implementing the Circle STARK prover and verifier

    v2.0.1 160 #prover-verifier #circle #stark-prover #prover-and-verifier

  3. stwo-constraint-framework

    Constraint framework for building AIR constraints with STWO

    v2.0.1 140 #constraints #framework #air #stwo #building

  4. stwo-air-utils

    functions for AIR (Algebraic Intermediate Representation) in STWO

    v2.0.1 #intermediate-representation #stwo #air #algebraic

  5. stwo-run-and-prove

    Run Cairo programs and generate STWO proofs

    v1.0.0 #proof #cairo #stwo #programs #generate

  6. stwo-std-shims

    Std and alloc shims for stwo

    v1.0.0 #shim #stwo #alloc

  7. stwo-cairo-serialize

    Serialization utilities for Stwo Cairo proofs

    v1.0.0 #cairo #prove #proof #serialization #prover #stwo #cryptography #zk-vm

    8. Try searching with DuckDuckGo.

  8. stwo-cairo-adapter

    Adapter for converting Cairo VM execution traces to Stwo prover format

    v1.0.1 #prove #cairo-vm #execution #prover #stwo #cryptography #execution-trace #zk-vm

  9. stwo-cairo-utils

    functions for Stwo Cairo prover

    v1.0.1 #cairo #prove #prover #programs #stark #stwo #cryptography #zk-vm

  10. stwo-cairo-prover

    STARK prover for Cairo programs using the Stwo proving system

    v1.0.1 #programs #stark-prover #prove #proving #cairo #cryptography #prover-verifier #stwo #zk-vm

  11. stwo-cairo-common

    Common types and utilities shared across Stwo Cairo crates

    v1.0.1 #cairo #prove #programs #cryptography #prover #stwo #zk-vm

  12. stwo-cairo-serialize-derive

    Derive macros for Stwo Cairo serialization

    v1.0.1 #cairo #serialization #prove #programs #stwo #prover #cryptography #zk-vm