Polynomial optimisations Merkle optimisations Multithreading / Parallelization Circle STARKs / Binius WHIR
