本文介绍Crypto2025上关于自适应安全SNARG的构造研究。作者BrentWaters和DavidJ.Wu证明在亚指数安全IO和普通单向函数存在下可构造NP的自适应安全SNARG,无需额外代数假设。核心技术是重新实现两挑战范式,将挑战生成与验证合并到混淆程序中。该构造具有理论意义,但假设较强且规约不紧,不适用于直接部署。
网络安全文章














