Orion: Zero Knowledge Proof with Linear Prover Time