2024-Gadgets A handbook for gadgets in the polynomial interactive oracle proof (Poly-IOP) model used by Plonk