DEV Community
·
Niftyzk 教程 5 - CosmWasm
💡
原文英文，约900词，阅读约需4分钟。
📝
内容提要
本教程讲解Niftyzk在ZKP开发中的应用，重点是导出CosmWasm合约。首先使用niftyzk生成验证密钥，并确保单元测试通过。可以选择Rust库（Arkworks或Bellman）生成合约，推荐使用成熟的Bellman库。生成合约后，安装Rust编译器并运行测试，确保合约有效，最后进行部署。
🎯
关键要点
- 本教程讲解Niftyzk在ZKP开发中的应用，重点是导出CosmWasm合约。
- 首先需要使用niftyzk生成验证密钥，并确保单元测试通过。
- 可以选择Rust库（Arkworks或Bellman）生成合约，推荐使用成熟的Bellman库。
- 使用命令niftyzk gencontract生成CosmWasm验证智能合约。
- 需要安装Rust编译器，并运行cargo test以确保合约有效。
- 使用cargo wasm构建合约，并使用cosmwasm-check验证合约的有效性。
- 合约的入口点在src/lib.rs，ZKP验证逻辑在src/verify.rs。
- 调用Query函数并传递VerifyProof消息以触发智能合约。
- Bellman库使用未压缩的验证密钥和证明，适合不同格式的需求。
- 建议在使用时评估Arkworks和Bellman库的适用性。
- 验证合约有效后，可以进行部署。
➡️
