Create step by step guide starting on sp1 proof generation and ending in aligned proof verification
Create step by step guide starting on sp1 proof generation and ending in aligned proof verification