Tahun 2025 belum berakhir, tetapi saya sudah bangga dengan empat kemenangan besar di Certora: (1) mempekerjakan 50% peneliti keamanan Web3 teratas, (2) mendatangkan CEO baru untuk membawa perusahaan ke tingkat berikutnya, (3) membuka sumber prover, dan (4) menggandakan penggabungan LLM dengan FV.