The paper "Proximity Gaps for Reed-Solomon Codes" (this market references this version) gives results in coding theory relevant to the construction of STARKs. Much of the security of the Starkware systems depends on Conjecture 8.4 of the paper.

This market resolves YES if this conjecture is proven true, and NO if it is proven false. Close date to be extended until it's decided one way or the other.