Anubis's hierarchical proof system combines FRI and KZG technologies to provide fast proof generation and low-cost verification, improving system performance.