Rinocchio: SNARKs for Ring Arithmetic