Skip to content

REFERENCES.md

Latest commit

 

History

History
76 lines (70 loc) · 4.16 KB

REFERENCES.md

File metadata and controls

76 lines (70 loc) · 4.16 KB

References

Notes

  • pass some tx arguments, same but run with tevm directly and return access list (+ maybe some other execution info if opted-in to bonus info)

  • (additional) pass some tx hash and return listed storage slot changes by this tx (get tx, fork before, dump state, run tx with tevm, dump state, compare)

  • provide provider

  • provide from address to impersonate

  • maybe return two objects: "read" and "write" so we can include labeled slots that got only read as well

  1. Run tx and see affected accounts
  2. Backward fork, dump storage of these accounts
  3. Run tx with tevm, dump storage of these accounts
  4. Compare for each and interpret

TODO

  • rewrite to effect.ts
  • a similar library for zk evm could be useful because no abi for contracts
  • add tests for trace with txHash (replicate tx)
    • -> tests ready but need tevm rebase mode to be released
  • provide some state listeners -> listen to a contract's state changes; same api as listening to contract events, you get the typed state change 
    const sub = watchState({
  address: "0xabc...",
  // we (probably?) don't _need_ the abi, but it will help decoding inputs on function calls to retrieve potential mapping keys
  // and compute the mapping slot at which data was updated faster (we prioritize keys with known types), or even to compute it at all
  abi: [] as const,
  storageLayout: {} as const,
  onChange: (state) => {
    console.log(state);
    // An ERC20 transfer just happened
    // {
    //   label: "balances",
    //   type: "uint256",
    //   current: {
    //     hex: "0x...",
    //     decoded: 1000n
    //   },
    //   prev: {
    //     hex: "0x...",
    //     decoded: 0n
    //   },
    //   keys: [ // since this is a mapping, we get the keys (an array in case it's a nested mapping)
    //     {
    //       hex: "0x...", // the recipient address padded to 32 bytes
    //       decoded: "0x..." // the recipient address
    //       type: "address"
    //     }
    //   ]
    // }
    // An update will also fire for the sender's balance change
    // Also an update will fire for the account's state change for whoever made the transaction
    // (balance change because of gas, nonce increment if it's an EOA)
  },
});
  • provide a react package with a Tracer provider and useTracer hook
  • new storage adapter works if there is a storage layout but make it work if there is none as well (getData, etc would return hex?) - need more research on storage layout for unverified contracts
  • if a function writes to storage BUT doesn't modify the value(s), it returns a read (because pre-post state is the same)
    • -> this is an access list so it makes sense, we should rather have either a single object instead of read/write, with or without a "next" property
    • -> or maybe better we track SSTOREs and SLOADs separately, so we can accurately populate read and write
    • -> storage reads have a trace modified: false property and no next property
  • create a Tracer class that takes the args and env and can be user to trace by just providing tx
  • ? add a "details" property to the returned trace, with the raw tevm call result (gas, errors, etc)
    • -> seems out of scope, can directly simulate tx with tevm
  • ~~? pass a "label"/something flag to label or not storage slots (default true, but setting to false would save a lot on compute)~~~
    • -> whole point of the library is to get labeled slots, otherwise can just use tevm and get the access list
  • export types and utilities for decoding abi types and mention on readme? or don't bloat the package? maybe would be good as a second package provided lattice authorization
    • -> this is already well supported with abitype
  • upstream utilities (compute mapping slot, array slot at index, etc?) to Ox
    • -> seems too opinionated
  • provide same api as viem/tevm with "as const" abi except it's with the storage layout, and you get a fully typed api with decoded types, etc
  • support custom storage slots: maybe just popular/standardized ones? or parse from source code?
    • -> supports standard proxy implementation & admin slots