zkInterface IR, a toolbox for zero-knowledge interoperability - View it on GitHub