Loading contract data...

0xA85a52CE6b71cAAC335512699df3c91223956C17 on Arbitrum Sepolia Testnet (421614)

PRIONInvariants

0xA85a52CE6b71cAAC335512699df3c91223956C17Etherscan Blockscout

on Arbitrum Sepolia Testnet (421614)

Match

Runtime Bytecode

Creation Bytecode

Contract

Name: PRIONInvariants
Main file: contracts/security/PRIONInvariants.sol
Files: 1
Lines: 374
Verified: 2026-05-07 (6 months ago)

Compilation

Language: Solidity
Compiler: solc 0.8.34 +80d5c536
EVM version: prague
Optimizer: On, 200 runs

Read/Write Contract on:

ABI

Expand to view

Loading contract data...

Source Code

View on Remix IDE

Compiler Settings

Loading contract data...

Metadata.json

What's metadata?

Creation Bytecode

Annotated On-chain Bytecode

On-chain Bytecode

Recompiled Bytecode

Opcodes

0x60a03461008d57601f610ee038819003918201601f19168301916001600160401b038311848410176100915780849260209460405283398101031261008d57516001600160a01b03811680820361008d571561007e57608052604051610e3a90816100a682396080518181816102c10152818161059501526106560152f35b63d92e233d60e01b5f5260045ffd5b5f80fd5b634e487b7160e01b5f52604160045260245ffdfe60806040526004361015610011575f80fd5b5f3560e01c8063096eefbc146103e65780631552842214610809578063205057e2146107265780632210e29d1461070b57806322bfcf14146106d1578063242a179a146106325780632a712d17146105f857806338f62eee146105c45780634967f5dc146104755780635aa6e675146105805780635ab33df214610546578063633e052e1461052a5780636b05b815146104df57806370b85177146104b057806378641dad14610495578063794114341461047a57806381ba46a51461047557806391e1bb7f1461047557806395b83cff1461043b57806396b94dd8146104015780639d1bee2d146103e65780639ef794ac146103ac578063a9b9dea914610372578063b1bd605c14610293578063b80e8ce61461024b578063c23cb91314610230578063d18fa915146101f6578063ede65ade146101db578063ede93d4c146101a15763f08f7ad814610163575f80fd5b3461019d575f36600319011261019d5760206040517fd70e402535f7552e9f5b099b1fa7e10b9d1ab44280f9328e648ab47dc5c5a1a08152f35b5f80fd5b3461019d575f36600319011261019d5760206040517f5cedf5d8245c68868639d61e4f651fc16ac4830dbc2ed3df52659297f60d13a58152f35b3461019d575f36600319011261019d57602060405160048152f35b3461019d575f36600319011261019d5760206040517f04b65d8009f7ab6157e8fc36c126cf7aafc39df4770ac751d66c770e9e39bc4a8152f35b3461019d575f36600319011261019d57602060405160028152f35b3461019d57604036600319011261019d57610264610871565b6004355f525f60205260405f209060018060a01b03165f52602052602060ff60405f2054166040519015158152f35b3461019d57606036600319011261019d576004356102af610871565b90604435918215159081840361019d577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03163303610363576001600160a01b0316928315610354577fc44d548cd66032d6af3278d01e8e03156a1393fc26e4fe6af27cb2d72b3d9f109161034b602092855f525f845260405f20875f52845260405f209060ff801983541691151516179055565b604051908152a3005b63d92e233d60e01b5f5260045ffd5b6354348f0360e01b5f5260045ffd5b3461019d575f36600319011261019d5760206040517f603a46a6ede91b68e4ae82110fc6947e0607847cc1316d05e61fd27b1676c40f8152f35b3461019d575f36600319011261019d5760206040517faecd320ffd13efbe623eb691372b72c1a1310f28de83106eda6ddd01c666fdce8152f35b3461019d575f36600319011261019d57602060405160038152f35b3461019d575f36600319011261019d5760206040517f7167aba940187b275078e36e26fd3647ffb47d77cfdcd8f1793c0a63c87c7a5f8152f35b3461019d575f36600319011261019d5760206040517fd5937084039320987246230f3a9c42e6f10b669844ba6d114626a569ec8850428152f35b6103e6565b3461019d575f36600319011261019d576020604051605a8152f35b3461019d575f36600319011261019d57602060405160648152f35b3461019d57602036600319011261019d576004355f526001602052602060ff60405f2054166040519015158152f35b3461019d576104f96104f036610887565b93929092610967565b901561050157005b60405163015cf55b60e31b8152602060048201529081906105269060248301906108d3565b0390fd5b3461019d575f36600319011261019d5760206040516101008152f35b3461019d575f36600319011261019d5760206040517fc509a891fbcc8939db123348457671d2af456be32c2fb5c341c350ecae9c25ec8152f35b3461019d575f36600319011261019d576040517f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03168152602090f35b3461019d576105d56104f036610887565b906105f4604051928392151583526040602084015260408301906108d3565b0390f35b3461019d575f36600319011261019d5760206040517f260f54ed0c7aae6c13ff4640d2c9e05132ac9684868fbf6d373a206adaa3dfce8152f35b3461019d57604036600319011261019d576004356024358015159081810361019d577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03163303610363577f43758bb937bac383101579966731b4d226513cff210851963ca8e6b1516bfa58916106c8602092855f526001845260405f209060ff801983541691151516179055565b604051908152a2005b3461019d575f36600319011261019d5760206040517fea5043bdde699ab69684b9693e45e30c383171e64495bae9e1000083b6c9b4368152f35b3461019d575f36600319011261019d57602060405160438152f35b3461019d5760a036600319011261019d5760043560243567ffffffffffffffff811161019d5761075a903690600401610843565b9091906064356001600160a01b038116810361019d5760843593841515850361019d5761078b926044359185610967565b90156105015750816107f1575b5061079f57005b60405163015cf55b60e31b815260206004820152602360248201527f454d455247454e43595f4e4f545f414c4c4f5745445f464f525f50415443485460448201526259504560e81b6064820152608490fd5b90505f52600160205260ff60405f2054161581610798565b3461019d575f36600319011261019d5760206040517f259b35cc7f745715cb579aaa2d0df5ef6dc87cbeb6dddb3a40ab4c9b887a393b8152f35b9181601f8401121561019d5782359167ffffffffffffffff831161019d576020838186019501011161019d57565b602435906001600160a01b038216820361019d57565b90608060031983011261019d57600435916024359067ffffffffffffffff821161019d576108b791600401610843565b9091604435906064356001600160a01b038116810361019d5790565b805180835260209291819084018484015e5f828201840152601f01601f1916010190565b604051906060820182811067ffffffffffffffff8211176109535760405260298252682074696d656c696e6560b81b6040837f5052494f4e2063616e6e6f74206d6f6469667920666f756e646572207665746f60208201520152565b634e487b7160e01b5f52604160045260245ffd5b925050507fea5043bdde699ab69684b9693e45e30c383171e64495bae9e1000083b6c9b4368114610dec577f260f54ed0c7aae6c13ff4640d2c9e05132ac9684868fbf6d373a206adaa3dfce8114610d8d577fd5937084039320987246230f3a9c42e6f10b669844ba6d114626a569ec8850428114610d2f577f04b65d8009f7ab6157e8fc36c126cf7aafc39df4770ac751d66c770e9e39bc4a8114610d20577fd70e402535f7552e9f5b099b1fa7e10b9d1ab44280f9328e648ab47dc5c5a1a08114610d20577fc509a891fbcc8939db123348457671d2af456be32c2fb5c341c350ecae9c25ec8114610ca1577faecd320ffd13efbe623eb691372b72c1a1310f28de83106eda6ddd01c666fdce8114610c2d577f603a46a6ede91b68e4ae82110fc6947e0607847cc1316d05e61fd27b1676c40f81148015610c04575b8015610bdb575b8015610bb2575b610b065750505f906040516040810181811067ffffffffffffffff82111761095357604052601f81527f5052494f4e2070617463682074797065206e6f74207265636f676e6973656400602082015290565b5f525f60205260405f209060018060a01b03165f5260205260ff60405f20541615610b51576001906040516020810181811067ffffffffffffffff821117610953576040525f815290565b5f906040516060810181811067ffffffffffffffff82111761095357604052602c81527f5052494f4e20746172676574206e6f7420696e20676f7665726e616e63652d7360208201526b195d08185b1b1bdddb1a5cdd60a21b604082015290565b507f259b35cc7f745715cb579aaa2d0df5ef6dc87cbeb6dddb3a40ab4c9b887a393b8114610ab4565b507f7167aba940187b275078e36e26fd3647ffb47d77cfdcd8f1793c0a63c87c7a5f8114610aad565b507f5cedf5d8245c68868639d61e4f651fc16ac4830dbc2ed3df52659297f60d13a58114610aa6565b50505f906040516060810181811067ffffffffffffffff82111761095357604052603d81527f5052494f4e205368616d6972207468726573686f6c642070617463686573206860208201527f6172642d64656e6965642028636f6e66696720696d6d757461626c6529000000604082015290565b50505f906040516080810181811067ffffffffffffffff82111761095357604052604281527f5052494f4e2073656e74696e656c207468726573686f6c64207061746368657360208201527f20686172642d64656e6965642028636f6d6d697474656520696d6d757461626c604082015261652960f01b606082015290565b50505f90610d2c6108f7565b90565b50505f906040516060810181811067ffffffffffffffff82111761095357604052602781527f5052494f4e2063616e6e6f74206772616e7420697473656c66206e657720617560208201526674686f7269747960c81b604082015290565b50505f906040516060810181811067ffffffffffffffff82111761095357604052602881527f5052494f4e2063616e6e6f74207265706c61636520696e76617269616e74732060208201526718dbdb9d1c9858dd60c21b604082015290565b50505f906040516040810181811067ffffffffffffffff82111761095357604052602081527f5052494f4e2063616e6e6f742064697361626c65206b696c6c2073776974636860208201529056constructorArguments000000000000000000000000739379d2361b0a818ffade10b10ee395496e5161

