geppetri：Pinocchio-based adaptive zk-SNARK and distributed computation