Bắt đầu bỏ phiếu trực tuyến cho đề xuất do Certora tạo ra để cung cấp dịch vụ xác minh và dịch vụ cung cấp đường dẫn cho những người đóng góp cho Nền tảng Aave và các nhà phát triển dApp ở Giao thức Aave

Certora đề xuất hỗ trợ liên tục và viết quy tắc cho Certora Prover trên mã của Aave.

Certora sẽ phát triển một công cụ thực thi biểu tượng mới giúp tăng độ bao phủ của các vùng mã. Công cụ này sẽ là mã nguồn mở. AIP thực hiện đề xuất trong 6 tháng kể từ khi thực hiện.

Các chi tiết cụ thể và bảng phân tích giá chi tiết tại đây.

Được tài trợ

Cuộc bỏ phiếu sẽ kết thúc vào ngày 12 tháng 3 năm 2022.

—————————————————

👉 Theo dõi và thảo luận tại FXCE Ventures

Group Chat | Research Hub | FXCE Spotlight | Tổng hợp Airdrop | Pool Coin