零知识证明zk-SNARKs构造原理.docxVIP

零知识证明zk-SNARKs构造原理

一、引言

随着数字社会的不断发展，人们在数字空间中的活动越来越频繁，如何在完成身份验证、交易确认、计算校验等信任建立活动的同时，保护好个人的隐私数据，成为整个数字世界面临的核心挑战。零知识证明作为密码学领域的重要突破，能够让证明者在不泄露秘密信息本身的前提下，向验证者证明某个论断的正确性，而简洁非交互式零知识证明，也就是大家常说的zk-SNARKs，是目前性能最高、应用最广泛的实用化零知识证明技术方案。很多初次接触这项技术的人会觉得它的逻辑过于晦涩，像一套无法拆解的黑盒，但实际上zk-SNARKs的构造有着非常清晰的逻辑脉络，是几代密码学研究者经过长期积累