Scalable Zero Knowledge Cycles