ultraverifier.json 1.26 KB
Newer Older
Johnny's avatar
Johnny committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80
[
	{
		"inputs": [],
		"name": "EC_SCALAR_MUL_FAILURE",
		"type": "error"
	},
	{
		"inputs": [],
		"name": "MOD_EXP_FAILURE",
		"type": "error"
	},
	{
		"inputs": [],
		"name": "PROOF_FAILURE",
		"type": "error"
	},
	{
		"inputs": [
			{
				"internalType": "uint256",
				"name": "expected",
				"type": "uint256"
			},
			{
				"internalType": "uint256",
				"name": "actual",
				"type": "uint256"
			}
		],
		"name": "PUBLIC_INPUT_COUNT_INVALID",
		"type": "error"
	},
	{
		"inputs": [],
		"name": "PUBLIC_INPUT_GE_P",
		"type": "error"
	},
	{
		"inputs": [],
		"name": "PUBLIC_INPUT_INVALID_BN128_G1_POINT",
		"type": "error"
	},
	{
		"inputs": [],
		"name": "getVerificationKeyHash",
		"outputs": [
			{
				"internalType": "bytes32",
				"name": "",
				"type": "bytes32"
			}
		],
		"stateMutability": "pure",
		"type": "function"
	},
	{
		"inputs": [
			{
				"internalType": "bytes",
				"name": "_proof",
				"type": "bytes"
			},
			{
				"internalType": "bytes32[]",
				"name": "_publicInputs",
				"type": "bytes32[]"
			}
		],
		"name": "verify",
		"outputs": [
			{
				"internalType": "bool",
				"name": "",
				"type": "bool"
			}
		],
		"stateMutability": "view",
		"type": "function"
	}
]