HACKSTIR
Golang Implementation of STIR: Reed–Solomon Proximity Testing with Fewer Queries
HACKSTIR
Golang Implementation of STIR: Reed–Solomon Proximity Testing with Fewer Queries
The problem HACKSTIR solves
People can use it as an interactive oracle proof of proximity (IOPP) for Reed-Solomon codes that achieves the best known query complexity of any concretely efficient IOPP for this problem which leads to improvement in argument size with similar prover and verifier running times.
Challenges we ran into
Challenges we ran into:
-
Domain operations with Gnark crypto. Figuring out how to scale and shift domains with their api.
-
Polynomial interpolation and calculating vanishing polynomial
-
Checking correctness of equations
Tracks Applied (1)
Prizes for Finalists, Hackers' Choice & Chewing Glass
Our team built a GO implementation of the STIR protocol. STIR is an interactive oracle proof of proximity (IOPP). You c...Read MoreDiscussion