zk-snark-python-implementation