"Zero-Knowledge" Proof Implementation with HMAC Communication in C++
gnark-crypto provides elliptic curve and pairing-based cryptography on B...