Ngô Thuyết được biết rằng, Quỹ an toàn DAO đã công bố hợp tác với Quỹ Ethereum để hỗ trợ dự án tài trợ “trình biên dịch Vyper xác thực hình thức end-to-end”, và đưa dự án này vào ETHSecurity Initiatives Round. Mục tiêu của dự án là, thông qua các chứng minh có thể được xác minh bằng máy, đảm bảo quy trình biên dịch Vyper có thể giữ nguyên ngữ nghĩa của mã nguồn, đồng thời cung cấp cơ sở hạ tầng để xác minh lại cho các phiên bản đã được hỗ trợ; cuối cùng, ra mắt chế độ biên dịch xác minh công khai trong trình biên dịch Vyper chính thức. Quỹ Ethereum đã cam kết hỗ trợ 100.000 USD cho dự án này.