NewRadixTwoFri creates an FFT-like oracle proof of proximity.

deriveQueriesPositions derives the indices of the oracle function that the verifier has to pick, in sorted form.

ProofOfProximity proof of proximity, attesting that a function is d-close to a low degree polynomial.

radixTwoFri empty structs implementing compressionFunction for the squaring function.

Round a single round of interactions between prover and verifier for fri.