zkInterface Bellman 适配器

更多关于 zkInterface: https://github.com/QED-it/zkinterface

更多关于 Bellman: https://github.com/zcash/librustzcash

用法

Bellman 证明器。

验证证明满足约束条件

zkif_bellman validate

以文本形式打印电路

zkif_bellman print

生成公参数

zkif_bellman setup <workspace>

使用公参数生成证明

zkif_bellman prove <workspace>

电路和证明从 stdin 以 zkInterface 格式读取。密钥和证明的文件名由工作区参数推导；默认为当前目录。

示例

创建证明密钥

cat src/demo_import_from_zokrates/messages/*.zkif | cargo run --release setup

创建证明

cat src/demo_import_from_zokrates/messages/*.zkif | cargo run --release prove