The halo2 has a soundness bug when a circuit has two idential queries. This bug is a subtle one and exists several years in halo2. Read more details here: https://blog.zksecurity.xyz/posts/halo2-query-collision/
Uncovering the Query Collision Bug in Halo2: How a Single Extra Query Breaks Soundness
I found a soundness bug in Halo2