swiftness
| Crates.io | swiftness |
| lib.rs | swiftness |
| version | 1.0.0 |
| created_at | 2024-07-20 21:57:59.929033+00 |
| updated_at | 2025-01-12 14:14:20.677013+00 |
| description | Swiftness - Rust CairoVM Verifier implementation |
| homepage | |
| repository | https://github.com/iosis-tech/swiftness |
| max_upload_size | |
| id | 1309881 |
| size | 56,298 |
BartolomeoDiaz (Okm165)
documentation
README
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
-
Install
wasm-pack:cargo install wasm-pack -
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.