import {ethers} from "ethers"
  const provider = new ethers.providers.JsonRpcProvider('https://stylus-testnet.arbitrum.io/rpc');
  const contractAddress = '0x6604ae75e22105958DF9f7D3660A7c167aED1e1d';
  const contractABI = [
	{
		"inputs": [
			{
				"internalType": "uint256[14]",
				"name": "words",
				"type": "uint256[14]"
			}
		],
		"name": "verifyProof",
		"outputs": [
			{
				"internalType": "bool",
				"name": "",
				"type": "bool"
			}
		],
		"stateMutability": "pure",
		"type": "function"
	}
];
  const contract = new ethers.Contract(contractAddress, contractABI, provider);
  
  const value = await contract.verifyProof();
  console.log(`The value is: ${value}`);
}