Zero-Knowledge proofs play a vital role in Ethereum's scalability and provide on-chain privacy. Recursive proofs are crucial to enable private transactions, zkVMs, and dynamic lookups, and also to improve circuit utilization. This talk reviews recent advances in recursive proof techniques, from in-circuit verifiers to proof accumulation and statement folding, providing a simplified framework to assist in selecting the best tool for various applications.