Jumping right into the second part of your ZK-STARK series, we're focusing on the FRI protocol and its goal of proving the knowledge of a low-degree polynomial.