naveed949/zk-snark-example not found