Implementation of the ZKB++ proof system - View it on GitHub