GitHub repository: matzayonc/swiftness
Description: Cairo-VM STONE STARK Verifier Rust implementation