Hongbo Wen
Hongbo Wen has worked with Nubit on zero-knowledge proof technology. The Tabby project makes proof-circuit programming more accessible through a high-level language and an intermediate representation designed for cryptographic optimizations.