zkbec A trivial Zero-Knowledge Boolean Expression Compiler. An uncommented and badly structured proof-of-concept.