#starknet #stark #proof #proofs #verifying #on-chain #swiftness

integrity

Rust library for verifying STARK proofs from swiftness on integrity

1 unstable release

0.1.0 Jan 23, 2025

#8 in #swiftness

Download history 115/week @ 2025-01-22 21/week @ 2025-01-29 15/week @ 2025-02-05 18/week @ 2025-02-12 22/week @ 2025-02-19 13/week @ 2025-02-26 5/week @ 2025-03-05 33/week @ 2025-03-12

74 downloads per month

MIT/Apache

40KB
900 lines

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

at your option.

Dependencies

~20MB
~368K SLoC