What if the zero knowledge proof based on Fiat-Shamir protocol with elliptic curve say, secp256k1 was written in an Ethereum Smart Contract and then used for proof generation and verification. Could someone comment or suggest on the above thoughts? And how to go about the implementation if its feasible..


Non Interactive Zero Knowledge implementation on Ethereum using Smart Contracts