Swiftness CairoVM Verifier

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

• WASM support
• NO_STD support
• Web Demo
• NPM package

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.