Что такое Starknet?

Starknet - это уровень 2 сети с механизмом проверки действительности (Validity Rollup). Он обеспечивает высокую производительность, низкие затраты на газ и сохраняет уровень безопасности Ethereum Layer 1.

Давайте представим себе головоломку судоку. Проверка решения этой головоломки проще, чем ее решение с нуля. Если нашей целью является убеждение людей в утверждении "эта головоломка была решена", мы можем сэкономить много вычислительных ресурсов, позволив одному человеку вычислить решение, а затем распространить его для проверки другими. В этой стратегии каждое вычисление решения становится одноразовым событием, которое не требует повторения всеми участниками. Аналогично Starknet масштабирует Ethereum, заменяя сложные вычисления L1 более легкой (и, следовательно, более дешевой!) проверкой L1 с использованием STARK-доказательств, вычисляемых оффчейн.

Как это работает?

Имея в виду вышеуказанную аналогию, давайте разберемся в терминах. Starknet - это разрешенный механизм проверки действительности (Validity-Rollup), также известный как "ZK-Rollup", который поддерживает общие вычисления и в настоящее время функционирует в режиме продакшн как уровень 2 над Ethereum. Итоговая безопасность L1 Starknet обеспечивается использованием самой надежной и масштабируемой криптографической системы доказательств - STARK.

Смарт-контракты Starknet (в большей части) написаны на языке программирования Cairo - универсальном языке программирования, разработанном для STARK-доказательств.