Bindings for o1js to lower layers of the proof system and the Mina transaction logic - View it on GitHub