Năm 2025 vẫn chưa kết thúc, nhưng tôi đã tự hào về bốn chiến thắng lớn tại Certora: (1) tuyển dụng 50% các nhà nghiên cứu bảo mật Web3 hàng đầu, (2) đưa một CEO mới vào để đưa công ty lên tầm cao mới, (3) mã nguồn mở prover, và (4) tăng cường kết hợp LLM với FV.