AlignedProofAggregationService.json

{"abi":[{"type":"constructor","inputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"VERIFIER_MOCK_ADDRESS","inputs":[],"outputs":[{"name":"","type":"address","internalType":"address"}],"stateMutability":"view"},{"type":"function","name":"aggregatedProofs","inputs":[{"name":"","type":"bytes32","internalType":"bytes32"}],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"view"},{"type":"function","name":"alignedAggregatorAddress","inputs":[],"outputs":[{"name":"","type":"address","internalType":"address"}],"stateMutability":"view"},{"type":"function","name":"initialize","inputs":[{"name":"newOwner","type":"address","internalType":"address"},{"name":"_alignedAggregatorAddress","type":"address","internalType":"address"},{"name":"_sp1VerifierAddress","type":"address","internalType":"address"},{"name":"_risc0VerifierAddress","type":"address","internalType":"address"},{"name":"_risc0AggregatorProgramImageId","type":"bytes32","internalType":"bytes32"},{"name":"_sp1AggregatorProgramVKHash","type":"bytes32","internalType":"bytes32"}],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"owner","inputs":[],"outputs":[{"name":"","type":"address","internalType":"address"}],"stateMutability":"view"},{"type":"function","name":"proxiableUUID","inputs":[],"outputs":[{"name":"","type":"bytes32","internalType":"bytes32"}],"stateMutability":"view"},{"type":"function","name":"renounceOwnership","inputs":[],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"risc0AggregatorProgramImageId","inputs":[],"outputs":[{"name":"","type":"bytes32","internalType":"bytes32"}],"stateMutability":"view"},{"type":"function","name":"risc0VerifierAddress","inputs":[],"outputs":[{"name":"","type":"address","internalType":"address"}],"stateMutability":"view"},{"type":"function","name":"setRisc0AggregatorProgramImageId","inputs":[{"name":"_risc0AggregatorProgramImageId","type":"bytes32","internalType":"bytes32"}],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"setRisc0VerifierAddress","inputs":[{"name":"_risc0VerifierAddress","type":"address","internalType":"address"}],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"setSP1AggregatorProgramVKHash","inputs":[{"name":"_sp1AggregatorProgramVKHash","type":"bytes32","internalType":"bytes32"}],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"sp1AggregatorProgramVKHash","inputs":[],"outputs":[{"name":"","type":"bytes32","internalType":"bytes32"}],"stateMutability":"view"},{"type":"function","name":"sp1VerifierAddress","inputs":[],"outputs":[{"name":"","type":"address","internalType":"address"}],"stateMutability":"view"},{"type":"function","name":"transferOwnership","inputs":[{"name":"newOwner","type":"address","internalType":"address"}],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"upgradeTo","inputs":[{"name":"newImplementation","type":"address","internalType":"address"}],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"upgradeToAndCall","inputs":[{"name":"newImplementation","type":"address","internalType":"address"},{"name":"data","type":"bytes","internalType":"bytes"}],"outputs":[],"stateMutability":"payable"},{"type":"function","name":"verifyRisc0","inputs":[{"name":"blobVersionedHash","type":"bytes32","internalType":"bytes32"},{"name":"risc0ReceiptSeal","type":"bytes","internalType":"bytes"},{"name":"risc0JournalBytes","type":"bytes","internalType":"bytes"}],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"verifySP1","inputs":[{"name":"blobVersionedHash","type":"bytes32","internalType":"bytes32"},{"name":"sp1PublicValues","type":"bytes","internalType":"bytes"},{"name":"sp1ProofBytes","type":"bytes","internalType":"bytes"}],"outputs":[],"stateMutability":"nonpayable"},{"type":"event","name":"AdminChanged","inputs":[{"name":"previousAdmin","type":"address","indexed":false,"internalType":"address"},{"name":"newAdmin","type":"address","indexed":false,"internalType":"address"}],"anonymous":false},{"type":"event","name":"AggregatedProofVerified","inputs":[{"name":"merkleRoot","type":"bytes32","indexed":true,"internalType":"bytes32"},{"name":"blobVersionedHash","type":"bytes32","indexed":false,"internalType":"bytes32"}],"anonymous":false},{"type":"event","name":"BeaconUpgraded","inputs":[{"name":"beacon","type":"address","indexed":true,"internalType":"address"}],"anonymous":false},{"type":"event","name":"Initialized","inputs":[{"name":"version","type":"uint8","indexed":false,"internalType":"uint8"}],"anonymous":false},{"type":"event","name":"OwnershipTransferred","inputs":[{"name":"previousOwner","type":"address","indexed":true,"internalType":"address"},{"name":"newOwner","type":"address","indexed":true,"internalType":"address"}],"anonymous":false},{"type":"event","name":"Upgraded","inputs":[{"name":"implementation","type":"address","indexed":true,"internalType":"address"}],"anonymous":false},{"type":"error","name":"OnlyAlignedAggregator","inputs":[{"name":"sender","type":"address","internalType":"address"}]}],"bytecode":{"object":"0x60a080604052346100dc57306080526000549060ff8260081c1661008a575060ff8082161061004f575b60405161139c90816100e2823960805181818161075b015281816108820152610bbf0152f35b60ff90811916176000557f7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498602060405160ff8152a138610029565b62461bcd60e51b815260206004820152602760248201527f496e697469616c697a61626c653a20636f6e747261637420697320696e697469604482015266616c697a696e6760c81b6064820152608490fd5b600080fdfe608080604052600436101561001357600080fd5b600090813560e01c9081630751299c14610f435750806325c36fa514610f2557806327d3bc9a14610ef6578063294e3ccb14610ecd5780633659cfe614610ba05780634c46688c14610b775780634f1ef2861461080c57806352d1902d1461074857806354687ccf146105f5578063616af4f7146105cc578063715018a61461056f57806383501b21146105535780638da5cb5b1461052a5780639367a05a146105075780639fc0984b146104e4578063a52f681b146104a4578063f28c3e37146102c3578063f2fde38b146102325763f6e04ac4146100f257600080fd5b3461022f5761010036610ffb565b60cb54929493929091906001600160a01b0316330361021c5760208386810103126102175760ca548335958794916001600160a01b03169060fe198201610188575b85887ffe3e9e971000ab9c80c7e06aba2933aae5419d0e44693e3046913e9e58053f6260208a83855260c9825260408520600160ff19825416179055604051908152a280f35b60ce54823b15610213576101d787956101c5976040519889978896879663020a49e360e51b88526004880152606060248801526064870191611114565b84810360031901604486015291611114565b03915afa8015610208576101ef575b80808080610142565b816101f991610f79565b6102045782386101e6565b8280fd5b6040513d84823e3d90fd5b8680fd5b600080fd5b63921f325560e01b865233600452602486fd5b80fd5b503461022f57602036600319011261022f5761024c610f63565b610254611135565b6001600160a01b0381161561026f5761026c9061118d565b80f35b60405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b6064820152608490fd5b503461022f5760c036600319011261022f576102dd610f63565b6024356001600160a01b03811690819003610204576044356001600160a01b038116908190036104a0576064356001600160a01b038116929083900361049c57845460ff8160081c16159485809661048f575b8015610478575b1561041c5760ff1982166001178755610388918661040b575b5061036a60ff885460081c16610365816111d6565b6111d6565b6103733361118d565b61038360ff885460081c166111d6565b61118d565b6001600160601b0360a01b60cb54161760cb556001600160601b0360a01b60ca54161760ca556001600160601b0360a01b60cc54161760cc5560843560cd5560a43560ce556103d45780f35b61ff001981541681557f7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498602060405160018152a180f35b61ffff191661010117875538610350565b60405162461bcd60e51b815260206004820152602e60248201527f496e697469616c697a61626c653a20636f6e747261637420697320616c72656160448201526d191e481a5b9a5d1a585b1a5e995960921b6064820152608490fd5b50303b1580156103375750600160ff831614610337565b50600160ff831610610330565b8480fd5b8380fd5b503461022f57602036600319011261022f576104be610f63565b6104c6611135565b60018060a01b03166001600160601b0360a01b60cc54161760cc5580f35b503461022f57602036600319011261022f576104fe611135565b60043560ce5580f35b503461022f57602036600319011261022f57610521611135565b60043560cd5580f35b503461022f578060031936011261022f576033546040516001600160a01b039091168152602090f35b503461022f578060031936011261022f57602060405160ff8152f35b503461022f578060031936011261022f57610588611135565b603380546001600160a01b0319811690915581906001600160a01b03167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e08280a380f35b503461022f578060031936011261022f5760cc546040516001600160a01b039091168152602090f35b503461022f5761060436610ffb565b60cb549094939291906001600160a01b0316330361021c5790859160208187810103126102045760cc548135966001600160a01b039091169160fe19830161068d575b84887ffe3e9e971000ab9c80c7e06aba2933aae5419d0e44693e3046913e9e58053f6260208a83855260c9825260408520600160ff19825416179055604051908152a280f35b81859160209360405192839283378101838152039060025afa156102085782519360cd5492823b1561049c576106e2936040519687958694859463ab750e7560e01b8652606060048701526064860191611114565b916024840152604483015203915afa801561073d57610706575b8381808080610647565b836107357ffe3e9e971000ab9c80c7e06aba2933aae5419d0e44693e3046913e9e58053f629395602093610f79565b9391506106fc565b6040513d86823e3d90fd5b503461022f578060031936011261022f577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031630036107a15760206040516000805160206113478339815191528152f35b60405162461bcd60e51b815260206004820152603860248201527f555550535570677261646561626c653a206d757374206e6f742062652063616c60448201527f6c6564207468726f7567682064656c656761746563616c6c00000000000000006064820152608490fd5b50604036600319011261022f57610821610f63565b60243567ffffffffffffffff81116102045736602382011215610204578060040135908361084e83610fb1565b9161085c6040519384610f79565b8383526020830193366024828401011161020457806024602093018637830101526108d57f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166108b630821415611052565b600080516020611347833981519152546001600160a01b0316146110b3565b6108dd611135565b7f4910fdfa16fed3260ed0e7147f7cc6da11a60208b5b9406d12a635614ffd91435460ff161561091257505061026c90611236565b6040516352d1902d60e01b81526001600160a01b03841690602081600481855afa869181610b43575b5061099c5760405162461bcd60e51b815260206004820152602e60248201527f45524331393637557067726164653a206e657720696d706c656d656e7461746960448201526d6f6e206973206e6f74205555505360901b6064820152608490fd5b60008051602061134783398151915203610aec576109b984611236565b604051907fbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b8680a2815115801590610ae4575b6109f8575b5050505080f35b833b15610a935750610a82928492839251915af43d15610a8c573d610a1c81610fb1565b90610a2a6040519283610f79565b81523d84602083013e5b60405191610a43606084610f79565b602783527f416464726573733a206c6f772d6c6576656c2064656c65676174652063616c6c6020840152660819985a5b195960ca1b60408401526112cf565b50388080806109f1565b6060610a34565b62461bcd60e51b815260206004820152602660248201527f416464726573733a2064656c65676174652063616c6c20746f206e6f6e2d636f6044820152651b9d1c9858dd60d21b6064820152608490fd5b5060016109ec565b60405162461bcd60e51b815260206004820152602960248201527f45524331393637557067726164653a20756e737570706f727465642070726f786044820152681a58589b195555525160ba1b6064820152608490fd5b9091506020813d602011610b6f575b81610b5f60209383610f79565b810103126102135751903861093b565b3d9150610b52565b503461022f578060031936011261022f5760cb546040516001600160a01b039091168152602090f35b503461022f57602036600319011261022f57610bba610f63565b610bf37f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166108b630821415611052565b610bfb611135565b6020604051610c0a8282610f79565b83815281810190601f1983013683377f4910fdfa16fed3260ed0e7147f7cc6da11a60208b5b9406d12a635614ffd91435460ff1615610c4f5750505061026c90611236565b6040516352d1902d60e01b8152939492936001600160a01b038616908581600481855afa859181610e9a575b50610cdc5760405162461bcd60e51b815260048101879052602e60248201527f45524331393637557067726164653a206e657720696d706c656d656e7461746960448201526d6f6e206973206e6f74205555505360901b6064820152608490fd5b9394937fc9f76b5ec45e5cdef99837d7b6d2467235c1df8933c8ca56df5c35afa2c7d44401610e4357610d0e86611236565b604051907fbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b8680a2815115801590610e3c575b610d4f575b50505050905080f35b853b15610deb57509280948192610dd89551915af43d15610de3573d90610d7582610fb1565b91610d836040519384610f79565b82523d858484013e5b7f416464726573733a206c6f772d6c6576656c2064656c65676174652063616c6c60405193610dbc606086610f79565b60278552840152660819985a5b195960ca1b60408401526112cf565b508038808080610d46565b606090610d8c565b62461bcd60e51b815260048101849052602660248201527f416464726573733a2064656c65676174652063616c6c20746f206e6f6e2d636f6044820152651b9d1c9858dd60d21b6064820152608490fd5b5084610d41565b60405162461bcd60e51b815260048101859052602960248201527f45524331393637557067726164653a20756e737570706f727465642070726f786044820152681a58589b195555525160ba1b6064820152608490fd5b9091508681813d8311610ec6575b610eb28183610f79565b81010312610ec257519038610c7b565b8580fd5b503d610ea8565b503461022f578060031936011261022f5760ca546040516001600160a01b039091168152602090f35b503461022f57602036600319011261022f5760ff6040602092600435815260c984522054166040519015158152f35b503461022f578060031936011261022f57602060ce54604051908152f35b905034610f5f5781600319360112610f5f5760209060cd548152f35b5080fd5b600435906001600160a01b038216820361021757565b90601f8019910116810190811067ffffffffffffffff821117610f9b57604052565b634e487b7160e01b600052604160045260246000fd5b67ffffffffffffffff8111610f9b57601f01601f191660200190565b9181601f840112156102175782359167ffffffffffffffff8311610217576020838186019501011161021757565b906060600319830112610217576004359160243567ffffffffffffffff8111610217578161102b91600401610fcd565b929092916044359067ffffffffffffffff82116102175761104e91600401610fcd565b9091565b1561105957565b60405162461bcd60e51b815260206004820152602c60248201527f46756e6374696f6e206d7573742062652063616c6c6564207468726f7567682060448201526b19195b1959d85d1958d85b1b60a21b6064820152608490fd5b156110ba57565b60405162461bcd60e51b815260206004820152602c60248201527f46756e6374696f6e206d7573742062652063616c6c6564207468726f7567682060448201526b6163746976652070726f787960a01b6064820152608490fd5b908060209392818452848401376000828201840152601f01601f1916010190565b6033546001600160a01b0316330361114957565b606460405162461bcd60e51b815260206004820152602060248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152fd5b603380546001600160a01b039283166001600160a01b0319821681179092559091167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0600080a3565b156111dd57565b60405162461bcd60e51b815260206004820152602b60248201527f496e697469616c697a61626c653a20636f6e7472616374206973206e6f74206960448201526a6e697469616c697a696e6760a81b6064820152608490fd5b803b156112745760018060a01b03166001600160601b0360a01b60008051602061134783398151915254161760008051602061134783398151915255565b60405162461bcd60e51b815260206004820152602d60248201527f455243313936373a206e657720696d706c656d656e746174696f6e206973206e60448201526c1bdd08184818dbdb9d1c9858dd609a1b6064820152608490fd5b909190156112db575090565b8151156112eb5750805190602001fd5b6040519062461bcd60e51b8252602060048301528181519182602483015260005b83811061132e5750508160006044809484010152601f80199101168101030190fd5b6020828201810151604487840101528593500161130c56fe360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbca26469706673582212200c10e074ede3642914a30202c432bbaf4e253cea9352d8b0ba0a6c20647733e464736f6c634300081c0033","sourceMap":"580:5357:75:-:0;;;;;;;1332:4:22;1324:13;;5456::21;580:5357:75;;;;;;;;;;;;;;5527:30:21;5523:138;;-1:-1:-1;580:5357:75;;;;;;;;1324:13:22;580:5357:75;;;;;;;;;;;;;;;;5523:138:21;580:5357:75;;;;;;5456:13:21;580:5357:75;5622:28:21;580:5357:75;;;;;;5622:28:21;5523:138;;;580:5357:75;-1:-1:-1;;;580:5357:75;;;;;;;;;;;;;;;;;-1:-1:-1;;;580:5357:75;;;;;;;;;;","linkReferences":{}},"deployedBytecode":{"object":"0x608080604052600436101561001357600080fd5b600090813560e01c9081630751299c14610f435750806325c36fa514610f2557806327d3bc9a14610ef6578063294e3ccb14610ecd5780633659cfe614610ba05780634c46688c14610b775780634f1ef2861461080c57806352d1902d1461074857806354687ccf146105f5578063616af4f7146105cc578063715018a61461056f57806383501b21146105535780638da5cb5b1461052a5780639367a05a146105075780639fc0984b146104e4578063a52f681b146104a4578063f28c3e37146102c3578063f2fde38b146102325763f6e04ac4146100f257600080fd5b3461022f5761010036610ffb565b60cb54929493929091906001600160a01b0316330361021c5760208386810103126102175760ca548335958794916001600160a01b03169060fe198201610188575b85887ffe3e9e971000ab9c80c7e06aba2933aae5419d0e44693e3046913e9e58053f6260208a83855260c9825260408520600160ff19825416179055604051908152a280f35b60ce54823b15610213576101d787956101c5976040519889978896879663020a49e360e51b88526004880152606060248801526064870191611114565b84810360031901604486015291611114565b03915afa8015610208576101ef575b80808080610142565b816101f991610f79565b6102045782386101e6565b8280fd5b6040513d84823e3d90fd5b8680fd5b600080fd5b63921f325560e01b865233600452602486fd5b80fd5b503461022f57602036600319011261022f5761024c610f63565b610254611135565b6001600160a01b0381161561026f5761026c9061118d565b80f35b60405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b6064820152608490fd5b503461022f5760c036600319011261022f576102dd610f63565b6024356001600160a01b03811690819003610204576044356001600160a01b038116908190036104a0576064356001600160a01b038116929083900361049c57845460ff8160081c16159485809661048f575b8015610478575b1561041c5760ff1982166001178755610388918661040b575b5061036a60ff885460081c16610365816111d6565b6111d6565b6103733361118d565b61038360ff885460081c166111d6565b61118d565b6001600160601b0360a01b60cb54161760cb556001600160601b0360a01b60ca54161760ca556001600160601b0360a01b60cc54161760cc5560843560cd5560a43560ce556103d45780f35b61ff001981541681557f7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498602060405160018152a180f35b61ffff191661010117875538610350565b60405162461bcd60e51b815260206004820152602e60248201527f496e697469616c697a61626c653a20636f6e747261637420697320616c72656160448201526d191e481a5b9a5d1a585b1a5e995960921b6064820152608490fd5b50303b1580156103375750600160ff831614610337565b50600160ff831610610330565b8480fd5b8380fd5b503461022f57602036600319011261022f576104be610f63565b6104c6611135565b60018060a01b03166001600160601b0360a01b60cc54161760cc5580f35b503461022f57602036600319011261022f576104fe611135565b60043560ce5580f35b503461022f57602036600319011261022f57610521611135565b60043560cd5580f35b503461022f578060031936011261022f576033546040516001600160a01b039091168152602090f35b503461022f578060031936011261022f57602060405160ff8152f35b503461022f578060031936011261022f57610588611135565b603380546001600160a01b0319811690915581906001600160a01b03167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e08280a380f35b503461022f578060031936011261022f5760cc546040516001600160a01b039091168152602090f35b503461022f5761060436610ffb565b60cb549094939291906001600160a01b0316330361021c5790859160208187810103126102045760cc548135966001600160a01b039091169160fe19830161068d575b84887ffe3e9e971000ab9c80c7e06aba2933aae5419d0e44693e3046913e9e58053f6260208a83855260c9825260408520600160ff19825416179055604051908152a280f35b81859160209360405192839283378101838152039060025afa156102085782519360cd5492823b1561049c576106e2936040519687958694859463ab750e7560e01b8652606060048701526064860191611114565b916024840152604483015203915afa801561073d57610706575b8381808080610647565b836107357ffe3e9e971000ab9c80c7e06aba2933aae5419d0e44693e3046913e9e58053f629395602093610f79565b9391506106fc565b6040513d86823e3d90fd5b503461022f578060031936011261022f577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031630036107a15760206040516000805160206113478339815191528152f35b60405162461bcd60e51b815260206004820152603860248201527f555550535570677261646561626c653a206d757374206e6f742062652063616c60448201527f6c6564207468726f7567682064656c656761746563616c6c00000000000000006064820152608490fd5b50604036600319011261022f57610821610f63565b60243567ffffffffffffffff81116102045736602382011215610204578060040135908361084e83610fb1565b9161085c6040519384610f79565b8383526020830193366024828401011161020457806024602093018637830101526108d57f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166108b630821415611052565b600080516020611347833981519152546001600160a01b0316146110b3565b6108dd611135565b7f4910fdfa16fed3260ed0e7147f7cc6da11a60208b5b9406d12a635614ffd91435460ff161561091257505061026c90611236565b6040516352d1902d60e01b81526001600160a01b03841690602081600481855afa869181610b43575b5061099c5760405162461bcd60e51b815260206004820152602e60248201527f45524331393637557067726164653a206e657720696d706c656d656e7461746960448201526d6f6e206973206e6f74205555505360901b6064820152608490fd5b60008051602061134783398151915203610aec576109b984611236565b604051907fbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b8680a2815115801590610ae4575b6109f8575b5050505080f35b833b15610a935750610a82928492839251915af43d15610a8c573d610a1c81610fb1565b90610a2a6040519283610f79565b81523d84602083013e5b60405191610a43606084610f79565b602783527f416464726573733a206c6f772d6c6576656c2064656c65676174652063616c6c6020840152660819985a5b195960ca1b60408401526112cf565b50388080806109f1565b6060610a34565b62461bcd60e51b815260206004820152602660248201527f416464726573733a2064656c65676174652063616c6c20746f206e6f6e2d636f6044820152651b9d1c9858dd60d21b6064820152608490fd5b5060016109ec565b60405162461bcd60e51b815260206004820152602960248201527f45524331393637557067726164653a20756e737570706f727465642070726f786044820152681a58589b195555525160ba1b6064820152608490fd5b9091506020813d602011610b6f575b81610b5f60209383610f79565b810103126102135751903861093b565b3d9150610b52565b503461022f578060031936011261022f5760cb546040516001600160a01b039091168152602090f35b503461022f57602036600319011261022f57610bba610f63565b610bf37f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166108b630821415611052565b610bfb611135565b6020604051610c0a8282610f79565b83815281810190601f1983013683377f4910fdfa16fed3260ed0e7147f7cc6da11a60208b5b9406d12a635614ffd91435460ff1615610c4f5750505061026c90611236565b6040516352d1902d60e01b8152939492936001600160a01b038616908581600481855afa859181610e9a575b50610cdc5760405162461bcd60e51b815260048101879052602e60248201527f45524331393637557067726164653a206e657720696d706c656d656e7461746960448201526d6f6e206973206e6f74205555505360901b6064820152608490fd5b9394937fc9f76b5ec45e5cdef99837d7b6d2467235c1df8933c8ca56df5c35afa2c7d44401610e4357610d0e86611236565b604051907fbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b8680a2815115801590610e3c575b610d4f575b50505050905080f35b853b15610deb57509280948192610dd89551915af43d15610de3573d90610d7582610fb1565b91610d836040519384610f79565b82523d858484013e5b7f416464726573733a206c6f772d6c6576656c2064656c65676174652063616c6c60405193610dbc606086610f79565b60278552840152660819985a5b195960ca1b60408401526112cf565b508038808080610d46565b606090610d8c565b62461bcd60e51b815260048101849052602660248201527f416464726573733a2064656c65676174652063616c6c20746f206e6f6e2d636f6044820152651b9d1c9858dd60d21b6064820152608490fd5b5084610d41565b60405162461bcd60e51b815260048101859052602960248201527f45524331393637557067726164653a20756e737570706f727465642070726f786044820152681a58589b195555525160ba1b6064820152608490fd5b9091508681813d8311610ec6575b610eb28183610f79565b81010312610ec257519038610c7b565b8580fd5b503d610ea8565b503461022f578060031936011261022f5760ca546040516001600160a01b039091168152602090f35b503461022f57602036600319011261022f5760ff6040602092600435815260c984522054166040519015158152f35b503461022f578060031936011261022f57602060ce54604051908152f35b905034610f5f5781600319360112610f5f5760209060cd548152f35b5080fd5b600435906001600160a01b038216820361021757565b90601f8019910116810190811067ffffffffffffffff821117610f9b57604052565b634e487b7160e01b600052604160045260246000fd5b67ffffffffffffffff8111610f9b57601f01601f191660200190565b9181601f840112156102175782359167ffffffffffffffff8311610217576020838186019501011161021757565b906060600319830112610217576004359160243567ffffffffffffffff8111610217578161102b91600401610fcd565b929092916044359067ffffffffffffffff82116102175761104e91600401610fcd565b9091565b1561105957565b60405162461bcd60e51b815260206004820152602c60248201527f46756e6374696f6e206d7573742062652063616c6c6564207468726f7567682060448201526b19195b1959d85d1958d85b1b60a21b6064820152608490fd5b156110ba57565b60405162461bcd60e51b815260206004820152602c60248201527f46756e6374696f6e206d7573742062652063616c6c6564207468726f7567682060448201526b6163746976652070726f787960a01b6064820152608490fd5b908060209392818452848401376000828201840152601f01601f1916010190565b6033546001600160a01b0316330361114957565b606460405162461bcd60e51b815260206004820152602060248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152fd5b603380546001600160a01b039283166001600160a01b0319821681179092559091167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0600080a3565b156111dd57565b60405162461bcd60e51b815260206004820152602b60248201527f496e697469616c697a61626c653a20636f6e7472616374206973206e6f74206960448201526a6e697469616c697a696e6760a81b6064820152608490fd5b803b156112745760018060a01b03166001600160601b0360a01b60008051602061134783398151915254161760008051602061134783398151915255565b60405162461bcd60e51b815260206004820152602d60248201527f455243313936373a206e657720696d706c656d656e746174696f6e206973206e60448201526c1bdd08184818dbdb9d1c9858dd609a1b6064820152608490fd5b909190156112db575090565b8151156112eb5750805190602001fd5b6040519062461bcd60e51b8252602060048301528181519182602483015260005b83811061132e5750508160006044809484010152601f80199101168101030190fd5b6020828201810151604487840101528593500161130c56fe360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbca26469706673582212200c10e074ede3642914a30202c432bbaf4e253cea9352d8b0ba0a6c20647733e464736f6c634300081c0033","sourceMap":"580:5357:75:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;4876:24;580:5357;;;;;;;;-1:-1:-1;;;;;580:5357:75;4862:10;:38;4858:109;;580:5357;3234:38;;;;580:5357;;;;4453:18;580:5357;;;;;;;-1:-1:-1;;;;;580:5357:75;;-1:-1:-1;;4453:43:75;;3358:162;;580:5357;;;3580:54;580:5357;;;;;3530:16;580:5357;;;;;3561:4;580:5357;;;;;;;;;;;;;3580:54;580:5357;;3358:162;3450:26;580:5357;3405:104;;;;;580:5357;;;;;;;;;;;;;;;;;3405:104;;580:5357;3405:104;;580:5357;;;;;;;;;;;:::i;:::-;;;;-1:-1:-1;;580:5357:75;;;;;;;:::i;:::-;3405:104;;;;;;;;;;3358:162;;;;;;;3405:104;;;;;:::i;:::-;580:5357;;3405:104;;;;580:5357;;;;3405:104;580:5357;;;;;;;;;3405:104;580:5357;;;;-1:-1:-1;580:5357:75;;4858:109;-1:-1:-1;;;4923:33:75;;4862:10;580:5357;;;4923:33;;580:5357;;;;;;;;;;-1:-1:-1;;580:5357:75;;;;;;:::i;:::-;1303:62:17;;:::i;:::-;-1:-1:-1;;;;;580:5357:75;;2409:22:17;580:5357:75;;2503:8:17;;;:::i;:::-;580:5357:75;;;;;-1:-1:-1;;;580:5357:75;;;;;;;;;;;;;;;;;-1:-1:-1;;;580:5357:75;;;;;;;;;;;;;;-1:-1:-1;;580:5357:75;;;;;;:::i;:::-;;;-1:-1:-1;;;;;580:5357:75;;;;;;;;;;-1:-1:-1;;;;;580:5357:75;;;;;;;;;;-1:-1:-1;;;;;580:5357:75;;;;;;;;;;;;;;;;3133:14:21;;;;3179:34;;;580:5357:75;3178:108:21;;;;580:5357:75;;;;-1:-1:-1;;580:5357:75;;;;;;2718:8;;580:5357;3394:65:21;;580:5357:75;;4902:69:21;580:5357:75;;;;;;4902:69:21;;;:::i;:::-;;:::i;:::-;1195:12:17;929:10:25;1195:12:17;:::i;:::-;4902:69:21;580:5357:75;;;;;;4902:69:21;:::i;:::-;2718:8:75;:::i;:::-;-1:-1:-1;;;;;580:5357:75;;2737:52;580:5357;;;2737:52;580:5357;-1:-1:-1;;;;;580:5357:75;;2799:40;580:5357;;;2799:40;580:5357;-1:-1:-1;;;;;580:5357:75;;2849:44;580:5357;;;2849:44;580:5357;;;2903:62;580:5357;;;2975:56;580:5357;3479:99:21;;580:5357:75;;3479:99:21;580:5357:75;;;;;;;3553:14:21;580:5357:75;;;;;;3553:14:21;580:5357:75;;3394:65:21;-1:-1:-1;;580:5357:75;;;;;3394:65:21;;;580:5357:75;;;-1:-1:-1;;;580:5357:75;;;;;;;;;;;;;;;;;-1:-1:-1;;;580:5357:75;;;;;;;3178:108:21;3258:4;;1476:19:24;:23;3219:66:21;;3178:108;3219:66;580:5357:75;;;;;3268:17:21;3178:108;;3179:34;580:5357:75;;;;;3197:16:21;3179:34;;580:5357:75;;;;;;;;;;;;;;;-1:-1:-1;;580:5357:75;;;;;;:::i;:::-;1303:62:17;;:::i;:::-;580:5357:75;;;;;;-1:-1:-1;;;;;580:5357:75;;5232:44;580:5357;;;5232:44;580:5357;;;;;;;;;;-1:-1:-1;;580:5357:75;;;;1303:62:17;;:::i;:::-;580:5357:75;;5872:56;580:5357;;;;;;;;;;-1:-1:-1;;580:5357:75;;;;1303:62:17;;:::i;:::-;580:5357:75;;5550:62;580:5357;;;;;;;;;;;;;;;;1513:6:17;580:5357:75;;;-1:-1:-1;;;;;580:5357:75;;;;;;;;;;;;;;;;;;;;;;;;1850:4;580:5357;;;;;;;;;;;;;;;;1303:62:17;;:::i;:::-;2765:6;580:5357:75;;-1:-1:-1;;;;;;580:5357:75;;;;;;;-1:-1:-1;;;;;580:5357:75;2813:40:17;580:5357:75;;2813:40:17;580:5357:75;;;;;;;;;;;;;;;1616:35;580:5357;;;-1:-1:-1;;;;;580:5357:75;;;;;;;;;;;;;;;;:::i;:::-;4876:24;580:5357;;;;;;;-1:-1:-1;;;;;580:5357:75;4862:10;:38;4858:109;;3844:40;;;580:5357;3844:40;;;;580:5357;;;;4594:20;580:5357;;;;-1:-1:-1;;;;;580:5357:75;;;;-1:-1:-1;;4594:45:75;;3970:273;;580:5357;;;4303:54;580:5357;;;;;4253:16;580:5357;;;;;4284:4;580:5357;;;;;;;;;;;;;4303:54;580:5357;;3970:273;580:5357;;;4048:25;580:5357;;;;;;;;;;;;;4048:25;;;;;;;;;;580:5357;4169:29;580:5357;4087:145;;;;;;580:5357;;;;;;;;;;;;;;4087:145;;580:5357;;4087:145;;580:5357;;;;;;:::i;:::-;;;;;;;;;;4087:145;;;;;;;;;;3970:273;;;;;;;;4087:145;;;4303:54;4087:145;;580:5357;4087:145;;:::i;:::-;;;;;;;580:5357;;;;;;;;;;;;;;;;;;;;;;2333:6:22;-1:-1:-1;;;;;580:5357:75;2324:4:22;2316:23;580:5357:75;;;;;-1:-1:-1;;;;;;;;;;;580:5357:75;;;;;;-1:-1:-1;;;580:5357:75;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;580:5357:75;;-1:-1:-1;;580:5357:75;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;1963:87:22;1898:6;-1:-1:-1;;;;;580:5357:75;1873:80:22;1889:4;1881:23;;;1873:80;:::i;:::-;-1:-1:-1;;;;;;;;;;;580:5357:75;-1:-1:-1;;;;;580:5357:75;1971:30:22;1963:87;:::i;:::-;1303:62:17;;:::i;:::-;951:66:19;;580:5357:75;;;;;3478:17:19;;;;;:::i;3380:526::-;580:5357:75;;-1:-1:-1;;;3531:63:19;;-1:-1:-1;;;;;580:5357:75;;;;;;;;3531:63:19;;;;;;;3380:526;-1:-1:-1;3527:302:19;;580:5357:75;;-1:-1:-1;;;3758:56:19;;580:5357:75;;3758:56:19;;951:66;;580:5357:75;951:66:19;;580:5357:75;951:66:19;580:5357:75;;;951:66:19;-1:-1:-1;;;951:66:19;;;;3758:56;;;3527:302;-1:-1:-1;;;;;;;;;;;3644:28:19;951:66;;2277:17;;;:::i;:::-;580:5357:75;;2310:27:19;;;;;580:5357:75;;2659:15:19;;;:28;;;3527:302;2655:105;;3527:302;3380:526;;;;580:5357:75;;2655:105:19;1476:19:24;;:23;580:5357:75;;7395:25:19;7437:99;7395:25;;;;;;;;;580:5357:75;;;;;;;;:::i;:::-;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;-1:-1:-1;;;580:5357:75;;;;7437:99:19;:::i;:::-;;2655:105;;;;;;580:5357:75;;;;;-1:-1:-1;;;580:5357:75;;;;;;;;;;;;;;;;;-1:-1:-1;;;580:5357:75;;;;;;;2659:28:19;;3971:4:22;2659:28:19;;951:66;580:5357:75;;-1:-1:-1;;;951:66:19;;580:5357:75;;951:66:19;;;;580:5357:75;951:66:19;;580:5357:75;951:66:19;580:5357:75;;;951:66:19;-1:-1:-1;;;951:66:19;;;;;;;3531:63;;;;580:5357:75;3531:63:19;;580:5357:75;3531:63:19;;;;;;580:5357:75;3531:63:19;;;:::i;:::-;;;951:66;;;;;3531:63;;;;;;;-1:-1:-1;3531:63:19;;580:5357:75;;;;;;;;;;;;;1371:39;580:5357;;;-1:-1:-1;;;;;580:5357:75;;;;;;;;;;;;;;;-1:-1:-1;;580:5357:75;;;;;;:::i;:::-;1963:87:22;1898:6;-1:-1:-1;;;;;580:5357:75;1873:80:22;1889:4;1881:23;;;1873:80;:::i;1963:87::-;1303:62:17;;:::i;:::-;580:5357:75;;;;;;;:::i;:::-;;;;;;;;-1:-1:-1;;580:5357:75;;;;;951:66:19;;580:5357:75;;;;;3478:17:19;;;;;;:::i;3380:526::-;580:5357:75;;-1:-1:-1;;;3531:63:19;;580:5357:75;;;;-1:-1:-1;;;;;580:5357:75;;;;;;;;3531:63:19;;;;;;;3380:526;-1:-1:-1;3527:302:19;;580:5357:75;;-1:-1:-1;;;3758:56:19;;580:5357:75;3758:56:19;;951:66;;;;;;;580:5357:75;951:66:19;580:5357:75;;;951:66:19;-1:-1:-1;;;951:66:19;;;;3758:56;;;3527:302;3644:28;;;;;951:66;;2277:17;;;:::i;:::-;580:5357:75;;2310:27:19;;;;;580:5357:75;;2659:15:19;;;:28;;;3527:302;2655:105;;3527:302;3380:526;;;;;;580:5357:75;;2655:105:19;1476:19:24;;:23;580:5357:75;;7395:25:19;;;;;;7437:99;7395:25;;;;;580:5357:75;;;;;;;;;:::i;:::-;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;-1:-1:-1;;;580:5357:75;;;;7437:99:19;:::i;:::-;;2655:105;;;;;;;580:5357:75;;;;;;-1:-1:-1;;;580:5357:75;;;;;;;;;;;;;;;;;;-1:-1:-1;;;580:5357:75;;;;;;;2659:28:19;;;;;951:66;580:5357:75;;-1:-1:-1;;;951:66:19;;580:5357:75;951:66:19;;;;;;;;;580:5357:75;951:66:19;580:5357:75;;;951:66:19;-1:-1:-1;;;951:66:19;;;;;;;3531:63;;;;;;;;;;;;;;;;;:::i;:::-;;;951:66;;;;;3531:63;;;;951:66;580:5357:75;;;3531:63:19;;;;;580:5357:75;;;;;;;;;;;;;1244:33;580:5357;;;-1:-1:-1;;;;;580:5357:75;;;;;;;;;;;;;;;-1:-1:-1;;580:5357:75;;;;;;;;;;;;806:48;580:5357;;;;;;;;;;;;;;;;;;;;;;;;;;;2239:41;580:5357;;;;;;;;;;;;;;;;;;;;;;;2032:44;580:5357;;;;;;;;;;;;-1:-1:-1;;;;;580:5357:75;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;-1:-1:-1;580:5357:75;;;;;-1:-1:-1;580:5357:75;;;;;;;;;-1:-1:-1;;580:5357:75;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;-1:-1:-1;;580:5357:75;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;:::o;:::-;;;-1:-1:-1;;;580:5357:75;;;;;;;;;;;;;;;;;-1:-1:-1;;;580:5357:75;;;;;;;;;;;:::o;:::-;;;-1:-1:-1;;;580:5357:75;;;;;;;;;;;;;;;;;-1:-1:-1;;;580:5357:75;;;;;;;;;;;;;;;;;;;;-1:-1:-1;580:5357:75;;;;;;;;-1:-1:-1;;580:5357:75;;;;:::o;1599:130:17:-;1513:6;580:5357:75;-1:-1:-1;;;;;580:5357:75;929:10:25;1662:23:17;580:5357:75;;1599:130:17:o;580:5357:75:-;;;;951:66:19;;;580:5357:75;;;;;;;;;;;;;;;;;;2673:187:17;2765:6;580:5357:75;;-1:-1:-1;;;;;580:5357:75;;;-1:-1:-1;;;;;;580:5357:75;;;;;;;;;;2813:40:17;-1:-1:-1;;2813:40:17;2673:187::o;580:5357:75:-;;;;:::o;:::-;;;-1:-1:-1;;;580:5357:75;;;;;;;;;;;;;;;;;-1:-1:-1;;;580:5357:75;;;;;;;1805:281:19;1476:19:24;;:23;580:5357:75;;;;;;;;-1:-1:-1;;;;;580:5357:75;;-1:-1:-1;;;;;;;;;;;580:5357:75;;;-1:-1:-1;;;;;;;;;;;580:5357:75;1805:281:19:o;580:5357:75:-;;;-1:-1:-1;;;580:5357:75;;;;;;;;;;;;;;;;;-1:-1:-1;;;580:5357:75;;;;;;;6622:742:24;;;;6792:566;;;6819:17;;:::o;6792:566::-;580:5357:75;;6937:21:24;:17;;7121:154;;;;;;;6933:415;580:5357:75;;951:66:19;;;;7313:20:24;;580:5357:75;7313:20:24;;;580:5357:75;;;;;;;;;;6957:1:24;580:5357:75;;;;;;;;;6957:1:24;580:5357:75;;;;;;;;;;;;;;;7313:20:24;;;;580:5357:75;;;;;;;;;;;;;;;;-1:-1:-1;580:5357:75;;","linkReferences":{},"immutableReferences":{"4221":[{"start":1883,"length":32},{"start":2178,"length":32},{"start":3007,"length":32}]}},"methodIdentifiers":{"VERIFIER_MOCK_ADDRESS()":"83501b21","aggregatedProofs(bytes32)":"27d3bc9a","alignedAggregatorAddress()":"4c46688c","initialize(address,address,address,address,bytes32,bytes32)":"f28c3e37","owner()":"8da5cb5b","proxiableUUID()":"52d1902d","renounceOwnership()":"715018a6","risc0AggregatorProgramImageId()":"0751299c","risc0VerifierAddress()":"616af4f7","setRisc0AggregatorProgramImageId(bytes32)":"9367a05a","setRisc0VerifierAddress(address)":"a52f681b","setSP1AggregatorProgramVKHash(bytes32)":"9fc0984b","sp1AggregatorProgramVKHash()":"25c36fa5","sp1VerifierAddress()":"294e3ccb","transferOwnership(address)":"f2fde38b","upgradeTo(address)":"3659cfe6","upgradeToAndCall(address,bytes)":"4f1ef286","verifyRisc0(bytes32,bytes,bytes)":"54687ccf","verifySP1(bytes32,bytes,bytes)":"f6e04ac4"},"rawMetadata":"{\"compiler\":{\"version\":\"0.8.28+commit.7893614a\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"inputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"constructor\"},{\"inputs\":[{\"internalType\":\"address\",\"name\":\"sender\",\"type\":\"address\"}],\"name\":\"OnlyAlignedAggregator\",\"type\":\"error\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":false,\"internalType\":\"address\",\"name\":\"previousAdmin\",\"type\":\"address\"},{\"indexed\":false,\"internalType\":\"address\",\"name\":\"newAdmin\",\"type\":\"address\"}],\"name\":\"AdminChanged\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":true,\"internalType\":\"bytes32\",\"name\":\"merkleRoot\",\"type\":\"bytes32\"},{\"indexed\":false,\"internalType\":\"bytes32\",\"name\":\"blobVersionedHash\",\"type\":\"bytes32\"}],\"name\":\"AggregatedProofVerified\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":true,\"internalType\":\"address\",\"name\":\"beacon\",\"type\":\"address\"}],\"name\":\"BeaconUpgraded\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":false,\"internalType\":\"uint8\",\"name\":\"version\",\"type\":\"uint8\"}],\"name\":\"Initialized\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":true,\"internalType\":\"address\",\"name\":\"previousOwner\",\"type\":\"address\"},{\"indexed\":true,\"internalType\":\"address\",\"name\":\"newOwner\",\"type\":\"address\"}],\"name\":\"OwnershipTransferred\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":true,\"internalType\":\"address\",\"name\":\"implementation\",\"type\":\"address\"}],\"name\":\"Upgraded\",\"type\":\"event\"},{\"inputs\":[],\"name\":\"VERIFIER_MOCK_ADDRESS\",\"outputs\":[{\"internalType\":\"address\",\"name\":\"\",\"type\":\"address\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"bytes32\",\"name\":\"\",\"type\":\"bytes32\"}],\"name\":\"aggregatedProofs\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"alignedAggregatorAddress\",\"outputs\":[{\"internalType\":\"address\",\"name\":\"\",\"type\":\"address\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address\",\"name\":\"newOwner\",\"type\":\"address\"},{\"internalType\":\"address\",\"name\":\"_alignedAggregatorAddress\",\"type\":\"address\"},{\"internalType\":\"address\",\"name\":\"_sp1VerifierAddress\",\"type\":\"address\"},{\"internalType\":\"address\",\"name\":\"_risc0VerifierAddress\",\"type\":\"address\"},{\"internalType\":\"bytes32\",\"name\":\"_risc0AggregatorProgramImageId\",\"type\":\"bytes32\"},{\"internalType\":\"bytes32\",\"name\":\"_sp1AggregatorProgramVKHash\",\"type\":\"bytes32\"}],\"name\":\"initialize\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"owner\",\"outputs\":[{\"internalType\":\"address\",\"name\":\"\",\"type\":\"address\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"proxiableUUID\",\"outputs\":[{\"internalType\":\"bytes32\",\"name\":\"\",\"type\":\"bytes32\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"renounceOwnership\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"risc0AggregatorProgramImageId\",\"outputs\":[{\"internalType\":\"bytes32\",\"name\":\"\",\"type\":\"bytes32\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"risc0VerifierAddress\",\"outputs\":[{\"internalType\":\"address\",\"name\":\"\",\"type\":\"address\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"bytes32\",\"name\":\"_risc0AggregatorProgramImageId\",\"type\":\"bytes32\"}],\"name\":\"setRisc0AggregatorProgramImageId\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address\",\"name\":\"_risc0VerifierAddress\",\"type\":\"address\"}],\"name\":\"setRisc0VerifierAddress\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"bytes32\",\"name\":\"_sp1AggregatorProgramVKHash\",\"type\":\"bytes32\"}],\"name\":\"setSP1AggregatorProgramVKHash\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"sp1AggregatorProgramVKHash\",\"outputs\":[{\"internalType\":\"bytes32\",\"name\":\"\",\"type\":\"bytes32\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"sp1VerifierAddress\",\"outputs\":[{\"internalType\":\"address\",\"name\":\"\",\"type\":\"address\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address\",\"name\":\"newOwner\",\"type\":\"address\"}],\"name\":\"transferOwnership\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address\",\"name\":\"newImplementation\",\"type\":\"address\"}],\"name\":\"upgradeTo\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address\",\"name\":\"newImplementation\",\"type\":\"address\"},{\"internalType\":\"bytes\",\"name\":\"data\",\"type\":\"bytes\"}],\"name\":\"upgradeToAndCall\",\"outputs\":[],\"stateMutability\":\"payable\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"bytes32\",\"name\":\"blobVersionedHash\",\"type\":\"bytes32\"},{\"internalType\":\"bytes\",\"name\":\"risc0ReceiptSeal\",\"type\":\"bytes\"},{\"internalType\":\"bytes\",\"name\":\"risc0JournalBytes\",\"type\":\"bytes\"}],\"name\":\"verifyRisc0\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"bytes32\",\"name\":\"blobVersionedHash\",\"type\":\"bytes32\"},{\"internalType\":\"bytes\",\"name\":\"sp1PublicValues\",\"type\":\"bytes\"},{\"internalType\":\"bytes\",\"name\":\"sp1ProofBytes\",\"type\":\"bytes\"}],\"name\":\"verifySP1\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"}],\"devdoc\":{\"events\":{\"AdminChanged(address,address)\":{\"details\":\"Emitted when the admin account has changed.\"},\"BeaconUpgraded(address)\":{\"details\":\"Emitted when the beacon is upgraded.\"},\"Initialized(uint8)\":{\"details\":\"Triggered when the contract has been initialized or reinitialized.\"},\"Upgraded(address)\":{\"details\":\"Emitted when the implementation is upgraded.\"}},\"kind\":\"dev\",\"methods\":{\"owner()\":{\"details\":\"Returns the address of the current owner.\"},\"proxiableUUID()\":{\"details\":\"Implementation of the ERC1822 {proxiableUUID} function. This returns the storage slot used by the implementation. It is used to validate that the this implementation remains valid after an upgrade. IMPORTANT: A proxy pointing at a proxiable contract should not be considered proxiable itself, because this risks bricking a proxy that upgrades to it, by delegating to itself until out of gas. Thus it is critical that this function revert if invoked through a proxy. This is guaranteed by the `notDelegated` modifier.\"},\"renounceOwnership()\":{\"details\":\"Leaves the contract without owner. It will not be possible to call `onlyOwner` functions anymore. Can only be called by the current owner. NOTE: Renouncing ownership will leave the contract without an owner, thereby removing any functionality that is only available to the owner.\"},\"setRisc0AggregatorProgramImageId(bytes32)\":{\"params\":{\"_risc0AggregatorProgramImageId\":\"The new imageid for the Risc0 aggregator program\"}},\"setRisc0VerifierAddress(address)\":{\"params\":{\"_risc0VerifierAddress\":\"The new address for the Risc0 verifier contract\"}},\"setSP1AggregatorProgramVKHash(bytes32)\":{\"params\":{\"_sp1AggregatorProgramVKHash\":\"The new vk hash for the sp1 aggregator program\"}},\"transferOwnership(address)\":{\"details\":\"Transfers ownership of the contract to a new account (`newOwner`). Can only be called by the current owner.\"},\"upgradeTo(address)\":{\"details\":\"Upgrade the implementation of the proxy to `newImplementation`. Calls {_authorizeUpgrade}. Emits an {Upgraded} event.\"},\"upgradeToAndCall(address,bytes)\":{\"details\":\"Upgrade the implementation of the proxy to `newImplementation`, and subsequently execute the function call encoded in `data`. Calls {_authorizeUpgrade}. Emits an {Upgraded} event.\"},\"verifySP1(bytes32,bytes,bytes)\":{\"details\":\"This function is called by the aligned proof aggregator after collecting the proofs and aggregating them to be verified on-chain. We expect the blobTransactionHash to be called before\",\"params\":{\"blobVersionedHash\":\"the versioned hash of the blob transaction that contains the leaves that compose the merkle root.\",\"sp1ProofBytes\":\"Groth16 proof\",\"sp1PublicValues\":\"Values used to perform the execution\"}}},\"stateVariables\":{\"risc0VerifierAddress\":{\"details\":\"See supported verifier here: https://dev.risczero.com/api/blockchain-integration/contracts/verifier#contract-addresses\"},\"sp1VerifierAddress\":{\"details\":\"This can either be a specific SP1Verifier for a specific version, or the      SP1VerifierGateway which can be used to verify proofs for any version of SP1.      For the list of supported verifiers on each chain, see:      https://docs.succinct.xyz/onchain-verification/contract-addresses\"}},\"version\":1},\"userdoc\":{\"events\":{\"AggregatedProofVerified(bytes32,bytes32)\":{\"notice\":\"event that gets emitted after a successful aggregated proof verification\"}},\"kind\":\"user\",\"methods\":{\"VERIFIER_MOCK_ADDRESS()\":{\"notice\":\"whether we are in dev mode or not if the sp1 verifier address is set to this address, then we skip verification\"},\"aggregatedProofs(bytes32)\":{\"notice\":\"Map the merkle root to a boolean to indicate it was verified\"},\"alignedAggregatorAddress()\":{\"notice\":\"The address of the Wallet that is allowed to call the verify function.\"},\"risc0AggregatorProgramImageId()\":{\"notice\":\"The unique identifier (image ID) of the RISC Zero aggregator program. This ensures that only proofs generated by a trusted Risc0 program can be verified.\"},\"risc0VerifierAddress()\":{\"notice\":\"The address of the Risc0 verifier contract\"},\"setRisc0AggregatorProgramImageId(bytes32)\":{\"notice\":\"Sets the image id of the Risc0 program\"},\"setRisc0VerifierAddress(address)\":{\"notice\":\"Sets the address of the Risc0 verifier contract\"},\"setSP1AggregatorProgramVKHash(bytes32)\":{\"notice\":\"Sets the vk hash of the sp1 program\"},\"sp1AggregatorProgramVKHash()\":{\"notice\":\"The verification key hash for the SP1 aggregator program. This ensures that only proofs generated by a trusted SP1 program can be verified.\"},\"sp1VerifierAddress()\":{\"notice\":\"The address of the SP1 verifier contract.\"},\"verifySP1(bytes32,bytes,bytes)\":{\"notice\":\"Method to verify an aggregated proof from aligned\"}},\"version\":1}},\"settings\":{\"compilationTarget\":{\"src/core/AlignedProofAggregationService.sol\":\"AlignedProofAggregationService\"},\"evmVersion\":\"paris\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":true,\"runs\":200},\"remappings\":[\":@openzeppelin-upgrades-v4.9.0/=lib/eigenlayer-middleware/lib/eigenlayer-contracts/lib/openzeppelin-contracts-upgradeable-v4.9.0/\",\":@openzeppelin-upgrades/contracts/=lib/eigenlayer-middleware/lib/openzeppelin-contracts-upgradeable/contracts/\",\":@openzeppelin-v4.9.0/=lib/eigenlayer-middleware/lib/eigenlayer-contracts/lib/openzeppelin-contracts-v4.9.0/\",\":@openzeppelin/contracts-upgradeable/=lib/openzeppelin-contracts-upgradeable/contracts/\",\":@openzeppelin/contracts/=lib/eigenlayer-middleware/lib/openzeppelin-contracts/contracts/\",\":@risc0-contracts/=lib/risc0-ethereum/contracts/src/\",\":@sp1-contracts/=lib/sp1-contracts/contracts/src/\",\":ds-test/=lib/eigenlayer-middleware/lib/ds-test/src/\",\":eigenlayer-contracts/=lib/eigenlayer-middleware/lib/eigenlayer-contracts/\",\":eigenlayer-core-contracts/=lib/eigenlayer-middleware/lib/eigenlayer-contracts/src/contracts/core/\",\":eigenlayer-core/=lib/eigenlayer-middleware/lib/eigenlayer-contracts/src/\",\":eigenlayer-middleware/=lib/eigenlayer-middleware/src/\",\":eigenlayer-scripts/=lib/eigenlayer-middleware/lib/eigenlayer-contracts/script/\",\":erc4626-tests/=lib/openzeppelin-contracts-upgradeable/lib/erc4626-tests/\",\":forge-std/=lib/forge-std/src/\",\":halmos-cheatcodes/=lib/risc0-ethereum/lib/openzeppelin-contracts/lib/halmos-cheatcodes/src/\",\":openzeppelin-contracts-upgradeable-v4.9.0/=lib/eigenlayer-middleware/lib/eigenlayer-contracts/lib/openzeppelin-contracts-upgradeable-v4.9.0/\",\":openzeppelin-contracts-upgradeable/=lib/openzeppelin-contracts-upgradeable/\",\":openzeppelin-contracts-v4.9.0/=lib/eigenlayer-middleware/lib/eigenlayer-contracts/lib/openzeppelin-contracts-v4.9.0/\",\":openzeppelin-contracts/=lib/openzeppelin-contracts/\",\":openzeppelin/=lib/risc0-ethereum/lib/openzeppelin-contracts/\",\":risc0-ethereum/=lib/risc0-ethereum/\",\":sp1-contracts/=lib/sp1-contracts/contracts/\"],\"viaIR\":true},\"sources\":{\"lib/eigenlayer-middleware/lib/openzeppelin-contracts-upgradeable/contracts/access/OwnableUpgradeable.sol\":{\"keccak256\":\"0x247c62047745915c0af6b955470a72d1696ebad4352d7d3011aef1a2463cd888\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://d7fc8396619de513c96b6e00301b88dd790e83542aab918425633a5f7297a15a\",\"dweb:/ipfs/QmXbP4kiZyp7guuS7xe8KaybnwkRPGrBc2Kbi3vhcTfpxb\"]},\"lib/eigenlayer-middleware/lib/openzeppelin-contracts-upgradeable/contracts/interfaces/draft-IERC1822Upgradeable.sol\":{\"keccak256\":\"0x77c89f893e403efc6929ba842b7ccf6534d4ffe03afe31670b4a528c0ad78c0f\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://496bd9b3df2455d571018c09f0c6badd29713fdeb907c6aa09d8d28cb603f053\",\"dweb:/ipfs/QmXdJDyYs6WMwMh21dez2BYPxhSUaUYFMDtVNcn2cgFR79\"]},\"lib/eigenlayer-middleware/lib/openzeppelin-contracts-upgradeable/contracts/proxy/ERC1967/ERC1967UpgradeUpgradeable.sol\":{\"keccak256\":\"0x315887e846f1e5f8d8fa535a229d318bb9290aaa69485117f1ee8a9a6b3be823\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://29dda00da6d269685b555e710e4abf1c3eb6d00c15b888a7880a2f8dd3c4fdc2\",\"dweb:/ipfs/QmSqcjtdECygtT1Gy7uEo42x8542srpgGEeKKHfcnQqXgn\"]},\"lib/eigenlayer-middleware/lib/openzeppelin-contracts-upgradeable/contracts/proxy/beacon/IBeaconUpgradeable.sol\":{\"keccak256\":\"0x24b86ac8c005b8c654fbf6ac34a5a4f61580d7273541e83e013e89d66fbf0908\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://4dbfe1a3b3b3fb64294ce41fd2ad362e7b7012208117864f42c1a67620a6d5c1\",\"dweb:/ipfs/QmVMU5tWt7zBQMmf5cpMX8UMHV86T3kFeTxBTBjFqVWfoJ\"]},\"lib/eigenlayer-middleware/lib/openzeppelin-contracts-upgradeable/contracts/proxy/utils/Initializable.sol\":{\"keccak256\":\"0x0203dcadc5737d9ef2c211d6fa15d18ebc3b30dfa51903b64870b01a062b0b4e\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://6eb2fd1e9894dbe778f4b8131adecebe570689e63cf892f4e21257bfe1252497\",\"dweb:/ipfs/QmXgUGNfZvrn6N2miv3nooSs7Jm34A41qz94fu2GtDFcx8\"]},\"lib/eigenlayer-middleware/lib/openzeppelin-contracts-upgradeable/contracts/proxy/utils/UUPSUpgradeable.sol\":{\"keccak256\":\"0x6e36e9b4b71de699c2f3f0d4e4d1aa0b35da99a26e8d5b91ef09ba234b4ef270\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://abfa467c53a0d60b4d09bf04aa952b1d1d44e5766fcc053aace078d7859b8419\",\"dweb:/ipfs/QmebVTZpyNxYfKYTuLMywzEJTdc1Ca8ME4xm3kR9gQgToG\"]},\"lib/eigenlayer-middleware/lib/openzeppelin-contracts-upgradeable/contracts/utils/AddressUpgradeable.sol\":{\"keccak256\":\"0x611aa3f23e59cfdd1863c536776407b3e33d695152a266fa7cfb34440a29a8a3\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://9b4b2110b7f2b3eb32951bc08046fa90feccffa594e1176cb91cdfb0e94726b4\",\"dweb:/ipfs/QmSxLwYjicf9zWFuieRc8WQwE4FisA1Um5jp1iSa731TGt\"]},\"lib/eigenlayer-middleware/lib/openzeppelin-contracts-upgradeable/contracts/utils/ContextUpgradeable.sol\":{\"keccak256\":\"0x963ea7f0b48b032eef72fe3a7582edf78408d6f834115b9feadd673a4d5bd149\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://d6520943ea55fdf5f0bafb39ed909f64de17051bc954ff3e88c9e5621412c79c\",\"dweb:/ipfs/QmWZ4rAKTQbNG2HxGs46AcTXShsVytKeLs7CUCdCSv5N7a\"]},\"lib/eigenlayer-middleware/lib/openzeppelin-contracts-upgradeable/contracts/utils/StorageSlotUpgradeable.sol\":{\"keccak256\":\"0x09864aea84f01e39313375b5610c73a3c1c68abbdc51e5ccdd25ff977fdadf9a\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://aedb48081190fa828d243529ce25c708202c7d4ccfe99f0e4ecd6bc0cfcd03f3\",\"dweb:/ipfs/QmWyiDQHPZA56iqsAwTmiJoxvNeRQLUVr4gTfzpdpXivpo\"]},\"lib/risc0-ethereum/contracts/src/IRiscZeroVerifier.sol\":{\"keccak256\":\"0x3e74a4b2940b88837fb8399a0012b435d1d513a622d3ea3ba58088af9ad7e2fd\",\"license\":\"Apache-2.0\",\"urls\":[\"bzz-raw://b06299cc68e3c79e4eb22705bb814ce816a7fd549e78614b318ae44d35e56f9b\",\"dweb:/ipfs/QmPpX5ciRdEH6MVRVt7qYQqy7B68qxG5v3mxkgYm3kGxi5\"]},\"lib/risc0-ethereum/contracts/src/Util.sol\":{\"keccak256\":\"0x230a9a58bb2b0c68d4921ecc3672783f941890a2fa3a238dbe5188cfb7658b82\",\"license\":\"Apache-2.0\",\"urls\":[\"bzz-raw://586cb5296c564761609ca8aaae5b1fbbdb19ab1e174f7197f602572d9e82b70c\",\"dweb:/ipfs/QmWxDmucSfg3Wgdk1rVcheDHwkziTsXWvKpKSCnxtpQBqg\"]},\"lib/sp1-contracts/contracts/src/ISP1Verifier.sol\":{\"keccak256\":\"0x9e3ba64860bea920772dcf16be7946de2a2900d80bd51e9c0771184138f4f4d3\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://0ec7230ca1fdd74edc6ab597d80bb345282aed3f0db4788ed96b4cc373ff46a3\",\"dweb:/ipfs/QmXPuSS5gzxMhFKWr1gsxBVu6WHh53ZZEvWkGgzrkM6Y7Q\"]},\"src/core/AlignedProofAggregationService.sol\":{\"keccak256\":\"0x973d8e128f3c6ca1127a628aec9d1e39acb509bc9e81f11543dec4df42d52491\",\"license\":\"UNLICENSED\",\"urls\":[\"bzz-raw://68ab9656b6a456bbee6980f24f971ccb1d60763ebe29bad0408b5fdbf0aec880\",\"dweb:/ipfs/Qme8HwQB7fkDgnLq6f1G3bzAsJRvDygx9zjKEGCux7awP4\"]},\"src/core/IAlignedProofAggregationService.sol\":{\"keccak256\":\"0x9518c78426c492425fcc84e989cf5598a7db76561d09ba1ad22153e651236e16\",\"urls\":[\"bzz-raw://c5df5a05af7ff81519a9d60b9eaeaa84ff5f511e1f18afc954d30371a3864807\",\"dweb:/ipfs/QmXbQAC6Y4vQ99We1maf9H9YwefH2AC3LrzoZn32wBNB3g\"]}},\"version\":1}","metadata":{"compiler":{"version":"0.8.28+commit.7893614a"},"language":"Solidity","output":{"abi":[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[{"internalType":"address","name":"sender","type":"address"}],"type":"error","name":"OnlyAlignedAggregator"},{"inputs":[{"internalType":"address","name":"previousAdmin","type":"address","indexed":false},{"internalType":"address","name":"newAdmin","type":"address","indexed":false}],"type":"event","name":"AdminChanged","anonymous":false},{"inputs":[{"internalType":"bytes32","name":"merkleRoot","type":"bytes32","indexed":true},{"internalType":"bytes32","name":"blobVersionedHash","type":"bytes32","indexed":false}],"type":"event","name":"AggregatedProofVerified","anonymous":false},{"inputs":[{"internalType":"address","name":"beacon","type":"address","indexed":true}],"type":"event","name":"BeaconUpgraded","anonymous":false},{"inputs":[{"internalType":"uint8","name":"version","type":"uint8","indexed":false}],"type":"event","name":"Initialized","anonymous":false},{"inputs":[{"internalType":"address","name":"previousOwner","type":"address","indexed":true},{"internalType":"address","name":"newOwner","type":"address","indexed":true}],"type":"event","name":"OwnershipTransferred","anonymous":false},{"inputs":[{"internalType":"address","name":"implementation","type":"address","indexed":true}],"type":"event","name":"Upgraded","anonymous":false},{"inputs":[],"stateMutability":"view","type":"function","name":"VERIFIER_MOCK_ADDRESS","outputs":[{"internalType":"address","name":"","type":"address"}]},{"inputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function","name":"aggregatedProofs","outputs":[{"internalType":"bool","name":"","type":"bool"}]},{"inputs":[],"stateMutability":"view","type":"function","name":"alignedAggregatorAddress","outputs":[{"internalType":"address","name":"","type":"address"}]},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"},{"internalType":"address","name":"_alignedAggregatorAddress","type":"address"},{"internalType":"address","name":"_sp1VerifierAddress","type":"address"},{"internalType":"address","name":"_risc0VerifierAddress","type":"address"},{"internalType":"bytes32","name":"_risc0AggregatorProgramImageId","type":"bytes32"},{"internalType":"bytes32","name":"_sp1AggregatorProgramVKHash","type":"bytes32"}],"stateMutability":"nonpayable","type":"function","name":"initialize"},{"inputs":[],"stateMutability":"view","type":"function","name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}]},{"inputs":[],"stateMutability":"view","type":"function","name":"proxiableUUID","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}]},{"inputs":[],"stateMutability":"nonpayable","type":"function","name":"renounceOwnership"},{"inputs":[],"stateMutability":"view","type":"function","name":"risc0AggregatorProgramImageId","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}]},{"inputs":[],"stateMutability":"view","type":"function","name":"risc0VerifierAddress","outputs":[{"internalType":"address","name":"","type":"address"}]},{"inputs":[{"internalType":"bytes32","name":"_risc0AggregatorProgramImageId","type":"bytes32"}],"stateMutability":"nonpayable","type":"function","name":"setRisc0AggregatorProgramImageId"},{"inputs":[{"internalType":"address","name":"_risc0VerifierAddress","type":"address"}],"stateMutability":"nonpayable","type":"function","name":"setRisc0VerifierAddress"},{"inputs":[{"internalType":"bytes32","name":"_sp1AggregatorProgramVKHash","type":"bytes32"}],"stateMutability":"nonpayable","type":"function","name":"setSP1AggregatorProgramVKHash"},{"inputs":[],"stateMutability":"view","type":"function","name":"sp1AggregatorProgramVKHash","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}]},{"inputs":[],"stateMutability":"view","type":"function","name":"sp1VerifierAddress","outputs":[{"internalType":"address","name":"","type":"address"}]},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"stateMutability":"nonpayable","type":"function","name":"transferOwnership"},{"inputs":[{"internalType":"address","name":"newImplementation","type":"address"}],"stateMutability":"nonpayable","type":"function","name":"upgradeTo"},{"inputs":[{"internalType":"address","name":"newImplementation","type":"address"},{"internalType":"bytes","name":"data","type":"bytes"}],"stateMutability":"payable","type":"function","name":"upgradeToAndCall"},{"inputs":[{"internalType":"bytes32","name":"blobVersionedHash","type":"bytes32"},{"internalType":"bytes","name":"risc0ReceiptSeal","type":"bytes"},{"internalType":"bytes","name":"risc0JournalBytes","type":"bytes"}],"stateMutability":"nonpayable","type":"function","name":"verifyRisc0"},{"inputs":[{"internalType":"bytes32","name":"blobVersionedHash","type":"bytes32"},{"internalType":"bytes","name":"sp1PublicValues","type":"bytes"},{"internalType":"bytes","name":"sp1ProofBytes","type":"bytes"}],"stateMutability":"nonpayable","type":"function","name":"verifySP1"}],"devdoc":{"kind":"dev","methods":{"owner()":{"details":"Returns the address of the current owner."},"proxiableUUID()":{"details":"Implementation of the ERC1822 {proxiableUUID} function. This returns the storage slot used by the implementation. It is used to validate that the this implementation remains valid after an upgrade. IMPORTANT: A proxy pointing at a proxiable contract should not be considered proxiable itself, because this risks bricking a proxy that upgrades to it, by delegating to itself until out of gas. Thus it is critical that this function revert if invoked through a proxy. This is guaranteed by the `notDelegated` modifier."},"renounceOwnership()":{"details":"Leaves the contract without owner. It will not be possible to call `onlyOwner` functions anymore. Can only be called by the current owner. NOTE: Renouncing ownership will leave the contract without an owner, thereby removing any functionality that is only available to the owner."},"setRisc0AggregatorProgramImageId(bytes32)":{"params":{"_risc0AggregatorProgramImageId":"The new imageid for the Risc0 aggregator program"}},"setRisc0VerifierAddress(address)":{"params":{"_risc0VerifierAddress":"The new address for the Risc0 verifier contract"}},"setSP1AggregatorProgramVKHash(bytes32)":{"params":{"_sp1AggregatorProgramVKHash":"The new vk hash for the sp1 aggregator program"}},"transferOwnership(address)":{"details":"Transfers ownership of the contract to a new account (`newOwner`). Can only be called by the current owner."},"upgradeTo(address)":{"details":"Upgrade the implementation of the proxy to `newImplementation`. Calls {_authorizeUpgrade}. Emits an {Upgraded} event."},"upgradeToAndCall(address,bytes)":{"details":"Upgrade the implementation of the proxy to `newImplementation`, and subsequently execute the function call encoded in `data`. Calls {_authorizeUpgrade}. Emits an {Upgraded} event."},"verifySP1(bytes32,bytes,bytes)":{"details":"This function is called by the aligned proof aggregator after collecting the proofs and aggregating them to be verified on-chain. We expect the blobTransactionHash to be called before","params":{"blobVersionedHash":"the versioned hash of the blob transaction that contains the leaves that compose the merkle root.","sp1ProofBytes":"Groth16 proof","sp1PublicValues":"Values used to perform the execution"}}},"version":1},"userdoc":{"kind":"user","methods":{"VERIFIER_MOCK_ADDRESS()":{"notice":"whether we are in dev mode or not if the sp1 verifier address is set to this address, then we skip verification"},"aggregatedProofs(bytes32)":{"notice":"Map the merkle root to a boolean to indicate it was verified"},"alignedAggregatorAddress()":{"notice":"The address of the Wallet that is allowed to call the verify function."},"risc0AggregatorProgramImageId()":{"notice":"The unique identifier (image ID) of the RISC Zero aggregator program. This ensures that only proofs generated by a trusted Risc0 program can be verified."},"risc0VerifierAddress()":{"notice":"The address of the Risc0 verifier contract"},"setRisc0AggregatorProgramImageId(bytes32)":{"notice":"Sets the image id of the Risc0 program"},"setRisc0VerifierAddress(address)":{"notice":"Sets the address of the Risc0 verifier contract"},"setSP1AggregatorProgramVKHash(bytes32)":{"notice":"Sets the vk hash of the sp1 program"},"sp1AggregatorProgramVKHash()":{"notice":"The verification key hash for the SP1 aggregator program. This ensures that only proofs generated by a trusted SP1 program can be verified."},"sp1VerifierAddress()":{"notice":"The address of the SP1 verifier contract."},"verifySP1(bytes32,bytes,bytes)":{"notice":"Method to verify an aggregated proof from aligned"}},"version":1}},"settings":{"remappings":["@openzeppelin-upgrades-v4.9.0/=lib/eigenlayer-middleware/lib/eigenlayer-contracts/lib/openzeppelin-contracts-upgradeable-v4.9.0/","@openzeppelin-upgrades/contracts/=lib/eigenlayer-middleware/lib/openzeppelin-contracts-upgradeable/contracts/","@openzeppelin-v4.9.0/=lib/eigenlayer-middleware/lib/eigenlayer-contracts/lib/openzeppelin-contracts-v4.9.0/","@openzeppelin/contracts-upgradeable/=lib/openzeppelin-contracts-upgradeable/contracts/","@openzeppelin/contracts/=lib/eigenlayer-middleware/lib/openzeppelin-contracts/contracts/","@risc0-contracts/=lib/risc0-ethereum/contracts/src/","@sp1-contracts/=lib/sp1-contracts/contracts/src/","ds-test/=lib/eigenlayer-middleware/lib/ds-test/src/","eigenlayer-contracts/=lib/eigenlayer-middleware/lib/eigenlayer-contracts/","eigenlayer-core-contracts/=lib/eigenlayer-middleware/lib/eigenlayer-contracts/src/contracts/core/","eigenlayer-core/=lib/eigenlayer-middleware/lib/eigenlayer-contracts/src/","eigenlayer-middleware/=lib/eigenlayer-middleware/src/","eigenlayer-scripts/=lib/eigenlayer-middleware/lib/eigenlayer-contracts/script/","erc4626-tests/=lib/openzeppelin-contracts-upgradeable/lib/erc4626-tests/","forge-std/=lib/forge-std/src/","halmos-cheatcodes/=lib/risc0-ethereum/lib/openzeppelin-contracts/lib/halmos-cheatcodes/src/","openzeppelin-contracts-upgradeable-v4.9.0/=lib/eigenlayer-middleware/lib/eigenlayer-contracts/lib/openzeppelin-contracts-upgradeable-v4.9.0/","openzeppelin-contracts-upgradeable/=lib/openzeppelin-contracts-upgradeable/","openzeppelin-contracts-v4.9.0/=lib/eigenlayer-middleware/lib/eigenlayer-contracts/lib/openzeppelin-contracts-v4.9.0/","openzeppelin-contracts/=lib/openzeppelin-contracts/","openzeppelin/=lib/risc0-ethereum/lib/openzeppelin-contracts/","risc0-ethereum/=lib/risc0-ethereum/","sp1-contracts/=lib/sp1-contracts/contracts/"],"optimizer":{"enabled":true,"runs":200},"metadata":{"bytecodeHash":"ipfs"},"compilationTarget":{"src/core/AlignedProofAggregationService.sol":"AlignedProofAggregationService"},"evmVersion":"paris","libraries":{},"viaIR":true},"sources":{"lib/eigenlayer-middleware/lib/openzeppelin-contracts-upgradeable/contracts/access/OwnableUpgradeable.sol":{"keccak256":"0x247c62047745915c0af6b955470a72d1696ebad4352d7d3011aef1a2463cd888","urls":["bzz-raw://d7fc8396619de513c96b6e00301b88dd790e83542aab918425633a5f7297a15a","dweb:/ipfs/QmXbP4kiZyp7guuS7xe8KaybnwkRPGrBc2Kbi3vhcTfpxb"],"license":"MIT"},"lib/eigenlayer-middleware/lib/openzeppelin-contracts-upgradeable/contracts/interfaces/draft-IERC1822Upgradeable.sol":{"keccak256":"0x77c89f893e403efc6929ba842b7ccf6534d4ffe03afe31670b4a528c0ad78c0f","urls":["bzz-raw://496bd9b3df2455d571018c09f0c6badd29713fdeb907c6aa09d8d28cb603f053","dweb:/ipfs/QmXdJDyYs6WMwMh21dez2BYPxhSUaUYFMDtVNcn2cgFR79"],"license":"MIT"},"lib/eigenlayer-middleware/lib/openzeppelin-contracts-upgradeable/contracts/proxy/ERC1967/ERC1967UpgradeUpgradeable.sol":{"keccak256":"0x315887e846f1e5f8d8fa535a229d318bb9290aaa69485117f1ee8a9a6b3be823","urls":["bzz-raw://29dda00da6d269685b555e710e4abf1c3eb6d00c15b888a7880a2f8dd3c4fdc2","dweb:/ipfs/QmSqcjtdECygtT1Gy7uEo42x8542srpgGEeKKHfcnQqXgn"],"license":"MIT"},"lib/eigenlayer-middleware/lib/openzeppelin-contracts-upgradeable/contracts/proxy/beacon/IBeaconUpgradeable.sol":{"keccak256":"0x24b86ac8c005b8c654fbf6ac34a5a4f61580d7273541e83e013e89d66fbf0908","urls":["bzz-raw://4dbfe1a3b3b3fb64294ce41fd2ad362e7b7012208117864f42c1a67620a6d5c1","dweb:/ipfs/QmVMU5tWt7zBQMmf5cpMX8UMHV86T3kFeTxBTBjFqVWfoJ"],"license":"MIT"},"lib/eigenlayer-middleware/lib/openzeppelin-contracts-upgradeable/contracts/proxy/utils/Initializable.sol":{"keccak256":"0x0203dcadc5737d9ef2c211d6fa15d18ebc3b30dfa51903b64870b01a062b0b4e","urls":["bzz-raw://6eb2fd1e9894dbe778f4b8131adecebe570689e63cf892f4e21257bfe1252497","dweb:/ipfs/QmXgUGNfZvrn6N2miv3nooSs7Jm34A41qz94fu2GtDFcx8"],"license":"MIT"},"lib/eigenlayer-middleware/lib/openzeppelin-contracts-upgradeable/contracts/proxy/utils/UUPSUpgradeable.sol":{"keccak256":"0x6e36e9b4b71de699c2f3f0d4e4d1aa0b35da99a26e8d5b91ef09ba234b4ef270","urls":["bzz-raw://abfa467c53a0d60b4d09bf04aa952b1d1d44e5766fcc053aace078d7859b8419","dweb:/ipfs/QmebVTZpyNxYfKYTuLMywzEJTdc1Ca8ME4xm3kR9gQgToG"],"license":"MIT"},"lib/eigenlayer-middleware/lib/openzeppelin-contracts-upgradeable/contracts/utils/AddressUpgradeable.sol":{"keccak256":"0x611aa3f23e59cfdd1863c536776407b3e33d695152a266fa7cfb34440a29a8a3","urls":["bzz-raw://9b4b2110b7f2b3eb32951bc08046fa90feccffa594e1176cb91cdfb0e94726b4","dweb:/ipfs/QmSxLwYjicf9zWFuieRc8WQwE4FisA1Um5jp1iSa731TGt"],"license":"MIT"},"lib/eigenlayer-middleware/lib/openzeppelin-contracts-upgradeable/contracts/utils/ContextUpgradeable.sol":{"keccak256":"0x963ea7f0b48b032eef72fe3a7582edf78408d6f834115b9feadd673a4d5bd149","urls":["bzz-raw://d6520943ea55fdf5f0bafb39ed909f64de17051bc954ff3e88c9e5621412c79c","dweb:/ipfs/QmWZ4rAKTQbNG2HxGs46AcTXShsVytKeLs7CUCdCSv5N7a"],"license":"MIT"},"lib/eigenlayer-middleware/lib/openzeppelin-contracts-upgradeable/contracts/utils/StorageSlotUpgradeable.sol":{"keccak256":"0x09864aea84f01e39313375b5610c73a3c1c68abbdc51e5ccdd25ff977fdadf9a","urls":["bzz-raw://aedb48081190fa828d243529ce25c708202c7d4ccfe99f0e4ecd6bc0cfcd03f3","dweb:/ipfs/QmWyiDQHPZA56iqsAwTmiJoxvNeRQLUVr4gTfzpdpXivpo"],"license":"MIT"},"lib/risc0-ethereum/contracts/src/IRiscZeroVerifier.sol":{"keccak256":"0x3e74a4b2940b88837fb8399a0012b435d1d513a622d3ea3ba58088af9ad7e2fd","urls":["bzz-raw://b06299cc68e3c79e4eb22705bb814ce816a7fd549e78614b318ae44d35e56f9b","dweb:/ipfs/QmPpX5ciRdEH6MVRVt7qYQqy7B68qxG5v3mxkgYm3kGxi5"],"license":"Apache-2.0"},"lib/risc0-ethereum/contracts/src/Util.sol":{"keccak256":"0x230a9a58bb2b0c68d4921ecc3672783f941890a2fa3a238dbe5188cfb7658b82","urls":["bzz-raw://586cb5296c564761609ca8aaae5b1fbbdb19ab1e174f7197f602572d9e82b70c","dweb:/ipfs/QmWxDmucSfg3Wgdk1rVcheDHwkziTsXWvKpKSCnxtpQBqg"],"license":"Apache-2.0"},"lib/sp1-contracts/contracts/src/ISP1Verifier.sol":{"keccak256":"0x9e3ba64860bea920772dcf16be7946de2a2900d80bd51e9c0771184138f4f4d3","urls":["bzz-raw://0ec7230ca1fdd74edc6ab597d80bb345282aed3f0db4788ed96b4cc373ff46a3","dweb:/ipfs/QmXPuSS5gzxMhFKWr1gsxBVu6WHh53ZZEvWkGgzrkM6Y7Q"],"license":"MIT"},"src/core/AlignedProofAggregationService.sol":{"keccak256":"0x973d8e128f3c6ca1127a628aec9d1e39acb509bc9e81f11543dec4df42d52491","urls":["bzz-raw://68ab9656b6a456bbee6980f24f971ccb1d60763ebe29bad0408b5fdbf0aec880","dweb:/ipfs/Qme8HwQB7fkDgnLq6f1G3bzAsJRvDygx9zjKEGCux7awP4"],"license":"UNLICENSED"},"src/core/IAlignedProofAggregationService.sol":{"keccak256":"0x9518c78426c492425fcc84e989cf5598a7db76561d09ba1ad22153e651236e16","urls":["bzz-raw://c5df5a05af7ff81519a9d60b9eaeaa84ff5f511e1f18afc954d30371a3864807","dweb:/ipfs/QmXbQAC6Y4vQ99We1maf9H9YwefH2AC3LrzoZn32wBNB3g"],"license":null}},"version":1},"id":75}