AliceAndBob

AliceAndBob是 Certora的工作人員，致力於搜尋和驗證工作。