Ensuring Security : Formal Verification in Account abstraction
I will talk about our ongoing effort on applying formal verification to the correctness of account abstraction implementation with respect to common specifications such as EIP-4337
SPEAKER
Jon Stephens
EVENT
EthCC[6]
Date
7/17/2023
CATEGORY
Security
TYPE
Talk
LANGUAGE
EN
Security videos