Missing final polynomial degree check in FRI verifier
### Vulnerability - When rolling in polynomials of lower degree, the FRI prover and verifier were just adding in the low degree polynomials without any randomness. A malicious prover could potenti...
github.com