GitHub repository: spector-in-london/zkinterface-bellman
Description: The ZkInterface adapter for Bellman frontend and proving systems