xJsnark A Framework for Efficient Verifiable Computation