Уявіть вчителя, який може оцінити цілий іспит, перевіривши лише кілька випадкових відповідей і все одно бути впевненим. Ось приблизно як працює stark-доказ: • велика партія транзакцій виконується поза ланцюжком; • створюється короткий доказ, що всі вони були виконані правильно; • ethereum перевіряє доказ замість повторного виконання кожної транзакції, тому витрати розподіляються між усією партією; • чим менше перевірок потрібно доказу, тим менший і дешевший його верифікація; • @Starknet недавно запустив виклик для пошуку математичних методів, які зберігають ту саму безпеку з меншою кількістю перевірок, і кожен знайдений варіант отримує винагороду; менші докази, дешевші перевірки, більше простору для масштабування