{
    "proof": {
        "Plonk": {
            "public_inputs": [
                "109293561854953367243544705107188471677547408705938237561557372919661182991",
                "8785739590241721680941757472438202394484200213166329804620118750683401375988",
                "0",
                "83960146348496814183195590144795274058764451818716359375255161226434597714",
                "0"
            ],
            "encoded_proof": "0000000000000000000000000000000000000000000000000000000000000000002f850ee998974d6cc00e50cd0814b098c05bfade466d28573240d057f2535200000000000000000000000000000000000000000000000000000000000000002825f4edfc09b3ed4399e8eb760cf5da5e63528ebdef58e20fa0c4fd44615bdc1bf58936f6ce23db923b105fb397b60f175fd0cec15d481f80732ff440ea3c3c107e52c388473b48abec610fb1e118b0b219cd23acfc9fc520e7f60156d5439a28763943e40b723948d4662d2a36d79034618ff8f475b41e7760e9c96b9164de2d1e909ef95fe5512bdb48b787c190159bb49ddcdd25a05409095ba54f964442061278dbc80bbe805015126b288336d93b3503a97ef44677809b94f3576d22ac1e0e3761b76cec6ed0016c2c25acc25f92d1cc7ad958a75612e65af09553b0630ce7c09e629a7dde59dce19c3822802d7cdd9cc934515c9b40659d23a303398318ea0b1ac029239c7ff9ccf9d108e9b78564afb9fddaa3e67bdd62002b186f811cf59e7f3189ada3528c0f5103457a3373257f4089fa89705e5f469952d6b50029c8f4e42b79b45c50ef5a6715922444c9eafb77fb12c6391d1652d1078734c72b4de577ef20ea396e0730f24bd929ea9d12a424ef9b057afc8a36ea7ee9ed7d243b2d1c049fddf3bce556e9f188ea9da10182713b8f7b9768fe5504a6a0e6760b5c802a21238e405c8b5311a5af359c5581d1a6b255ae05cf0bfd9e07cd8b5a141fccc2623fb5990e6c27d50c327ee602d525fe07247917dbf994b27221b70428b67db79d97e3461ddba21274da1f9e2c60e53b61632ae80b93a768352e95d50eb0dcce5f3bdf32162f2497dc16eb830c5fc8c490951a9432edf5b92665a5bd19e7436c5b321c5b722713f8b151e46d6464ada175a39378851e4a02eb37f7f1305755695fd15eaf728be4fb5b3b042924b5e7a7e0f8a8983478fa8c0fcc96992a1e9dcc071a448ff98cbd5370f24f02523ce3fa967b428f8a2f3cd8e5f90fca1bf0d676af779546ba23fe3fd4b2d934165826c59cfc1c5c977e8e4c66565f5d1cd66228af06f38d13330785c3cfb65915d34ad33ce7098677533d6bb1a0b18b0187d0a97a760d1afd8ac1d43977caecd211f48453f19f8599dddec6efac295b1b46e5eb75ce4fa6b53a9858abffead84ccd8ce809db559b56d5d16769b719792b88914deb1979029e6a80b68c6b291e0d2deb8614ca507f5659153828f7947c132376c8be4446dc7a660ca08de20ec24d9210e4cab1c31a604f222e84cd497b29853ad887b50c4ad42a50208a1ece8a9b632e6c183ef30b4bf19d467801bb82",
            "raw_proof": "2825f4edfc09b3ed4399e8eb760cf5da5e63528ebdef58e20fa0c4fd44615bdc1bf58936f6ce23db923b105fb397b60f175fd0cec15d481f80732ff440ea3c3c107e52c388473b48abec610fb1e118b0b219cd23acfc9fc520e7f60156d5439a28763943e40b723948d4662d2a36d79034618ff8f475b41e7760e9c96b9164de2d1e909ef95fe5512bdb48b787c190159bb49ddcdd25a05409095ba54f964442061278dbc80bbe805015126b288336d93b3503a97ef44677809b94f3576d22ac19e7436c5b321c5b722713f8b151e46d6464ada175a39378851e4a02eb37f7f1305755695fd15eaf728be4fb5b3b042924b5e7a7e0f8a8983478fa8c0fcc96991e0e3761b76cec6ed0016c2c25acc25f92d1cc7ad958a75612e65af09553b0630ce7c09e629a7dde59dce19c3822802d7cdd9cc934515c9b40659d23a303398318ea0b1ac029239c7ff9ccf9d108e9b78564afb9fddaa3e67bdd62002b186f811cf59e7f3189ada3528c0f5103457a3373257f4089fa89705e5f469952d6b50029c8f4e42b79b45c50ef5a6715922444c9eafb77fb12c6391d1652d1078734c72b4de577ef20ea396e0730f24bd929ea9d12a424ef9b057afc8a36ea7ee9ed7d1bf0d676af779546ba23fe3fd4b2d934165826c59cfc1c5c977e8e4c66565f5d1cd66228af06f38d13330785c3cfb65915d34ad33ce7098677533d6bb1a0b18b0000000721fa64858965ec49f391c29be888872376ef104e10c1bd5e320d603cd99849f8243b2d1c049fddf3bce556e9f188ea9da10182713b8f7b9768fe5504a6a0e6760b5c802a21238e405c8b5311a5af359c5581d1a6b255ae05cf0bfd9e07cd8b5a141fccc2623fb5990e6c27d50c327ee602d525fe07247917dbf994b27221b70428b67db79d97e3461ddba21274da1f9e2c60e53b61632ae80b93a768352e95d50eb0dcce5f3bdf32162f2497dc16eb830c5fc8c490951a9432edf5b92665a5bd2b88914deb1979029e6a80b68c6b291e0d2deb8614ca507f5659153828f7947c0187d0a97a760d1afd8ac1d43977caecd211f48453f19f8599dddec6efac295b1b46e5eb75ce4fa6b53a9858abffead84ccd8ce809db559b56d5d16769b719792a1e9dcc071a448ff98cbd5370f24f02523ce3fa967b428f8a2f3cd8e5f90fca00000001132376c8be4446dc7a660ca08de20ec24d9210e4cab1c31a604f222e84cd497b29853ad887b50c4ad42a50208a1ece8a9b632e6c183ef30b4bf19d467801bb82",
            "plonk_vkey_hash": [
                90,
                9,
                58,
                47,
                203,
                70,
                57,
                79,
                92,
                173,
                254,
                85,
                196,
                77,
                77,
                87,
                47,
                173,
                156,
                236,
                122,
                235,
                56,
                2,
                107,
                2,
                120,
                50,
                46,
                240,
                127,
                172
            ]
        }
    },
    "public_values": {
        "buffer": {
            "data": [
                0,
                0,
                0,
                0,
                0,
                159,
                103,
                64,
                182,
                255,
                31,
                234,
                18,
                105,
                119,
                101,
                18,
                76,
                198,
                243,
                110,
                108,
                19,
                163,
                86,
                4,
                103,
                122,
                79,
                131,
                236,
                25,
                113,
                240,
                99,
                213,
                154,
                184,
                237,
                17,
                0,
                0,
                0,
                0,
                0,
                159,
                103,
                160,
                15,
                35,
                249,
                150,
                117,
                35,
                93,
                233,
                144,
                14,
                37,
                134,
                25,
                73,
                240,
                125,
                118,
                217,
                225,
                9,
                85,
                223,
                117,
                159,
                18,
                60,
                225,
                135,
                234,
                143,
                123,
                191,
                137,
                198,
                94,
                150,
                227,
                15,
                255,
                23,
                116,
                58,
                218,
                163,
                71,
                6,
                99,
                72,
                48,
                204,
                77,
                45,
                27,
                214,
                110,
                75,
                89,
                136,
                50,
                188,
                236,
                219,
                56,
                114,
                0,
                0,
                0,
                0,
                0,
                0,
                0,
                0,
                0,
                0,
                0,
                0,
                0,
                0,
                0,
                0,
                0,
                0,
                0,
                0,
                0,
                0,
                0,
                0,
                0,
                0,
                0,
                0,
                0,
                0,
                0,
                0,
                174,
                50,
                16,
                250,
                88,
                3,
                126,
                152,
                51,
                144,
                143,
                23,
                73,
                81,
                14,
                186,
                60,
                117,
                30,
                225,
                183,
                247,
                39,
                3,
                212,
                161,
                238,
                61,
                38,
                71,
                183,
                40,
                132,
                155,
                139,
                213,
                43,
                85,
                87,
                150,
                130,
                38,
                75,
                60,
                181,
                225,
                8,
                57,
                228,
                120,
                229,
                67,
                216,
                234,
                23,
                31,
                60,
                148,
                174,
                162,
                30,
                188,
                66,
                161,
                237,
                97,
                5,
                42,
                207,
                63,
                146,
                9,
                192,
                14,
                78,
                251,
                170,
                221,
                172,
                9,
                237,
                155,
                128,
                120
            ]
        }
    },
    "sp1_version": "v6.1.0",
    "tee_proof": null
}