Use batch optimizations, load params in groth16::Verifier, verify Spend & Output descriptions in transaction verifier