Контракт Lighter працює через елегантну криптографічну систему перевірки: він приймає доказ разом із відповідними публічними даними, а потім математично підтверджує, що кожна транзакція у пакеті була виконана у строгій відповідності до специфікацій протоколу Lighter. Такий підхід усуває неоднозначність виконання. Що робить цю перевірку елегантною, — її простота — один, всеохоплюючий перевірка підтверджує цілісність усього пакета. Жодна маніпульована торгівля не пройде, жодна фальшива транзакція не сховається у даних. Контракт фактично гарантує, що правила протоколу були дотримані точно, перетворюючи довіру у перевірену математику.