# Validity Gadget

- [Abstract](/validity-gadget/abstract.md)
- [Motivation](/validity-gadget/motivation.md)
- [Design Properties](/validity-gadget/design-properties.md)
- [Chaintip Attestation](/validity-gadget/chaintip-attestation.md)