Add ERC-4337 EntryPoint proof case study#35

Th0rgal wants to merge 3 commits intomainlfglabs-dev/lfglabs.dev:mainfrom

research/erc4337-entrypoint-invariantlfglabs-dev/lfglabs.dev:research/erc4337-entrypoint-invariantCopy head branch name to clipboard