قام فريق التحقق الرسمي لدينا بإضفاء الطابع الرسمي على كثيرات الحدود متعددة المتغيرات القابلة للحساب في Lean. @leanprover سم مكعب هذا هو الأساس لتفكير أقوى تم فحصه آليا في براهين zk وتصميم البروتوكول. 🔗 1/