zk-SNARKs

零知识简洁非交互式知识论证（Zero-Knowledge Succinct Non-Interactive Argument of Knowledge），一种高效的密码学证明方案，允许证明者向验证者证明某个陈述为真，而无需透露除该陈述为真之外的任何信息。