ark-swiftness This is an experimental implementation of a Cairo VM verifier in Arkworks. Ported from swiftness.