Towards DevOps of Zero-Knowledge Proofs on Blockchain: LLM-Enhanced Proof Generation and Contract Deployment

Abstract

Zero-knowledge proof is one of the most promising privacy-preserving approaches in the current literature. However, its complex nature leads its development and deployment to be time-consuming and error-prone. Furthermore, despite the increasing adoption of zero-knowledge proof in the blockchain applications, there is still no systematic framework that streamlines the end-to-end life-cycle of proof development. This paper introduces the first LLM-enhanced zero-knowledge proof DevOps framework for blockchain (i.e. zkOps) to the literature. To evaluate the performance of the framework on different real-life scenarios, a small benchmarking suite is constructed with the increasing computational complexity with respect to the size of circuit constraints. The experimental study identifies the effects of the model temperature on the code compilation rate, and the complexity of prompts on the service latencies. The findings show that the framework efficiently handles the varying-complexity of prompts with a maximum successful compilation rate of 70% (i.e., up to 200,000 proof constraints).