@cremer nice questions! Brief solution: no longer basically blocked. engineering price plus an open design query.
The ERC-4337 piece is in reality the ‘simple’ section. Consultation keys are wallet-module coverage — you’ll be able to design a module the place a guardian key indicators an attestation binding a kid key to tighter scope, and the kid’s UserOps validate in opposition to the chain. AP2’s SD-JWT-VC intent mandates already toughen re-issuance with narrowed claims + chain-of-custody proofs, so on the credential layer the primitive exists. EIP-7702 makes this cleaner at the EVM aspect too.
What is in reality arduous:
-
multi-node atomic spend monitoring. flat mandates are one dynamodb atomic op according to rate. a tree approach a kid rate attracts from each the kid’s counter and each and every ancestor’s atomically — potential with dynamodb transactions, however the latency and failure-mode floor grows according to hop.
-
graph-wide revocation. revoking the basis has to invalidate each and every descendant sooner than the following /rate — wishes a quick search for trail, no longer only a flag on one row.
-
on-chain chain verification. the router recently validates one key according to tx. validating “this secret’s a legitimate descendant of a user-approved mandate with all intermediate caveats revered” is both gas-expensive on-chain, or strikes off-chain into the vault and adjustments the accept as true with type.
At the autonomy level: if A→B→C→D every infers sub-scope from activates, one instructed injection 3 ranges deep turns out catastrophic. The solution most probably is not “take away the human solely in fee flows”. I believe it is pre-declared caveats at root mint time.
Consumer authorizes “this mandate can sub-delegate as much as e.g. 2 ranges and traders should keep in allowlist.
Brokers then mint sub-mandates autonomously inside of the ones laws. human units the form of the tree at auth time; brokers fill it in at runtime.
That is the place i believe we land, however actually curious if you happen to’ve observed a cleaner type.
