BLST-Verification:BLST验证

Copyright (c) 2020 Galois, Inc. SPDX-License-Identifier: Apache-2.0 OR MIT 一次验证 该存储库包含 BLS12-381签名库的规范和正确性证明。 建立和运行 构建库和运行证明的最简单方法是使用 。 安装和 。 克隆子模块： git submodule update --init 构建包含所有依赖项的Docker映像： docker-compose build 在Docker容器中运行证明： docker-compose run blst 运行docker-compose run --entrypoint bash blst将在容器内进入一个交互式shell，这通常对调试很有用。 证明状态 证据仍在进行中。 证明涉及为BLS12-381规范定义的功能编写Cryptol定义，为库的功能编写SAWscript规范