SNARK

SNARK（简洁非交互式知识论证）是一种零知识证明协议，允许证明者向验证者简洁地证明某个陈述的真实性，而无需泄露除陈述真实性外的任何信息，且验证过程无需双方交互。