https://123dok.net/document/qvl1x8pd-interactive-oracle-proofs-proximity-algebraic-geometry-codes.html