Winterfell 一个用于任意计算的 STARK 证明器和验证器。这是一个研究项目，目前它没有经过审计，可能包含错误和安全缺陷。这个实现还没有准备好用于生产环境中。 概述： STARK 是一个新颖的计算...