The ZkInterface adapter for Bellman frontend and proving systems - View it on GitHub