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.