Halo infinite vs halo

Does someone know a good resource to learn about halo infinite? Which seems to be related to halo

If its in connection with Mina, you can ready about Minas commitment schemas in the following papers [0] [1], other than that, you can just take a look at the Halo Infinite paper [2] if you haven’t already. If you can specify your question or what you are looking for, maybe I can point you to some more resources.

[0] appendix A.1 Cryptology ePrint Archive: Report 2020/1618 - Proof-Carrying Data without Succinct Arguments
[1] section 3.1 Cryptology ePrint Archive: Report 2019/1021 - Recursive Proof Composition without a Trusted Setup
[2] Cryptology ePrint Archive: Report 2020/1536 - Halo Infinite: Recursive zk-SNARKs from any Additive Polynomial Commitment Scheme