Practical ZK-proofs implementations for scalable privacy preserving layer two rollups