NIZKS WORK! FINALLY! It was all because of a misread SExpression. Sigh.