Certora hiện đã trở thành mã nguồn mở!

Còn lý do nào nữa để bạn không bảo mật giao thức của mình, anon? https://t.co/JPqBR1JQ9p