{
    "name": "Verifier",
    "structs": {},
    "methods": [
        {
            "name": "verify",
            "args": [
                {
                    "type": "byte[32][]",
                    "name": "proof"
                }
            ],
            "returns": {
                "type": "byte[]"
            },
            "actions": {
                "create": [],
                "call": [
                    "NoOp"
                ]
            },
            "readonly": false,
            "events": [],
            "recommendations": {}
        }
    ],
    "arcs": [
        22,
        28
    ],
    "networks": {},
    "state": {
        "schema": {
            "global": {
                "ints": 0,
                "bytes": 0
            },
            "local": {
                "ints": 0,
                "bytes": 0
            }
        },
        "keys": {
            "global": {},
            "local": {},
            "box": {}
        },
        "maps": {
            "global": {},
            "local": {},
            "box": {}
        }
    },
    "bareActions": {
        "create": [
            "NoOp"
        ],
        "call": []
    },
    "sourceInfo": {
        "approval": {
            "sourceInfo": [
                {
                    "pc": [
                        44
                    ],
                    "errorMessage": "invalid array length header"
                },
                {
                    "pc": [
                        55
                    ],
                    "errorMessage": "invalid number of bytes for arc4.dynamic_array<arc4.static_array<arc4.uint8, 32>>"
                }
            ],
            "pcOffsetMethod": "none"
        },
        "clear": {
            "sourceInfo": [],
            "pcOffsetMethod": "none"
        }
    },
    "source": {
        "approval": "I3ByYWdtYSB2ZXJzaW9uIDExCiNwcmFnbWEgdHlwZXRyYWNrIGZhbHNlCgovLyBhbGdvcHkuYXJjNC5BUkM0Q29udHJhY3QuYXBwcm92YWxfcHJvZ3JhbSgpIC0+IHVpbnQ2NDoKbWFpbjoKICAgIC8vIHJlZ3Jlc3Npb25fdGVzdHMvamlyYV9ha183NTIucHk6MTIKICAgIC8vIGNsYXNzIFZlcmlmaWVyKGFsZ29weS5BUkM0Q29udHJhY3QpOgogICAgdHhuIE51bUFwcEFyZ3MKICAgIGJ6IG1haW5fX19hbGdvcHlfZGVmYXVsdF9jcmVhdGVANQogICAgcHVzaGJ5dGVzIDB4NDllODI3NDggLy8gbWV0aG9kICJ2ZXJpZnkoYnl0ZVszMl1bXSlieXRlW10iCiAgICB0eG5hIEFwcGxpY2F0aW9uQXJncyAwCiAgICBtYXRjaCBtYWluX3ZlcmlmeV9yb3V0ZUAzCiAgICBlcnIKCm1haW5fdmVyaWZ5X3JvdXRlQDM6CiAgICAvLyByZWdyZXNzaW9uX3Rlc3RzL2ppcmFfYWtfNzUyLnB5OjEzCiAgICAvLyBAYWJpbWV0aG9kCiAgICB0eG4gT25Db21wbGV0aW9uCiAgICAhCiAgICB0eG4gQXBwbGljYXRpb25JRAogICAgJiYKICAgIGFzc2VydAogICAgYiB2ZXJpZnkKCm1haW5fX19hbGdvcHlfZGVmYXVsdF9jcmVhdGVANToKICAgIHR4biBPbkNvbXBsZXRpb24KICAgICEKICAgIHR4biBBcHBsaWNhdGlvbklECiAgICAhCiAgICAmJgogICAgcmV0dXJuCgoKLy8gdGVzdF9jYXNlcy5yZWdyZXNzaW9uX3Rlc3RzLmppcmFfYWtfNzUyLlZlcmlmaWVyLnZlcmlmeVtyb3V0aW5nXSgpIC0+IHZvaWQ6CnZlcmlmeToKICAgIC8vIHJlZ3Jlc3Npb25fdGVzdHMvamlyYV9ha183NTIucHk6MTMKICAgIC8vIEBhYmltZXRob2QKICAgIHR4bmEgQXBwbGljYXRpb25BcmdzIDEKICAgIGR1cAogICAgcHVzaGludCAwCiAgICBleHRyYWN0X3VpbnQxNiAvLyBvbiBlcnJvcjogaW52YWxpZCBhcnJheSBsZW5ndGggaGVhZGVyCiAgICBwdXNoaW50IDMyCiAgICAqCiAgICBwdXNoaW50IDIKICAgICsKICAgIGRpZyAxCiAgICBsZW4KICAgID09CiAgICBhc3NlcnQgLy8gaW52YWxpZCBudW1iZXIgb2YgYnl0ZXMgZm9yIGFyYzQuZHluYW1pY19hcnJheTxhcmM0LnN0YXRpY19hcnJheTxhcmM0LnVpbnQ4LCAzMj4+CiAgICAvLyByZWdyZXNzaW9uX3Rlc3RzL2ppcmFfYWtfNzUyLnB5OjE4CiAgICAvLyB4ID0gcHJvb2ZbOF0uYnl0ZXMgICMgb2sKICAgIGR1cAogICAgcHVzaGludHMgMjU4IDMyCiAgICBleHRyYWN0MwogICAgLy8gcmVncmVzc2lvbl90ZXN0cy9qaXJhX2FrXzc1Mi5weToxOQogICAgLy8geSA9IHByb29mWzZdLmJ5dGVzICsgcHJvb2ZbN10uYnl0ZXMgICMgb2sKICAgIGRpZyAxCiAgICBleHRyYWN0IDE5NCAzMgogICAgdW5jb3ZlciAyCiAgICBleHRyYWN0IDIyNiAzMgogICAgc3dhcAogICAgZGlnIDEKICAgIGNvbmNhdAogICAgLy8gcmVncmVzc2lvbl90ZXN0cy9qaXJhX2FrXzc1Mi5weToyMAogICAgLy8geiA9IHByb29mWzddLmJ5dGVzICsgcHJvb2ZbOF0uYnl0ZXMgICMgSW52YWxpZCBpbW1lZGlhdGUsIGV4cGVjdGVkIHZhbHVlIGJldHdlZW4gMCBhbmQgMjU1CiAgICBzd2FwCiAgICBkaWcgMgogICAgY29uY2F0CiAgICAvLyByZWdyZXNzaW9uX3Rlc3RzL2ppcmFfYWtfNzUyLnB5OjIyCiAgICAvLyByZXR1cm4geCArIHkgKyB6CiAgICBjb3ZlciAyCiAgICBjb25jYXQKICAgIHN3YXAKICAgIGNvbmNhdAogICAgLy8gcmVncmVzc2lvbl90ZXN0cy9qaXJhX2FrXzc1Mi5weToxMwogICAgLy8gQGFiaW1ldGhvZAogICAgZHVwCiAgICBsZW4KICAgIGl0b2IKICAgIGV4dHJhY3QgNiAyCiAgICBzd2FwCiAgICBjb25jYXQKICAgIHB1c2hieXRlcyAweDE1MWY3Yzc1CiAgICBzd2FwCiAgICBjb25jYXQKICAgIGxvZwogICAgcHVzaGludCAxCiAgICByZXR1cm4K",
        "clear": "I3ByYWdtYSB2ZXJzaW9uIDExCiNwcmFnbWEgdHlwZXRyYWNrIGZhbHNlCgovLyBhbGdvcHkuYXJjNC5BUkM0Q29udHJhY3QuY2xlYXJfc3RhdGVfcHJvZ3JhbSgpIC0+IHVpbnQ2NDoKbWFpbjoKICAgIHB1c2hpbnQgMQogICAgcmV0dXJuCg=="
    },
    "byteCode": {
        "approval": "CzEbQQAYgARJ6CdINhoAjgEAAQAxGRQxGBBEQgAIMRkUMRgUEEM2GgFJgQBZgSALgQIISwEVEkRJgwKCAiBYSwFXwiBPAlfiIExLAVBMSwJQTgJQTFBJFRZXBgJMUIAEFR98dUxQsIEBQw==",
        "clear": "C4EBQw=="
    },
    "compilerInfo": {
        "compiler": "puya",
        "compilerVersion": {
            "major": 99,
            "minor": 99,
            "patch": 99
        }
    },
    "events": [],
    "templateVariables": {}
}