Interfaces for Relations and SNARKs for these relations - View it on GitHub