Представьте учителя, который может проверить всю контрольную работу, оценив лишь несколько случайных ответов и при этом быть уверенным в результате. Вот примерно так работает Stark-доказательство: • Большая группа транзакций выполняется оффчейн; • Создается короткое доказательство, подтверждающее, что все они выполнены правильно; • Ethereum проверяет это доказательство вместо того, чтобы повторно выполнять каждую транзакцию, поэтому стоимость распределяется между всей группой; • Чем меньше проверок требуется доказательству, тем меньше и дешевле его верифицировать; • @Starknet только что запустил конкурс на поиск математических решений, которые сохраняют ту же безопасность при меньшем количестве проверок — за каждое найденное решение начисляется вознаграждение. Меньшие доказательства — более дешевая верификация — больше возможностей для масштабирования.
