Vivy0o的博客

原创 Snark方案：Sonic

Sonic是在代数群模型下的方案，代数群模型比一般群模型(Generic Group Model)要弱，但是比一般的模型要强。在代数群模型中，敌手如果生成一个输出，同时要生成该输出的代数表示，类似于离散对数假设中的知识假设，抽取器可以根据敌手返回的代数表示来抽取信息。在一般群模型中，敌手只能通过访问特定群操作的Oracle来进行操作和产生输出，因此抽取器可以观察敌手访问的群操作Oracle来抽取信息。Groth16方案便是在一般群模型下的方案，可以认为需要的密码学假设是最强的。