Anatomy of a STARK

#1

Post by aszepieniec » Thu, Oct 28, 2021, 2:09 PM UTC

Anatomy of a STARK
aszepieniec.github.io

Re: Anatomy of a STARK

#2

Post by sword_smith » Thu, Oct 28, 2021, 2:24 PM UTC

Nice. This looks like a more comprehensive tutorial than the other STARK tutorials I have seen.

Re: Anatomy of a STARK

#3

Post by sword_smith » Thu, Oct 28, 2021, 2:36 PM UTC

sword_smith wrote: post #2

Nice. This looks like a more comprehensive tutorial than the other STARK tutorials I have seen.

STARK is supposedly a technology that is good for proving the correct evaluation of program, or calculation since the proofs can be built in nlogn time, and the verification can be done in logn time, where n is the number of cycles for the calculation.

Re: Anatomy of a STARK

#4

Post by angry_dane » Fri, Oct 29, 2021, 10:45 AM UTC

Seems pretty comprehensive. Great illustrations!

Re: Anatomy of a STARK

#5

Post by baby » Sat, Oct 30, 2021, 3:10 AM UTC

This looks like a great resource! Thanks for sharing.

> STARKs, not SNARKs, will dominate

As an uneducated person, I perceive STARKs like hash-based signatures. A lot of hashing, it works, but it's bloated and unless quantum computers become a thing one day (highly unlikely) they might never get used.

Now, I might be completely wrong, and depending on the application these might offer very competitive benefits. I'm looking forward to be proven wrong while reading this tutorial :)

Re: Anatomy of a STARK

#6

Post by inter_netuser » Sat, Oct 30, 2021, 5:17 AM UTC

baby wrote: post #5

This looks like a great resource! Thanks for sharing. > STARKs, not SNARKs, will dominate As an uneducated person, I perceive STARKs like hash-based signatures. A lot of hashing, it works, but it's bloated and unless quantum computers become a thing one day (highly unlikely) they might never get used. Now, I might be completely wrong, and depending on the application these might offer very competitive benefits. I'm l…

why "highly unlikely"?