Cuối cùng tôi đã đến một điểm với sự hiểu biết của mình về YieldCoin để tiến tới việc xác minh chính thức các thay đổi mà tôi đã thực hiện với @CertoraInc. Tôi sẽ hoàn toàn thành thật: điều này thật khó khăn, tôi cảm thấy choáng ngợp và liên tục xem tài liệu cũng như nghiên cứu các bài kiểm tra mà @contractlevel đã thực hiện, nhưng Certora là một công cụ rất mạnh mẽ nên điều đó là điều hiển nhiên. Không có cách nào khác để làm điều này ngoài việc trải qua quá trình cảm thấy lạc lối, bối rối, thất vọng, choáng ngợp (và mọi từ khác mà bạn có thể nghĩ đến) cho đến khi mọi thứ bắt đầu trở nên rõ ràng và đó là một kỹ năng mà tôi quyết tâm phát triển thêm.