Skip to content

Latest commit

 

History

History
83 lines (56 loc) · 2.4 KB

README.md

File metadata and controls

83 lines (56 loc) · 2.4 KB
Raw

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.