ZKP Lab is not available on mobile.

Use a desktop browser to run the interactive experience and circuit board explorer.

Turn execution into verifiable signals.

Step through the path from transaction snapshot to verification.

Pre-brief

Snapshot

The flow needs a complete snapshot before it can reproduce execution.

InputpreviousState, transaction, blockInfo, contractCodes

OutputWaiting for action

Debrief

Run this step to see what changes and why it matters.

previousState

{
  "channelId": 4,
  "stateRoots": [
    "0x18e82505ad870e9d540efa8906fa6713e9c4906f02480b818e7621cbbe726b95",
    "0x32fe7eab871c48cbc0c5c1b6444be3d71bfba4056511b49dd0ceb179c8807bc6"
  ],
  "storageAddresses": [
    "0x67C6233A99D9f122Fef9DC111e89948107b34c2F",
    "0x9A6c9eb158269BBEd8885649F95aCEFA8AAfC3aA"
  ],
  "storageKeys": [
    [
      "0x3bb47baad8f4e795af1cfb350bc4c73617394738f94a5d8a8fddcc9f79aeda25",
      "0x2a00e8176c59f655aa5d95992a37cda4875c51955eaea6908af21bbf42b205c1"
    ],
    []
  ],
  "storageTrieRoots": [
    "0x475f2b8083c29e879b60c4d7324b726338d92140617437715ed14e0b17510395",
    "0x16a879c8e84b5f10aaca50c8973b0e21d3142cb62033d8b9631f8ec9a1c0e51e"
  ],
  "storageTrieDb": [
    [
      {
        "key": "0x475f2b8083c29e879b60c4d7324b726338d92140617437715ed14e0b17510395",
        "value": "0xf85180a03ff05aff9fcd6dbb31a37cc9c16c81ed5bece8f312c892fc40fbde9cf8160b2f808080a0392d1686083b5a8a46c1090a7d877a91568e9bc0776a26d4c76703a690b188078080808080808080808080"
      },
      {
        "key": "0x3ff05aff9fcd6dbb31a37cc9c16c81ed5bece8f312c892fc40fbde9cf8160b2f",
        "value": "0xe2a033511558a894a924e6f7e6a1881e1429919099a7b749008c326a7b8fca18387b01"
      },
      {
        "key": "0x392d1686083b5a8a46c1090a7d877a91568e9bc0776a26d4c76703a690b18807",
        "value": "0xe2a03eae3d1feb972b580a72130fce0db3c957117334e6fb099f0a83f051525fa39201"
      }
    ],
    []
  ]
}

transaction

{
  "nonce": 0,
  "to": "0x67c6233a99d9f122fef9dc111e89948107b34c2f",
  "data": "0x3f97509c0000000000000000000000005ed57de52bc869e17fee34c202d51b69013252f20000000000000000000000000000000000000000000000001bc16d674ec800000fed7718ee065843cf88071c1f21db0051c8027f627dd5249edc654f9a2b2cd8006021c81b41016e9c38063fb87b1279163fd71795f3e578b40311a570efcbab4bb251ad0fab6dbeba14422ec07f386369dac23a8392d4391abef1196e99bc430000000000000000000000005d1d2c910c42bc9084465c4cb4b3c7d2aae4d0750000000000000000000000000000000000000000000000000de0b6b3a76400001ea7b856363787601cf0e3850f11fbb2500aeaf2db8741afb1f2dc35c7587c610000000000000000000000005d1d2c910c42bc9084465c4cb4b3c7d2aae4d0750000000000000000000000000000000000000000000000000de0b6b3a764000043fbed13093d046be1125a1e81d0fe02d19c01e752973c5d4fa507be891eb226",
  "senderPubKey": "0xcc23cc1195f634f58fb37328642561db68525aa47a96bab9cd3571d47c463436",
  "v": "0x1b",
  "r": "0xea12630683140cb9b3938505f76e380ac350022e699f6d836ed1897ca2d0ce56",
  "s": "0x6fd8a8b60b32eac46b560cfb50510474b185659a3a1cd9d0413186ca4db930d"
}

