Transform Gnark circuits into Cairo to use them for STARK proofs.GnarCairo imports existing Gnark implementations and custom circuits into Cairo.