WizToolKit Manual Introduction Parsing the IR The NAILS Interpreter IR Plugins Iteration Plugin Multiplexer Plugin Arithmetic RAM Plugin Boolean RAM Plugin Wizkit Vectors Plugin Tools wtk-firealarm: Non-ZK IR Interpreter for Debugging wtk-press: Converter for the Text and Flatbuffer Formats Testcase Generation Scripts Sample Backend Code Simple Arithmetic Backend Arithmetic and Boolean Backend Simple Arithmetic Backend with Plugins Installation Guide