Anubis阿努比斯的分层证明系统结合FRI和KZG技术，提供快速生成证明和低成本验证，提升系统性能。