[submodule "halo2"]
	path = halo2
	url = https://github.com/babybear-12/halo2