Imports github.com/consensys/gnark/constraint github.com/consensys/gnark/frontend github.com/consensys/gnark/frontend/cs/r1cs Standard library imports fmt math/big os regexp