[submodule "src/lib/snarky"]
	path = src/lib/snarky
	url = https://github.com/o1-labs/snarky
[submodule "src/lib/crypto/proof-systems"]
	path = src/lib/crypto/proof-systems
	url = https://github.com/o1-labs/proof-systems.git
[submodule "src/lib/crypto/kimchi_bindings/stubs/kimchi-stubs-vendors"]
	path = src/lib/crypto/kimchi_bindings/stubs/kimchi-stubs-vendors
	url = https://github.com/MinaProtocol/kimchi-stubs-vendors.git
