Lib.rs

› Keywords #zk-vm #swiftness #stark-net #prover #stwo #cairo-starknet #air

#cairo-vm

  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. cairo-program-runner

    CLI tool for running Cairo programs on the Cairo VM

    v1.0.1 #cairo-vm #programs #running #air #pie #tool-for-running #command-line-tool #public-input

  3. cairo-vm

    Blazing fast Cairo interpreter

    v3.1.0 89K #stark-net #cairo-starknet #starknet

  4. cairo-felt

    Field elements representation for the Cairo VM

    v0.9.1 9.6K #cairo-vm #stark-net #cairo-starknet #starknet

    5. Try searching with DuckDuckGo.

  5. 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

  6. swiftness

    CairoVM Verifier implementation

    v1.0.0 550 #stark-verifier #cairo-vm #hash #zk-vm

  7. sierra-emu

    A Cairo (Sierra) Virtual Machine

    v0.9.0-rc.1 #cairo-stark-net #vm #cairo-vm #cairo-starknet #sierra #starknet

  8. starknet_in_rust

    Starknet execution logic

    v0.4.0 #stark-net #transaction-execution #vm #cairo-vm #request

  9. cairo-program-runner-lib

    running Cairo programs on the Cairo VM with hint support

    v1.0.1 #cairo-vm #hint #running #programs #build

  10. swiftness_proof_parser

    Json Proof Parser for Swiftness - Rust CairoVM Verifier implementation

    v1.0.0 200 #cairo-vm #stark-verifier #json-parser #swiftness #annotations #zk-vm

  11. swiftness_air

    Swiftness - Rust CairoVM Verifier implementation

    v1.0.0 #cairo-vm #air #stark-verifier #swiftness #zk-vm

  12. swiftness_stark

    Swiftness - Rust CairoVM Verifier implementation

    v1.0.0 600 #cairo-vm #stark-verifier #swiftness #zk-vm

  13. swiftness_fri

    Swiftness - Rust CairoVM Verifier implementation

    v1.0.0 #cairo-vm #fri #swiftness #zk-vm

  14. swiftness_commitment

    Swiftness - Rust CairoVM Verifier implementation

    v1.0.0 650 #cairo-vm #commitment #swiftness #zk-vm

  15. swiftness_transcript

    Swiftness - Rust CairoVM Verifier implementation

    v1.0.0 #cairo-vm #transcript #swiftness #zk-vm

  16. swiftness_pow

    Swiftness - Rust CairoVM Verifier implementation

    v1.0.0 650 #cairo-vm #zk-stark #swiftness