zk-STARKs: FRI protocol