swiftness
| Crates.io | swiftness |
| lib.rs | swiftness |
| version | |
| source | src |
| 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 |
| Cargo.toml error: | TOML parse error at line 17, column 1 | 17 | autolib = false | ^^^^^^^ unknown field `autolib`, expected one of `name`, `version`, `edition`, `authors`, `description`, `readme`, `license`, `repository`, `homepage`, `documentation`, `build`, `resolver`, `links`, `default-run`, `default_dash_run`, `rust-version`, `rust_dash_version`, `rust_version`, `license-file`, `license_dash_file`, `license_file`, `licenseFile`, `license_capital_file`, `forced-target`, `forced_dash_target`, `autobins`, `autotests`, `autoexamples`, `autobenches`, `publish`, `metadata`, `keywords`, `categories`, `exclude`, `include` |
| size | 0 |
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.