ibc.prove 合约 概览 操作 (10) 结构体 (32) 表 (14) 应用二进制接口 结构体 (32) checkproofa checkproofa中的操作参数 { "name": "checkproofa", "base": "", "fields": [ { "name": "contract", "type": "name" } ] }