{
    "proof": {
        "Plonk": {
            "public_inputs": [
                "356591477763559327841179722254541194498141890019220331629082400130000650621",
                "8594403488374960331697926372339299319227206522772554455214093136301814889120"
            ],
            "encoded_proof": "12febde5eb0c42aca0b92fac4de54a85c55f13869db4ce937573e409c1e7f90e1b2d117b33096c86273c6f86b182a98ae1f56a66cf01e6d0e09548c99130b3162876e944fa4aaf0f8ac37ab198999564942e717255215a25dd269c2471e22d040c65daa3b4757e101053aa87964376b6edb7289a5472dfd43e91f5f19defcbec1d8162b997fdb76203961bd1c45fdf671ffefab6be6b464d68e1e9d99364bda30e8e6c93912f50b2d5027a0df6f3734fe3733690b0d0913931118cd026dfeef7142fa8e9ca5109b67ecc1f63adf2ad2206d473d834294564e7b5fd800ee87b8606bad5993fdaa503d4127f9d7dbdc0991c67347597759dcffeb5f123f5bf7b570afe6cb2e2a637bdf4553d1d3c800312aeeb8ce5d8c02b6da660bb205c0d678910762aad54c6917f5768c68ed32163ca39e25609476e8ae35f968663640c458e27b2fa6bb293731ec8925934f20b4961b107e2c2ee18a7a4311a92c48c417140109012dee97d1529e56e051970e059646f64f3be21f251c6ab4f80fda0b6dcc50a456455ff4bda71856b229d9259f234e743835c8b43a09c1679c9348e6cf0d02b7300676dd84844ecd691b4d0ae5fc64abdf8b799b9e7a24c44f5f69604fe941540d81eb4d0f069dd2d365371027ab595e3d7e6ec31c16870795a2cd48754ce2b37185835027e50b9711f2343ccf776a33ca9628e2930443367e9a973e53fef2d5032bd3f603f7432d23abb94a8dcbf9d928a4efe791e24532400fcffa7f91f03a6575fdfe6f551ee9f0a05e7198607c5ef53fc6a16a0a04f4c2ff3a4adccbe1cd4d6b0eaa2f9fbb0997d86c94abb68a7c8a261e94f249d8edb7ae3bc6a86ce171d9a5ef85e0d58651dd1a8b9092a92884636589862194da0fc407cf8535b2b08a8dce5ebd8c4cd9c63bb45a21b1f29144f7fe9d7d75b9c8d82920584fc9aa714fd9cb908246a6e051327f8f454fa16852e008916c6b8a6d4c2469ae55fad0b1ee15bcb8fc961ea282d5a3f6bb476c0b9165cf3530551d9a0d3408e7cf164c10ec96649931d82d834c75ca7d20a4762cd3d921f1206819df037ee1eb7e289a02131381779d664f72d5e9b368d3e42cd3928eb0a3410effd337b24dd1981d24e2459d2a6be683ba3f5f17f05a6d39ac1c2c4393a06b29497cd1ddd1d960dcce621f954107ea4bef48855dc3d725e83d2268958a49806a97fde39ac7ebf82299d",
            "raw_proof": "12febde5eb0c42aca0b92fac4de54a85c55f13869db4ce937573e409c1e7f90e1b2d117b33096c86273c6f86b182a98ae1f56a66cf01e6d0e09548c99130b3162876e944fa4aaf0f8ac37ab198999564942e717255215a25dd269c2471e22d040c65daa3b4757e101053aa87964376b6edb7289a5472dfd43e91f5f19defcbec1d8162b997fdb76203961bd1c45fdf671ffefab6be6b464d68e1e9d99364bda30e8e6c93912f50b2d5027a0df6f3734fe3733690b0d0913931118cd026dfeef703a6575fdfe6f551ee9f0a05e7198607c5ef53fc6a16a0a04f4c2ff3a4adccbe1cd4d6b0eaa2f9fbb0997d86c94abb68a7c8a261e94f249d8edb7ae3bc6a86ce142fa8e9ca5109b67ecc1f63adf2ad2206d473d834294564e7b5fd800ee87b8606bad5993fdaa503d4127f9d7dbdc0991c67347597759dcffeb5f123f5bf7b570afe6cb2e2a637bdf4553d1d3c800312aeeb8ce5d8c02b6da660bb205c0d678910762aad54c6917f5768c68ed32163ca39e25609476e8ae35f968663640c458e27b2fa6bb293731ec8925934f20b4961b107e2c2ee18a7a4311a92c48c417140109012dee97d1529e56e051970e059646f64f3be21f251c6ab4f80fda0b6dcc508a8dce5ebd8c4cd9c63bb45a21b1f29144f7fe9d7d75b9c8d82920584fc9aa714fd9cb908246a6e051327f8f454fa16852e008916c6b8a6d4c2469ae55fad0b0000000729fe34a5d0225e6baac03b347149cb28614a7a582593e6b9638aa1ac174706790a456455ff4bda71856b229d9259f234e743835c8b43a09c1679c9348e6cf0d02b7300676dd84844ecd691b4d0ae5fc64abdf8b799b9e7a24c44f5f69604fe941540d81eb4d0f069dd2d365371027ab595e3d7e6ec31c16870795a2cd48754ce2b37185835027e50b9711f2343ccf776a33ca9628e2930443367e9a973e53fef2d5032bd3f603f7432d23abb94a8dcbf9d928a4efe791e24532400fcffa7f91f2131381779d664f72d5e9b368d3e42cd3928eb0a3410effd337b24dd1981d24e1ee15bcb8fc961ea282d5a3f6bb476c0b9165cf3530551d9a0d3408e7cf164c10ec96649931d82d834c75ca7d20a4762cd3d921f1206819df037ee1eb7e289a0171d9a5ef85e0d58651dd1a8b9092a92884636589862194da0fc407cf8535b2b000000012459d2a6be683ba3f5f17f05a6d39ac1c2c4393a06b29497cd1ddd1d960dcce621f954107ea4bef48855dc3d725e83d2268958a49806a97fde39ac7ebf82299d",
            "plonk_vkey_hash": [
                212,
                232,
                236,
                210,
                53,
                125,
                216,
                130,
                32,
                152,
                0,
                172,
                214,
                171,
                180,
                67,
                210,
                49,
                207,
                40,
                125,
                119,
                186,
                98,
                183,
                50,
                206,
                147,
                124,
                139,
                86,
                231
            ]
        }
    },
    "public_values": {
        "buffer": {
            "data": [
                0,
                0,
                0,
                0,
                0,
                71,
                53,
                0,
                160,
                213,
                211,
                133,
                130,
                51,
                201,
                177,
                208,
                144,
                182,
                7,
                99,
                59,
                157,
                91,
                225,
                222,
                230,
                165,
                175,
                97,
                20,
                244,
                129,
                174,
                86,
                97,
                132,
                34,
                235,
                30,
                0,
                0,
                0,
                0,
                0,
                71,
                53,
                32,
                150,
                110,
                16,
                38,
                143,
                121,
                99,
                178,
                152,
                165,
                88,
                11,
                179,
                205,
                95,
                198,
                69,
                94,
                138,
                157,
                217,
                123,
                90,
                3,
                60,
                217,
                6,
                233,
                155,
                11,
                89,
                183,
                141,
                62,
                31,
                117,
                45,
                168,
                109,
                91,
                168,
                40,
                102,
                226,
                155,
                30,
                57,
                125,
                14,
                109,
                102,
                233,
                125,
                68,
                188,
                80,
                49,
                120,
                136,
                76,
                175,
                251,
                224,
                76,
                65,
                115,
                102,
                192,
                79,
                90,
                46,
                166,
                39,
                99,
                94,
                192,
                26,
                37,
                183,
                181,
                34,
                145,
                10,
                27,
                144,
                123,
                109,
                69,
                117,
                95,
                185,
                236,
                157,
                167,
                53,
                24,
                176,
                242,
                177,
                5,
                128,
                214,
                127,
                34,
                190,
                117,
                31,
                103,
                174,
                237,
                207,
                238,
                199,
                60,
                180,
                94,
                198,
                177,
                122,
                43,
                214,
                46,
                201,
                151,
                60,
                108,
                72,
                150
            ]
        }
    },
    "sp1_version": "v5.0.0",
    "tee_proof": null
}