integrity
| Crates.io | integrity |
| lib.rs | integrity |
| version | 0.1.0 |
| created_at | 2025-01-23 02:17:41.654625+00 |
| updated_at | 2025-01-23 02:17:41.654625+00 |
| description | Rust library for verifying STARK proofs from `swiftness` on `integrity` |
| homepage | https://github.com/xJonathanLEI/integrity-rs |
| repository | https://github.com/xJonathanLEI/integrity-rs |
| max_upload_size | |
| id | 1527390 |
| size | 80,652 |
Jonathan LEI (xJonathanLEI)
documentation
https://docs.rs/integrity
README
integrity-rs
Rust library for verifying STARK proofs from swiftness on integrity
Introduction
integrity-rs is the missing piece for verifying swiftness STARK proofs on-chain using the integrity verifier contract.
Given a STARK proof, the library offers a split_proof function that generates contract calls which stay under Starknet transaction size limits, allowing the proof to be verified in a multi-step process over multiple transactions.
An example of reading a JSON proof file and generating the final contract calls is available for reference.
License
Licensed under either of
- Apache License, Version 2.0 (LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0)
- MIT license (LICENSE-MIT or http://opensource.org/licenses/MIT)
at your option.