1/8 CompPoly is a library of machine-checked mathematics for concrete polynomial computation over rings and finite fields—the algebra behind modern cryptographic proof systems. @HarmonicMath Aristotle has recently made significant contributions to help close Phase 1 of the roadmap. @vladtenev @tachim