GitHub repository: GopherJ/ark-swiftness
Primary language: Rust
Description: Cairo-VM Stark Verifier Arkworks implementation(WIP)