This chapter dives into the programming environment of CK Sync, a layer 2 scaling solution that enables the creation of zero knowledge compatible programs without requiring knowledge of R1CS programming. It also discusses CK transaction receipts and the time it takes to generate zero knowledge proofs.