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-compo