Veri-Zexe library and paper are now available under GPL, providing functional privacy while improving previous state-of-the-art by 9x.