Get rid of `mina/o1js-main`
mitschabaude opened this issue · comments
o1js should just depend on (an ancestor of) mina/develop going forward
rely on o1js CI to make sure that we stay compatible whenever updating the submodule pointer
o1-labs / o1js
TypeScript framework for zk-SNARKs and zkApps
https://docs.minaprotocol.com/en/zkapps/how-to-write-a-zkapp