Explore the latest advancements in non-interactive zero-knowledge proofs of knowledge (NIZKPoKs) for Boolean circuits in this 23-minute conference talk. Delve into the "MPC-in-the-head" paradigm and its application with MPC protocols in the preprocessing model. Examine recent works like ZKBoo, ZKB++, and Ligero, and discover how they contribute to efficient NIZKPoKs based solely on symmetric-key primitives. Learn about the new approach involving OT channels, preprocessing, and a two-stage protocol. Understand the implications for zero-knowledge, communication efficiency, and proof size. Gain insights into the potential applications for post-quantum signatures and the overall end results of this research.