#verifier #cairo-vm #stark #swiftness #zk

no-std swiftness_stark

Swiftness - Rust CairoVM Verifier implementation