1/8 كومبولي هو مكتبة من الرياضيات التي تم التحقق منها آليا للحسابات متعددة الحدود الملموسة على الحلقات والحقول المنتهية—الجبر الذي يقف وراء أنظمة الإثبات التشفيرية الحديثة. قدم @HarmonicMath أرسطو مؤخرا مساهمات كبيرة للمساعدة في إغلاق المرحلة الأولى من خارطة الطريق. @vladtenev @tachim