#verifier #proof #stark #cairo-vm #layout #starknet #cairo-verifier

bin+lib swiftness

Swiftness - Rust CairoVM Verifier implementation

7 releases

0.1.2 Sep 26, 2024
0.1.0 Sep 13, 2024
0.0.8 Aug 19, 2024
0.0.6 Jul 30, 2024

#240 in Magic Beans

Download history 43/week @ 2024-07-14 165/week @ 2024-07-21 245/week @ 2024-07-28 6/week @ 2024-08-04 173/week @ 2024-08-18 5/week @ 2024-08-25 101/week @ 2024-09-08 37/week @ 2024-09-15 143/week @ 2024-09-22 110/week @ 2024-09-29

391 downloads per month

Custom license

4MB
71K SLoC

Swiftness CairoVM Verifier

Version Continuous Integration

Crates.io Version docs.rs hub.docker

Swiftness is a Rust implementation of the Cairo-VM STARK verifier with layouts, inspired by StarkWare's Cairo-verifier in Cairo0.

Getting Started

Verify an Example Proof

cd cli && cargo run --release --bin swiftness --features starknet_with_keccak,keccak_160_lsb,stone5 --no-default-features -- --proof ../examples/proofs/starknet_with_keccak/cairo0_stone5_example_proof.json

Running Tests

cargo test

WebAssembly (WASM) Setup

  1. Install wasm-pack:

    cargo install wasm-pack
    
  2. Build WASM:

    cd wasm_bindings && wasm-pack build --target web --features recursive_with_poseidon,blake2s_248_lsb,stone5 --no-default-features
    

Features

Implemented Layouts

  • dex
  • recursive
  • recursive_with_poseidon
  • small
  • starknet
  • starknet_with_keccak
  • dynamic

Commitment Hashes

  • keccak_160_lsb
  • keccak_248_lsb
  • blake2s_160_lsb
  • blake2s_248_lsb

Stone Prover versions

  • Stone5
  • Stone6

Web Support

Other Platforms Support

  • Bare Armv7-R, Big Endian - armebv7r-none-eabi
  • Bare RISC-V (RV64IMAC ISA) - riscv64imac-unknown-none-elf
  • Bare ARM64, softfloat - aarch64-unknown-none-softfloat
  • Bare ARM64, hardfloat - aarch64-unknown-none

Contributing

Contributions are welcome! Feel free to open issues or submit pull requests to help improve this project.

Dependencies

~14MB
~259K SLoC