Published August 21, 2025 | Version v1
Software Open

Tabby: A Synthesis-Aided Compiler for High-Performance Zero-Knowledge Proof Circuits

Creators

  • 1. ROR icon University of California, Santa Barbara
  • 2. ROR icon University of Illinois Urbana-Champaign
  • 3. ROR icon University of Toronto
  • 4. Polychain Capital

Description

Artifact for "Tabby: A Synthesis-Aided Compiler for High-Performance Zero-Knowledge Proof Circuits"

Files

tabby.zip

Files (7.0 MB)

Name Size Download all
md5:7a52141989fa506fe5c3526f1b2631c5
7.0 MB Preview Download

Additional details

Software

Programming language
Rust, OCaml