Efficient and Affordable Zero-Knowledge Proofs: ResNet Inference and RAM Computation