证明生成器

用于从证明 IR 生成证明的库。

通用用法（非常粗略，将更改）

在 proof_gen.rs 中，有三个核心函数

• generate_txn_proof
• generate_agg_proof
• generate_block_proof

这两个库目前都针对最新的 plonky2。所有证明都需要的一个值得注意的数据是这一点

#[derive(Debug, Clone, Serialize, Deserialize)]
pub struct BlockHashes {
    pub prev_hashes: Vec<H256>,
    pub cur_hash: H256,
}

请注意，prev_hashes 将会是一个 256 个元素长 (!) 的数组。

generate_txn_proof 接收来自解析库的输出 (GenerationInputs)。

generate_agg_proof 接收两个子证明（包装在 `AggregatableProof` 中以支持事务或聚合证明）。

generate_block_proof 稍微不那么明显。你需要提供一个包含整个区块中所有事务的聚合证明，同时也可以传递一个可选的前一个区块证明。在检查点高度上，前一个区块证明可以是 None。

许可证

根据以下任一许可证授权

• Apache License，版本 2.0，(LICENSE-APACHE 或 http://www.apache.org/licenses/LICENSE-2.0)
• MIT 许可证 (LICENSE-MIT 或 http://opensource.org/licenses/MIT)

由您选择。

贡献

除非您明确声明，否则根据Apache-2.0许可证定义，您有意提交以包含在作品中的任何贡献，将双许可如上，没有任何额外条款或条件。