Possible Error in Anatomy of a STARK, Part 1: STARK Overview

aszepieniec / stark-anatomy

Tutorial for STARKs with supporting code in python

Apache License 2.0

181 stars 49 forks source link

Possible Error in Anatomy of a STARK, Part 1: STARK Overview #11

Closed nattrad closed 2 years ago

nattrad commented 2 years ago

Hello! Been studying STARKs, found this is in Part 1 of the Anatomy of a STARK, in the Cryptographic Compilation with FRI section.

Is the non-interactive proof system described here suppose to be a SNARK and not a STARK?

aszepieniec commented 2 years ago

That depends on whether the meaning of the term "STARK" includes what is being described.

STARK$_1$: a scalable transparent proof system for arguments of knowledge
STARK$_2$: a concrete way of building SNARKs using AIRs and AETs etc
STARK$_3$, the SNARK proof that results from this construction

The end-result after applying the Fiat-Shamir transform is certainly a SNARK. But what is being described in this text is STARK$_2$. In this context, the end-result is also is a STARK$_3$.