https://github.com/Dyslex7c/groth16-zkSNARK

I've always been fascinated by cryptographic principles, so I decided to dive deep into zero-knowledge proofs and implement a Groth16 proof verifier entirely in Rust. This project validates cryptographic proofs and demonstrates how succinct, verifiable computations can be achieved.

Using Rust's powerful libraries like arkworks, I implemented pairing checks, public input commitments, and proof validation logic while ensuring the code remains modular and efficient.

I handled the complexities of affine group operations, scalar multiplications, and optimized public input verification to make this a practical ZK verifier.

Let me know what you think! Happy to answer questions about the design, challenges, or ZK cryptography in general.