1/8 CompPoly — это библиотека математических вычислений с машинной проверкой для конкретных полиномиальных вычислений над кольцами и конечными полями — алгебра, лежащая в основе современных криптографических систем доказательства. @HarmonicMath Аристотель недавно внес значительный вклад, чтобы помочь завершить Фазу 1 дорожной карты. @vladtenev @tachim