luận án: khi chi phí (trí tuệ!) của việc xác minh chính thức phần mềm trở nên rẻ hơn trong những năm tới, chúng ta sẽ chứng kiến một cuộc cách mạng trong phần mềm, nơi mà phần lớn phần mềm sẽ được xác minh chính thức.

và đúng vậy, defi chắc chắn cần được xác minh chính thức!