snarkpack-onchain Optimized snarkpack(Groth16) for on-chain verification Optimizations KZG commitment for public inputs Smart-contract based Transcript Smart contracts solidity for EVM