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

- Channel: [Ethereum Denver](https://streameth.org/ethereum-denver)
- Date: 2025-10-09
- Duration: 19:51
- Topics: ETHDenver, Crypto, Web3, Blockchain, Event, Conference, ETHDenver 2025, ETHDenver 2024, Bitcoin, Ethereum
- Watch: https://streameth.org/watch/yt-1719Sp89kY4
- YouTube: https://www.youtube.com/watch?v=1719Sp89kY4

## Description

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.