Testing out different recursive ZK system on BLS aggregate signature verification circuit - View it on GitHub