devnet3: update high level plan with latest aggregator PR in leanSpec#70

unnawut wants to merge 1 commit intoleanEthereum:mainleanEthereum/pm:mainfrom

unnawut:update-devnet-3unnawut/lean-pm:update-devnet-3Copy head branch name to clipboard