text: // define a variable to import the <Verifier> or <renamedVerifier> solidity contract generated by Zokrates
  var Verifier = artifacts.require('Verifier');
  // contents of proof come from ('../../zokrates/code/square/proof.json');
  var proof = {
    "proof": {
      "a": [
        "0x2d9c31b33abdb3c63fc2515c4336547047dde0d0e8bea84807c996399812a37c",
        "0x023df4b79ba7a01f65fb6aff445a1275fd557a21301c31ef69c5bd177b0698e9"
      ],
      "b": [
        [
          "0x0c60dfcd5de724f66fb79d6e762b4672909e52fdb02a2522aceef43c84a55440",
          "0x1ac6eef16ed72a6047dc2c44f40e5bc91eab7c4fb0d146f282aac7e415009003"
        ],
        [
          "0x02cafa693f24264a8742085eac4cedcbeb04f3e9b238dcdef323d56f37297daf",
          "0x2edcd94cea6d6e7080e69b59cbfc3f67514c3bcb3d156ea729bbb6df1f5c12ec"
        ]
      ],
      "c": [
        "0x0966d633cbf0c981c12de54f2aa3406e0c5d40e4735f19afcde64cc1842337d4",
        "0x1bcd3d850992fe695d4b7067e81462351d7bee27bcebf0f0b4d3747500dc0d86"
      ]
    },
    "inputs": [
      "0x0000000000000000000000000000000000000000000000000000000000000009",
      "0x0000000000000000000000000000000000000000000000000000000000000001"
    ]
  };
  
  // just changed the last digits to make invalid
  var invalidinputs = [
    "0x0000000000000000000000000000000000000000000000000000000000000099",
    "0x0000000000000000000000000000000000000000000000000000000000000011"
  ]
  contract('TestSquareVerifier', async(accounts) => {
    beforeEach(async function () {
        this.contract = await Verifier.new({ from: accounts[0] });
    });
    // Test verification with correct proof
    // - use the contents from proof.json generated from zokrates steps
    it('Test verification with correct proof', async function () {
      assert.equal(await this.contract.verifyTx.call(proof.proof, proof.inputs, { from: accounts[0]}), true, "Transaction should have verified true with correct proof.");
    });
  
    // Test verification with incorrect proof
    it('Test verification with incorrect proof', async function () {
      assert.equal(await this.contract.verifyTx.call(proof.proof,invalidinputs, { from: accounts[0]}), false, "Transaction should have verified false with incorrect proof.");
    });
  });
  