Nhóm Xác minh Chính thức của chúng tôi đã chính thức hóa các đa thức đa biến có thể tính toán trong Lean. cc @leanprover Đây là nền tảng cho lý luận mạnh mẽ hơn, được kiểm tra bằng máy trong các chứng minh zk và thiết kế giao thức. 🔗 1/