Example smart contract which verifies a NIZKP - View it on GitHub