Отличное объяснение!
Я бы только добавил бы вот такой момент. Мы не просто так клиентом проверяем наличие
транзакции D в блоке. У клиента есть конкретный кейс - клиент проверяет только те транзакции,
которые имеют отношение к поступлениям на адреса юзера! То есть, сеть доказывает
мне, что "транзакция D, которая прислала тебе бетховены, действительно включена в
такой-то блок, мы тебя не обманываем"