Abstract Zero Knowledge Proofs (ZKPs) are cryptographic protocols by which a prover convinces verifier of the truth statement without revealing any other information. Typically, statements expressed in high-level language and then compiled to low-level representation on ZKP operates. Thus, bug compiler can compromise that ZK proof is supposed establish. This paper takes step towards correctness...