Chúng tôi rất vui mừng được tiếp tục hợp tác với Ethereum Foundation trong quá trình Xác minh chính thức ! Năm nay, chúng tôi đang đánh giá và cải thiện trạng thái của Hax (của @CryspenHQ), ArkLib và CompPoly để tăng cường bảo mật cho các zkEVM dựa trên Rust và cho phép Xác minh chính thức chúng thông qua Lean 4. Hãy liên hệ với chúng tôi nếu bạn tò mò về công việc của chúng tôi!
Bài viết này được dịch máy
Xem bản gốc
EF Ecosystem Support Program
@EF_ESP
01-27
1/ Q4 2025 closed out the year with exciting growth across the ecosystem 🌳
Dive into the projects @ethereumfndn teams supported this quarter and see what our grantees have been building in our latest blog post!
Khu vực:
Từ Twitter
Tuyên bố từ chối trách nhiệm: Nội dung trên chỉ là ý kiến của tác giả, không đại diện cho bất kỳ lập trường nào của Followin, không nhằm mục đích và sẽ không được hiểu hay hiểu là lời khuyên đầu tư từ Followin.
Thích
Thêm vào Yêu thích
Bình luận
Chia sẻ
Nội dung liên quan
