Certora artık açık kaynaklı! Protokolünü güvence altına almamak için artık bahane yok, anonim. https://t.co/JPqBR1JQ9p