MPhil in Computer Science & Engg - Pigeon: A Space-Efficient zkSNARK with Optimal Proving Time