zk-SNARK

高阶
“零知识简明非交互式知识证明”是一种实现零知识证明的方式。