Merge pull request #60 from iosis-tech/documentation

docs & config
iosis-tech · Dec 23, 2024 · 6c37e75 · 6c37e75
2 parents b519849 + 4bfd078
commit 6c37e75
Show file tree

Hide file tree

Showing 10 changed files with 445 additions and 378 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/README.md b/README.md
@@ -17,7 +17,8 @@ Swiftness is a Rust implementation of the Cairo-VM STARK verifier with layouts,
 
 ### Verify an Example Proof
    ```sh
-   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
+   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