A Deep Dive into the FRI Protocol