Exploring GKR: A Crucial Component in Accelerating Cryptographic Proofs