Tabby: Automated Programming of Efficient Zero-Knowledge Proof Circuits | Hongbo Wen - Nubit

Thu, Oct 2, 2025, 12:00 AM

ZKP systems are gaining traction as a solution for developing applications that require high security. However, ZKP programming is challenging due to the need to balance cryptographic knowledge with dev skills. We introduce Tabby, a novel approach that simplifies cryptographic complexity while retaining fine-grained control over circuit performance. Tabby leverages a high-level ZK domain-specific language and a new intermediate representation (IR) that captures domain-specific optimizations.