零知识证明虚拟机(zkVM)
收藏
已收藏
公司推荐
产品详情
基于zk-SNARKs/STARKs构建的可验证计算框架,在保持链下计算高效性的同时生成链上可验证的零知识证明,实现隐私与可验证性的统一。