Certora теперь является открытым исходным кодом!

Какое у тебя теперь оправдание за то, что ты не обеспечиваешь безопасность своего протокола, аноним? https://t.co/JPqBR1JQ9p