blockInfocontractCodes

[
  {
    "address": "0x67c6233a99d9f122fef9dc111e89948107b34c2f",
    "code": "0x60806040526004361015610011575f80fd5b5f3560e01c80630346e361146101845780631bca76c41461017f578063221783ca1461017a578063224c3c601461017557806326f46ad3146101705780632843ec861461016b5780633f97509c1461016657806340d25726146101615780634dde64111461015c578063516a9d53146101575780635f5e593b14610152578063626ad23f1461014d57806368552685146101485780636b24ef62146101435780637ba2116d1461013e5780637ecf686d146101395780638630786514610134578063a0580b531461012f578063c0856c7c1461012a578063d1c880d814610125578063e3778f3014610120578063e56494b21461011b5763e9367ac614610116575f80fd5b6117f0565b61169f565b6115a2565b611489565b6113a9565b61121e565b6111f0565b6111c1565b611080565b610fb1565b610ebc565b610d97565b610d64565b610c41565b610a20565b610910565b61081e565b6106b2565b610642565b61056d565b6104d9565b6103b6565b6101f3565b906004916101841161019757565b5f80fd5b9060a4916102241161019757565b6001600160a01b0381160361019757565b905f905b600482106101cb57505050565b60208060019285518152019301910190916101be565b6080810192916101f191906101ba565b565b34610197576101a03660031901126101975761020e36610189565b610184359061021c826101a9565b6102246119e9565b908215610357576102806102b3916102a661026b61029e6102806102858861025961024e88611aa4565b808452909190611b30565b61028061027a61027060608b01611aa4565b611aa4565b9182919560200190565b52611b30565b611a6c565b61029160c08701611aa4565b9092908060408c0161027a565b926101200190565b909290806060870161027a565b7f0000000000000000000000009a6c9eb158269bbed8885649f95acefa8aafc3aa6001600160a01b03169290833b15610197576040516342604c7560e11b81526001600160a01b039290921660048301526024820152915f908390604490829084905af19182156103525761033492610338575b50604051918291826101e1565b0390f35b806103465f61034c936119b3565b806104cf565b5f610327565b611a8d565b63d92e233d5f526004601cfd5b9060049160a41161019757565b905f905b6001821061038257505050565b6020806001928551815201930191019091610375565b9160806101f19294936103af8160a08101976101ba565b0190610371565b3461019757610220366003190112610197576103d136610364565b6103da3661019b565b906103e36119e9565b906103ec6119ff565b926103f682611b9a565b855261040182611aa4565b855261041f61041260608501611aa4565b9260208801938452611a6c565b9161045961044c61026b61044461043660c0890183565b9760408c015b988952611a6c565b966101200190565b9560608901968752611a6c565b8181036104ba5750506040926104895f516020611d195f395f51905f52959361048961048f946104898a51611b30565b51611b30565b6104998551611bd4565b6104a882519283920182611a98565b0390a161033460405192839283610398565b637f4a9be360e11b5f5260045260245260445ffd5b5f91031261019757565b34610197575f366003190112610197576040517f0000000000000000000000009a6c9eb158269bbed8885649f95acefa8aafc3aa6001600160a01b03168152602090f35b9060a4916101041161019757565b906101e4916102441161019757565b90610144916101a41161019757565b9060049160641161019757565b9160206101f19294936103af816040810197610371565b34610197576101003660031901126101975761058836610364565b6105913661051d565b90604051906105a16020836119b3565b6020368337604051926105b56020856119b3565b60203685376105ce6105c683611b9a565b865291611aa4565b84528181036104ba57505060405f516020611d195f395f51905f52916105f48451611b30565b6105fe8551611bd4565b61060d82519283920182611a98565b0390a161033460405192839283610556565b6060906003190112610197576004359060243561063b816101a9565b9060443590565b346101975760206106656106553661061f565b916106608282611c3d565b611c57565b604051908152f35b905f905b6003821061067e57505050565b6020806001928551815201930191019091610671565b9160206101f19294936106ab816080810197610371565b019061066d565b346101975761024036600319011261019757366101e411610197576106d63661052b565b6106de6119ff565b6106e6611a15565b916106f16004611b9a565b8452906106fe60a4611b9a565b90916020860191825261072f6107296101449561028061071d88611b9a565b97909260408c0161043c565b91611aa4565b86528181036104ba5750509161076d6040926107675f516020611d195f395f51905f529561075d8851611b30565b6107678951611bd4565b51611bd4565b8282518061077e8560040182611a98565b0390a1828251806107928560a40182611a98565b0390a16107a482519283920182611a98565b0390a161033460405192839283610694565b9060a4916101641161019757565b90610144916102041161019757565b9060049160c41161019757565b905f905b600282106107f157505050565b60208060019285518152019301910190916107e4565b9160406101f19294936103af8160608101976107e0565b34610197576101603660031901126101975761083936610364565b610842366107b6565b90604080519161085282846119b3565b8136843761085e6119ff565b9361086882611b9a565b865261089361088561026b61087c85611aa4565b89529460600190565b93602088015b948552611a6c565b8181036104ba5750508261033493926108be5f516020611d195f395f51905f52936104898851611b30565b6108c88751611bd4565b6108d782519283920182611a98565b0390a15192839283610807565b906004916101441161019757565b9160406101f19294936109098160808101976107e0565b01906107e0565b34610197576102003660031901126101975761092b366108e4565b610934366107c4565b61093c611a2b565b90610945611a2b565b9261094f81611b9a565b855260a082019261096c61096285611b9a565b936020890161088b565b61098761096261026b61097e85611aa4565b8a529460600190565b8181036104ba575050604080936109c05f516020611d195f395f51905f5296946109b688956104898b51611b30565b6107678a51611bd4565b6109cf82519283920182611a98565b0390a16109e182519283920182611a98565b0390a1610334604051928392836108f2565b919060c08301925f905b60068210610a0a57505050565b60208060019285518152019301910190916109fd565b346101975761030036600319011261019757366103041161019757610a43611a40565b610a4e336004611c9d565b825290610a5c336084611c9d565b9092906020830190815261010491610a743384611c9d565b9590926040860196875261018493610a8c3386611c9d565b60608901908152886102049333610aa39086611c9d565b9490916080840195865261028499610abb338c611c9d565b9a909560a0019a8b52610acd91611a6c565b90610ad791611a6c565b90610ae191611a6c565b90610aeb91611a6c565b90610af591611a6c565b967f0000000000000000000000009a6c9eb158269bbed8885649f95acefa8aafc3aa6001600160a01b0316803b156101975760405162a4a12b60e61b815233600482015260248101999099525f908990604490829084905af180156103525760205f516020611d195f395f51905f529a610b9b8c996103349f8f98610767869f996107678f9c94899f610767908f9c8c9f986107679961076792610c1d575b5051611bd4565b8260405180610bad8560040182611a98565b0390a18260405180610bc28560840182611a98565b0390a1610bd56040519283920182611a98565b0390a1610be86040519283920182611a98565b0390a1610bfb6040519283920182611a98565b0390a1610c0e6040519283920182611a98565b0390a1604051918291826109f3565b806103465f610c2b936119b3565b5f610b94565b6040810192916101f191906107e0565b346101975761010036600319011261019757366101041161019757610c64611a2b565b610c6f336004611c9d565b825290610c8a610c80336084611c9d565b936020840161088b565b917f0000000000000000000000009a6c9eb158269bbed8885649f95acefa8aafc3aa6001600160a01b0316803b156101975760405162a4a12b60e61b815233600482015260248101949094525f908490604490829084905af19081156103525761033493610d0292610d50575b506107678351611bd4565b6040515f516020611d195f395f51905f529080610d20602482611a98565b0390a16040515f516020611d195f395f51905f529080610d4160a482611a98565b0390a160405191829182610c31565b806103465f610d5e936119b3565b5f610cf7565b34610197576020610665610d773661061f565b91610d828282611c3d565b611cbd565b6020810192916101f19190610371565b34610197576080366003190112610197573660841161019757610db86119ff565b610dc3336004611c9d565b8252907f0000000000000000000000009a6c9eb158269bbed8885649f95acefa8aafc3aa6001600160a01b0316803b156101975760405162a4a12b60e61b815233600482015260248101939093525f908390604490829084905af19182156103525761033492610e66575b50610e398151611bd4565b6040515f516020611d195f395f51905f529080610e57602482611a98565b0390a160405191829182610d87565b806103465f610e74936119b3565b5f610e2e565b9060a4916101c41161019757565b90610144916102641161019757565b906004916101241161019757565b9160606101f19294936103af81608081019761066d565b34610197576101c036600319011261019757610ed736610364565b610ee036610e7a565b90610ee9611a15565b90610ef26119ff565b92610efc82611b9a565b8552610f0782611aa4565b855290610f43610f3561026b610f2e610f206060880183565b9660208b015b978852611a6c565b9560c00190565b94604088015b958652611a6c565b8181036104ba57505091610f6f6040926104895f516020611d195f395f51905f52956104898851611b30565b610f798551611bd4565b610f8882519283920182611a98565b0390a161033460405192839283610ea5565b9160206101f1929493610909816060810197610371565b34610197576101a036600319011261019757610fcc366108e4565b610fd53661053a565b610fdd6119ff565b90610fe6611a2b565b92610ff081611b9a565b855260a082019261101061072961100686611b9a565b9460208a01610f3b565b86528181036104ba575050915f516020611d195f395f51905f526040809361103d83966109b68951611b30565b61104c82519283920182611a98565b0390a161105e82519283920182611a98565b0390a161033460405192839283610f9a565b6060810192916101f1919061066d565b34610197576101803660031901126101975761109b36610189565b6110a3611a15565b6110ad3383611c9d565b825260808301926110be3385611c9d565b9290602085019384526110e96101008401926102806110dd3386611c9d565b94909260408a01610f3b565b907f0000000000000000000000009a6c9eb158269bbed8885649f95acefa8aafc3aa6001600160a01b0316803b156101975760405162a4a12b60e61b815233600482015260248101939093525f908390604490829084905af1968715610352575f516020611d195f395f51905f526020809661117c8295610767859b6107676103349f8f909b899c610c1d575051611bd4565b61118c6040519283920182611a98565b0390a161119f6040519283920182611a98565b0390a16111b26040519283920182611a98565b0390a160405191829182611070565b34610197576020366003190112610197576004355f526001602052602060ff60405f2054166040519015158152f35b34610197576020366003190112610197576004355f525f602052602060ff60405f2054166040519015158152f35b3461019757610200366003190112610197573661020411610197576112416119e9565b61124c336004611c9d565b82529061125a336084611c9d565b9260208301938452610104906112a66112733384611c9d565b9190926112808760400190565b928352610280610184946102806112973388611c9d565b99909460608c019a8b52611a6c565b927f0000000000000000000000009a6c9eb158269bbed8885649f95acefa8aafc3aa6001600160a01b0316803b156101975760405162a4a12b60e61b815233600482015260248101959095525f908590604490829084905af1908115610352576113395f516020611d195f395f51905f529661076788956107676103349c60209a8b98611395575b506107678d51611bd4565b826040518061134b8560040182611a98565b0390a182604051806113608560840182611a98565b0390a16113736040519283920182611a98565b0390a16113866040519283920182611a98565b0390a1604051918291826101e1565b806103465f6113a3936119b3565b5f61132e565b34610197576080366003190112610197576113c336610549565b6064356113cf816101a9565b6113d76119ff565b908015610357576113ea6113f593611aa4565b808452909390611b30565b7f0000000000000000000000009a6c9eb158269bbed8885649f95acefa8aafc3aa6001600160a01b031692833b15610197576040516342604c7560e11b81526001600160a01b039290921660048301526024820152915f908390604490829084905af19182156103525761033492611475575b5060405191829182610d87565b806103465f611483936119b3565b5f611468565b346101975760e0366003190112610197576114a3366107d3565b60c435906114b0826101a9565b6114b8611a2b565b908215610357576102806114e36114e961026b6114f6946114d881611aa4565b808952909490611b30565b60600190565b909290806020870161027a565b7f0000000000000000000000009a6c9eb158269bbed8885649f95acefa8aafc3aa6001600160a01b03169290833b15610197576040516342604c7560e11b81526001600160a01b039290921660048301526024820152915f908390604490829084905af19182156103525761033492611577575b5060405191829182610c31565b806103465f611585936119b3565b5f61156a565b9160606101f19294936109098160a081019761066d565b3461019757610260366003190112610197576115bd366108e4565b6115c636610e88565b6115ce611a15565b906115d7611a2b565b926115e181611b9a565b855260a082019261026b6115f761100686611b9a565b61163961160384611aa4565b895261028061162d61161760608801611aa4565b9690976116248d60200190565b97885260c00190565b96909260408c01610f26565b8181036104ba57505060409361166c5f516020611d195f395f51905f5296946109b6889561048989966104898d51611b30565b61167b82519283920182611a98565b0390a161168d82519283920182611a98565b0390a16103346040519283928361158b565b3461019757610140366003190112610197576116ba36610e97565b61012435906116c8826101a9565b6116d0611a15565b9082156103575761028061172e9161172161026b61171a6102806117016116f686611aa4565b808b52909190611b30565b61170d60608701611aa4565b9092908060208c0161027a565b9260c00190565b909290806040870161027a565b7f0000000000000000000000009a6c9eb158269bbed8885649f95acefa8aafc3aa6001600160a01b03169290833b15610197576040516342604c7560e11b81526001600160a01b039290921660048301526024820152915f908390604490829084905af191821561035257610334926117af575b5060405191829182611070565b806103465f6117bd936119b3565b5f6117a2565b919060a08301925f905b600582106117da57505050565b60208060019285518152019301910190916117cd565b346101975761028036600319011261019757366102841161019757611813611a56565b61181e336004611c9d565b82529061189361182f336084611c9d565b91909361183c8460200190565b9283526102806102806101049661189b87611857338b611c9d565b95909360408301968752610280610184956118723388611c9d565b98909360608701998a526102049b61188a338e611c9d565b9e909860800190565b9d8e52611a6c565b957f0000000000000000000000009a6c9eb158269bbed8885649f95acefa8aafc3aa6001600160a01b0316803b156101975760405162a4a12b60e61b815233600482015260248101989098525f908890604490829084905af193841561035257610334996119446020986107678a9761076789968f5f516020611d195f395f51905f529f995f516020611d195f395f51905f529d610767928f9c61076792610c1d575051611bd4565b82604051806119568560040182611a98565b0390a1826040518061196b8560840182611a98565b0390a161197e6040519283920182611a98565b0390a16119916040519283920182611a98565b0390a16119a46040519283920182611a98565b0390a1604051918291826117c3565b90601f8019910116810190811067ffffffffffffffff8211176119d557604052565b634e487b7160e01b5f52604160045260245ffd5b604051906119f86080836119b3565b6080368337565b60405190611a0e6020836119b3565b6020368337565b60405190611a246060836119b3565b6060368337565b604090815191611a3b81846119b3565b368337565b60405190611a4f60c0836119b3565b60c0368337565b60405190611a6560a0836119b3565b60a0368337565b91908201809211611a7957565b634e487b7160e01b5f52601160045260245ffd5b6040513d5f823e3d90fd5b91906060908184019337565b9081356040602084013593013590611abc8185611c3d565b611ac7828286611cbd565b805f525f60205260ff60405f20541615611b1e57506001600160a01b0381163303611afa5790611af79184611c57565b90565b630771354960e11b5f908152336004526001600160a01b0391909116602452604490fd5b630fcffcff60e21b5f5260045260245ffd5b90604051828152600160208201526040812080549360ff8516611b88575060016040939460ff191617815581527f31fdacb9f064af42e193fb5a792739255c68dae3b03bc03067583c822620cf84602082a101604052565b632920f74160e21b5f5260045260245ffd5b90611af760208301358335611bae816101a9565b611bb88183611c3d565b611bce60408396611bc8846101a9565b01611d03565b91611cbd565b906040518281525f60208201526040812080549360ff8516611c2b575060016040939460ff191617815581527f31fdacb9f064af42e193fb5a792739255c68dae3b03bc03067583c822620cf84602082a101604052565b63c5f89f0560e01b5f5260045260245ffd5b90156103575715611c4a57565b631f2a20055f526004601cfd5b92919092604051937f72cf70573f4caecfe0c595aacaa31a6a696418d539c57a2433d3ec074a9ee343855260208501526040840152606083015260808083209201604052565b9190611af790833590611cb08183611c3d565b611bce6020839601611d03565b92919092604051937f0e55d1132d2a8bf64cf5027bcb69c29f817d2d4ac962d8d6c83cdd398ee09c6b855260208501526040840152606083015260808083209201604052565b9060606040519283376060808320920160405256fede80c0325cd5acc848b8ff33a4b67873f059997950242c1730d4833925b23221a2646970667358221220ab45f486b98e3c77c35325d24d1c21175dc71acfe986a65b673a7db641b25b4664736f6c634300081d0033"
  },
  {
    "address": "0x9a6c9eb158269bbed8885649f95acefa8aafc3aa",
    "code": "0x60806040526004361015610011575f80fd5b5f3560e01c806329284ac0146102985780634cd41b331461026157806384c098ea1461008d5763f77c479114610045575f80fd5b34610089575f366003190112610089576040517f00000000000000000000000067c6233a99d9f122fef9dc111e89948107b34c2f6001600160a01b03168152602090f35b5f80fd5b34610089576040366003190112610089576100a6610384565b6024357f00000000000000000000000067c6233a99d9f122fef9dc111e89948107b34c2f6001600160a01b0316330361024e576001600160a01b03821691821561023f57811561023057825f525f60205260405f2054917f73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff000000008310801590610206575b6101ec57807f73eda753299d7d483339d80809a1d80553bda402fffe5bfefffffffeffffffff037f73eda753299d7d483339d80809a1d80553bda402fffe5bfefffffffeffffffff81116101d85783116101ec5782018092116101d8575f928352602083815260409384902083905583516001600160a01b0390921682528101919091527ff41919677cd7aa99d6569df0c513ddf9b9a55080520044fb94e74a0ffb98e9a491819081015b0390a1005b634e487b7160e01b5f52601160045260245ffd5b828463148615cf60e11b5f5260045260245260445260645ffd5b507f73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000000811015610128565b631f2a200560e01b5f5260045ffd5b63d92e233d60e01b5f5260045ffd5b6311ca4b2760e31b5f523360045260245ffd5b34610089576020366003190112610089576001600160a01b03610282610384565b165f525f602052602060405f2054604051908152f35b34610089576040366003190112610089576102b1610384565b6024357f00000000000000000000000067c6233a99d9f122fef9dc111e89948107b34c2f6001600160a01b0316330361024e576001600160a01b03821691821561023f57811561023057825f525f60205260405f20549180831061036a5782039182116101d8575f928352602083815260409384902083905583516001600160a01b0390921682528101919091527ff41919677cd7aa99d6569df0c513ddf9b9a55080520044fb94e74a0ffb98e9a491819081016101d3565b82846309e40b9560e21b5f5260045260245260445260645ffd5b600435906001600160a01b03821682036100895756fea26469706673582212206c43736fe73265774f779036541795249ac1a8723e4fe68395ef609163719d6464736f6c634300081d0033"
  }
]

Runtime not installed.

ZKP Lab is not available on mobile.

Turn execution into verifiable signals.

Snapshot

Run execution input