Imports github.com/consensys/gnark/frontend github.com/stretchr/testify/assert Standard library imports encoding/json os path/filepath strconv strings testing