Run the test of the Smart Contracts for the zktls-integrations circuit (./test/circuits/zktls-integrations/ZkTLSIntegrationsProofVerifier.test.ts) cd test sh circuits ...