Show Annotations:TransformationsFunction, error and event signatures

Loading contract data...

Runtime Bytecode

Annotated On-chain Bytecode

On-chain Bytecode

Recompiled Bytecode

Opcodes

0x60806040526004361015610011575f80fd5b5f3560e01c8063096eefbc146103e65780631552842214610809578063205057e2146107265780632210e29d1461070b57806322bfcf14146106d1578063242a179a146106325780632a712d17146105f857806338f62eee146105c45780634967f5dc146104755780635aa6e675146105805780635ab33df214610546578063633e052e1461052a5780636b05b815146104df57806370b85177146104b057806378641dad14610495578063794114341461047a57806381ba46a51461047557806391e1bb7f1461047557806395b83cff1461043b57806396b94dd8146104015780639d1bee2d146103e65780639ef794ac146103ac578063a9b9dea914610372578063b1bd605c14610293578063b80e8ce61461024b578063c23cb91314610230578063d18fa915146101f6578063ede65ade146101db578063ede93d4c146101a15763f08f7ad814610163575f80fd5b3461019d575f36600319011261019d5760206040517fd70e402535f7552e9f5b099b1fa7e10b9d1ab44280f9328e648ab47dc5c5a1a08152f35b5f80fd5b3461019d575f36600319011261019d5760206040517f5cedf5d8245c68868639d61e4f651fc16ac4830dbc2ed3df52659297f60d13a58152f35b3461019d575f36600319011261019d57602060405160048152f35b3461019d575f36600319011261019d5760206040517f04b65d8009f7ab6157e8fc36c126cf7aafc39df4770ac751d66c770e9e39bc4a8152f35b3461019d575f36600319011261019d57602060405160028152f35b3461019d57604036600319011261019d57610264610871565b6004355f525f60205260405f209060018060a01b03165f52602052602060ff60405f2054166040519015158152f35b3461019d57606036600319011261019d576004356102af610871565b90604435918215159081840361019d577fimmutable000000000000000000000000739379d2361b0a818ffade10b10ee395496e51616001600160a01b03163303610363576001600160a01b0316928315610354577fc44d548cd66032d6af3278d01e8e03156a1393fc26e4fe6af27cb2d72b3d9f109161034b602092855f525f845260405f20875f52845260405f209060ff801983541691151516179055565b604051908152a3005b63d92e233d60e01b5f5260045ffd5b6354348f0360e01b5f5260045ffd5b3461019d575f36600319011261019d5760206040517f603a46a6ede91b68e4ae82110fc6947e0607847cc1316d05e61fd27b1676c40f8152f35b3461019d575f36600319011261019d5760206040517faecd320ffd13efbe623eb691372b72c1a1310f28de83106eda6ddd01c666fdce8152f35b3461019d575f36600319011261019d57602060405160038152f35b3461019d575f36600319011261019d5760206040517f7167aba940187b275078e36e26fd3647ffb47d77cfdcd8f1793c0a63c87c7a5f8152f35b3461019d575f36600319011261019d5760206040517fd5937084039320987246230f3a9c42e6f10b669844ba6d114626a569ec8850428152f35b6103e6565b3461019d575f36600319011261019d576020604051605a8152f35b3461019d575f36600319011261019d57602060405160648152f35b3461019d57602036600319011261019d576004355f526001602052602060ff60405f2054166040519015158152f35b3461019d576104f96104f036610887565b93929092610967565b901561050157005b60405163015cf55b60e31b8152602060048201529081906105269060248301906108d3565b0390fd5b3461019d575f36600319011261019d5760206040516101008152f35b3461019d575f36600319011261019d5760206040517fc509a891fbcc8939db123348457671d2af456be32c2fb5c341c350ecae9c25ec8152f35b3461019d575f36600319011261019d576040517fimmutable000000000000000000000000739379d2361b0a818ffade10b10ee395496e51616001600160a01b03168152602090f35b3461019d576105d56104f036610887565b906105f4604051928392151583526040602084015260408301906108d3565b0390f35b3461019d575f36600319011261019d5760206040517f260f54ed0c7aae6c13ff4640d2c9e05132ac9684868fbf6d373a206adaa3dfce8152f35b3461019d57604036600319011261019d576004356024358015159081810361019d577fimmutable000000000000000000000000739379d2361b0a818ffade10b10ee395496e51616001600160a01b03163303610363577f43758bb937bac383101579966731b4d226513cff210851963ca8e6b1516bfa58916106c8602092855f526001845260405f209060ff801983541691151516179055565b604051908152a2005b3461019d575f36600319011261019d5760206040517fea5043bdde699ab69684b9693e45e30c383171e64495bae9e1000083b6c9b4368152f35b3461019d575f36600319011261019d57602060405160438152f35b3461019d5760a036600319011261019d5760043560243567ffffffffffffffff811161019d5761075a903690600401610843565b9091906064356001600160a01b038116810361019d5760843593841515850361019d5761078b926044359185610967565b90156105015750816107f1575b5061079f57005b60405163015cf55b60e31b815260206004820152602360248201527f454d455247454e43595f4e4f545f414c4c4f5745445f464f525f50415443485460448201526259504560e81b6064820152608490fd5b90505f52600160205260ff60405f2054161581610798565b3461019d575f36600319011261019d5760206040517f259b35cc7f745715cb579aaa2d0df5ef6dc87cbeb6dddb3a40ab4c9b887a393b8152f35b9181601f8401121561019d5782359167ffffffffffffffff831161019d576020838186019501011161019d57565b602435906001600160a01b038216820361019d57565b90608060031983011261019d57600435916024359067ffffffffffffffff821161019d576108b791600401610843565b9091604435906064356001600160a01b038116810361019d5790565b805180835260209291819084018484015e5f828201840152601f01601f1916010190565b604051906060820182811067ffffffffffffffff8211176109535760405260298252682074696d656c696e6560b81b6040837f5052494f4e2063616e6e6f74206d6f6469667920666f756e646572207665746f60208201520152565b634e487b7160e01b5f52604160045260245ffd5b925050507fea5043bdde699ab69684b9693e45e30c383171e64495bae9e1000083b6c9b4368114610dec577f260f54ed0c7aae6c13ff4640d2c9e05132ac9684868fbf6d373a206adaa3dfce8114610d8d577fd5937084039320987246230f3a9c42e6f10b669844ba6d114626a569ec8850428114610d2f577f04b65d8009f7ab6157e8fc36c126cf7aafc39df4770ac751d66c770e9e39bc4a8114610d20577fd70e402535f7552e9f5b099b1fa7e10b9d1ab44280f9328e648ab47dc5c5a1a08114610d20577fc509a891fbcc8939db123348457671d2af456be32c2fb5c341c350ecae9c25ec8114610ca1577faecd320ffd13efbe623eb691372b72c1a1310f28de83106eda6ddd01c666fdce8114610c2d577f603a46a6ede91b68e4ae82110fc6947e0607847cc1316d05e61fd27b1676c40f81148015610c04575b8015610bdb575b8015610bb2575b610b065750505f906040516040810181811067ffffffffffffffff82111761095357604052601f81527f5052494f4e2070617463682074797065206e6f74207265636f676e6973656400602082015290565b5f525f60205260405f209060018060a01b03165f5260205260ff60405f20541615610b51576001906040516020810181811067ffffffffffffffff821117610953576040525f815290565b5f906040516060810181811067ffffffffffffffff82111761095357604052602c81527f5052494f4e20746172676574206e6f7420696e20676f7665726e616e63652d7360208201526b195d08185b1b1bdddb1a5cdd60a21b604082015290565b507f259b35cc7f745715cb579aaa2d0df5ef6dc87cbeb6dddb3a40ab4c9b887a393b8114610ab4565b507f7167aba940187b275078e36e26fd3647ffb47d77cfdcd8f1793c0a63c87c7a5f8114610aad565b507f5cedf5d8245c68868639d61e4f651fc16ac4830dbc2ed3df52659297f60d13a58114610aa6565b50505f906040516060810181811067ffffffffffffffff82111761095357604052603d81527f5052494f4e205368616d6972207468726573686f6c642070617463686573206860208201527f6172642d64656e6965642028636f6e66696720696d6d757461626c6529000000604082015290565b50505f906040516080810181811067ffffffffffffffff82111761095357604052604281527f5052494f4e2073656e74696e656c207468726573686f6c64207061746368657360208201527f20686172642d64656e6965642028636f6d6d697474656520696d6d757461626c604082015261652960f01b606082015290565b50505f90610d2c6108f7565b90565b50505f906040516060810181811067ffffffffffffffff82111761095357604052602781527f5052494f4e2063616e6e6f74206772616e7420697473656c66206e657720617560208201526674686f7269747960c81b604082015290565b50505f906040516060810181811067ffffffffffffffff82111761095357604052602881527f5052494f4e2063616e6e6f74207265706c61636520696e76617269616e74732060208201526718dbdb9d1c9858dd60c21b604082015290565b50505f906040516040810181811067ffffffffffffffff82111761095357604052602081527f5052494f4e2063616e6e6f742064697361626c65206b696c6c2073776974636860208201529056

Show Annotations:TransformationsFunction, error and event signatures

Loading contract data...

Storage Layout

For non-default storage allocations (e.g. EIP-7201) check out

Slot	Offset	Bytes	Label	Type	Contract
0	0	32	_patchTargetAllowlist

Transient Storage Layout

No transient storage layouts found in the compiler output.

Standard JSON Input

This isn't the original compiler JSON data. Generated for compatibility.

Standard JSON Output

This isn't the original compiler JSON data. Generated for compatibility.

PRIONInvariants

Contract

Compilation

Read/Write Contract on:

ABI

Source Code

Compiler Settings

Metadata.json

Creation Bytecode

Runtime Bytecode

Storage Layout

Transient Storage Layout

Standard JSON Input

Standard JSON Output

ABI

Deployment

Transformations

Constructor Arguments

Transformations

Immutable Transformations

Constructor Arguments