oof

为了更好地理解证明库所需的接口并最小化调试复杂证明逻辑所花费的时间，oof 专注于以时间和空间复杂度为代价提供健壮的证明方案。