1/8 CompPoly är ett bibliotek med maskinkontrollerad matematik för konkret polynomberäkning över ringar och ändliga kroppar – algebran bakom moderna kryptografiska bevissystem. @HarmonicMath Aristoteles har nyligen gjort betydande insatser för att hjälpa till att avsluta fas 1 av färdplanen. @vladtenev @tachim