1/8 CompPoly er et bibliotek med maskinsjekket matematikk for konkret polynomberegning over ringer og endelige kropper—algebraen bak moderne kryptografiske bevissystemer. @HarmonicMath Aristoteles har nylig gjort betydelige bidrag for å bidra til å avslutte fase 1 av veikartet. @vladtenev @tachim