A zero-knowledge proof system for OpenLibra

Zero-knowledge proofs (ZKPs) have garnered much attention recently. They have witnessed applicability in anonymizing tokens (e.g., Tornado Cash) and increasing transaction throughput (e.g., ZK-Rollups) for blockchains backing cryptocurrencies. ZKPs are touted to offer great potential for future blockchain applications that operate in a priori trustless environments across administrative boundaries. This short note discusses the integration of the ZK-STARK-based proof system into the OpenLibra blockchain. We generically describe the interaction of the involved ZKP capabilities with OpenLibra and showcase an open-sourced proof-of-concept implementation.