{
    "proof": {
        "Plonk": {
            "public_inputs": [
                "109293561854953367243544705107188471677547408705938237561557372919661182991",
                "3352461647821420146256614270311092192494712658970503137981388665928096024788",
                "0",
                "83960146348496814183195590144795274058764451818716359375255161226434597714",
                "0"
            ],
            "encoded_proof": "0000000000000000000000000000000000000000000000000000000000000000002f850ee998974d6cc00e50cd0814b098c05bfade466d28573240d057f2535200000000000000000000000000000000000000000000000000000000000000002fc3ffbfe4c247017b8436eeaab4e7350af600af2978e314aa339313bc2cabb800c1d4712b3665fa7db060bec58f0c10caa0277ffa23050a8a71d3a36352dad5294553637f59f996ca9b6004c49aa434d238bd7b9f88fe72b8f77ed1c983952b0bb79af3b4da726eaeba341b0f363adbd2b832061f91b1c2314071cfa9fb13ac1ea62ce0ae8b082cd4af0e5855c41a83d2b7edef681f1b7167867b699288988113d71fe704d1e83bb5c3787bed5be9ab333e3b21acbc42c833f291dab82ef7c60025bf474e4706466ad2245103813116689e7ed0ebedce348fbbda10693f207d01b7d5aafdab79d3b1b0a68fd0aaa48fbb8aee5b41c5b7c3eeab4b0fe95069362414a4f4c9dd781b0e0059736006c586ff86ebcd7b59561adfe2363bcbb5ea932a699746ce007f8beec50c3732adf100936943e6a14192d7f0e5695e183c6b8817f5e70825f75d6ea1d2421747656e9bfe50dfdbc3029c465ee1a037a9a9cbb42343dd4307af3e6e2d155bd2e1176cde0ba1cc33dbaa2bbbc4deaf23c7aaa56000596af4c726f5f23f7569271b19a2c44bbb93e8d2015cb4624431dc6b6976e01d2ee038770f403cfbfd423e6369c39342a0621e365a74645d1c000a6d04e7a70bc1c37e4081730e33f5e0587cd87e0f807ed3a0692d6c44402c235df5e09eec2a10c474092149ece5cc8dc5f893e601aff6972208e64fd92d49915e75ec5c8e046186cfe597286aa06281e130db3d553f839ee798d9269cd7e42df7be5ded9804ef12aef4e5f0b6b8dfc872891c9ce6a6086a8975be3a2a324f082d45c51739199f9e5e0dd252a27410b423514dd03250457564366e5335dbea2a25ff5287772d44d807eb2820f9b737449e7f35aab319040848b580ce7a24896336bed644211896697d6e377469817a122a11d75b0d07407aa9949d8bb9ba3a244900c1b2122c52fe3f7db40b0141fb7c08eecca76693161408db24992b03588f7d8ffa8edc0f27cc2d1a026b95228844b267fbb49deab156bde9ff70e30994f73bafc87af5111f16c80dfb78fd51b7f13360c3662ff964839960cbf9cdef77398893e014d3275245cbe71b754683a85bf8c37c493d7c3853216969eb33e77778e89ea27c7624ab08f0d482be6bab4839a56fdad4585b93a8060e510132d7464bf3bc6efeb601cff83d339bc34623904ab632dc30c158c54f91493adf76a04f10dacedbbe6c",
            "raw_proof": "2fc3ffbfe4c247017b8436eeaab4e7350af600af2978e314aa339313bc2cabb800c1d4712b3665fa7db060bec58f0c10caa0277ffa23050a8a71d3a36352dad5294553637f59f996ca9b6004c49aa434d238bd7b9f88fe72b8f77ed1c983952b0bb79af3b4da726eaeba341b0f363adbd2b832061f91b1c2314071cfa9fb13ac1ea62ce0ae8b082cd4af0e5855c41a83d2b7edef681f1b7167867b699288988113d71fe704d1e83bb5c3787bed5be9ab333e3b21acbc42c833f291dab82ef7c604ef12aef4e5f0b6b8dfc872891c9ce6a6086a8975be3a2a324f082d45c51739199f9e5e0dd252a27410b423514dd03250457564366e5335dbea2a25ff5287770025bf474e4706466ad2245103813116689e7ed0ebedce348fbbda10693f207d01b7d5aafdab79d3b1b0a68fd0aaa48fbb8aee5b41c5b7c3eeab4b0fe95069362414a4f4c9dd781b0e0059736006c586ff86ebcd7b59561adfe2363bcbb5ea932a699746ce007f8beec50c3732adf100936943e6a14192d7f0e5695e183c6b8817f5e70825f75d6ea1d2421747656e9bfe50dfdbc3029c465ee1a037a9a9cbb42343dd4307af3e6e2d155bd2e1176cde0ba1cc33dbaa2bbbc4deaf23c7aaa5601896697d6e377469817a122a11d75b0d07407aa9949d8bb9ba3a244900c1b2122c52fe3f7db40b0141fb7c08eecca76693161408db24992b03588f7d8ffa8edc0000000710c5ef7d1448c71c33c940b017b21af14d16e7d88ea0f3fb3ea1391e852963cc00596af4c726f5f23f7569271b19a2c44bbb93e8d2015cb4624431dc6b6976e01d2ee038770f403cfbfd423e6369c39342a0621e365a74645d1c000a6d04e7a70bc1c37e4081730e33f5e0587cd87e0f807ed3a0692d6c44402c235df5e09eec2a10c474092149ece5cc8dc5f893e601aff6972208e64fd92d49915e75ec5c8e046186cfe597286aa06281e130db3d553f839ee798d9269cd7e42df7be5ded98275245cbe71b754683a85bf8c37c493d7c3853216969eb33e77778e89ea27c760f27cc2d1a026b95228844b267fbb49deab156bde9ff70e30994f73bafc87af5111f16c80dfb78fd51b7f13360c3662ff964839960cbf9cdef77398893e014d32d44d807eb2820f9b737449e7f35aab319040848b580ce7a24896336bed644210000000124ab08f0d482be6bab4839a56fdad4585b93a8060e510132d7464bf3bc6efeb601cff83d339bc34623904ab632dc30c158c54f91493adf76a04f10dacedbbe6c",
            "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,
                161,
                211,
                224,
                89,
                172,
                221,
                57,
                50,
                28,
                3,
                105,
                14,
                246,
                89,
                15,
                48,
                193,
                220,
                162,
                83,
                126,
                92,
                177,
                94,
                219,
                206,
                110,
                116,
                166,
                166,
                30,
                4,
                176,
                217,
                230,
                0,
                0,
                0,
                0,
                0,
                161,
                212,
                0,
                126,
                183,
                194,
                203,
                75,
                201,
                202,
                207,
                161,
                11,
                69,
                74,
                91,
                112,
                251,
                62,
                187,
                109,
                114,
                47,
                184,
                228,
                5,
                150,
                120,
                225,
                16,
                225,
                188,
                90,
                28,
                62,
                92,
                114,
                20,
                38,
                157,
                112,
                218,
                38,
                149,
                42,
                47,
                231,
                158,
                19,
                183,
                183,
                77,
                196,
                89,
                73,
                240,
                163,
                78,
                144,
                228,
                180,
                126,
                141,
                255,
                77,
                26,
                179,
                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,
                55,
                103,
                65,
                84,
                206,
                126,
                160,
                99,
                20,
                103,
                190,
                190,
                111,
                202,
                216,
                132,
                168,
                47,
                199,
                199,
                112,
                165,
                7,
                109,
                75,
                46,
                208,
                210,
                160,
                39,
                218,
                115,
                162,
                129,
                127,
                48,
                167,
                59,
                50,
                134,
                1,
                132,
                228,
                68,
                252,
                128,
                1,
                138,
                69,
                173,
                44,
                246,
                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
}
