Изучал последние разработки @Starknet — и обратил внимание на SNIP-36. Он называется In Protocol Proof Verification, а последнее обновление v0.14.4 делает его ещё более интересным. Но сначала — что именно делает SNIP-36? Представьте приложения, которым нужно выполнять тяжёлые вычисления. Выполнение всей этой работы непосредственно в цепочке может быть дорогостоящим и ресурсоёмким. SNIP-36 предлагает альтернативный подход. Приложения могут выполнять подходящую логику вне цепочки, генерировать STARK-доказательство этой операции и отправлять доказательство на Starknet для проверки. Вот как работает процесс: — Приложение выполняет свою логику вне цепочки на основе определённого состояния Starknet. — S Two prover создаёт доказательство, подтверждающее корректность выполнения. — Приложение отправляет доказательство вместе с данными, называемыми proof_facts. — Консенсус Starknet проверяет доказательство, и контракт приложения может использовать подтверждённый результат для выполнения необходимых изменений состояния. Проще говоря, вычисления происходят вне цепочки, но их корректность всё ещё можно проверить на Starknet. А вот что делает последнее обновление особенно интересным. С версией Starknet v0.14.4 SNIP-36 расширяется за пределы небольших виртуальных транзакций и теперь поддерживает доказательство гораздо более крупных, размером с блок, вычислений. При соблюдении определённых условий одно доказанное транзакция может содержать до 1,1 миллиарда единиц L2 газа вычислительной нагрузки. Это означает, что приложения могут обрабатывать рабочие нагрузки, которые были бы слишком велики для обычной транзакции, доказывая выполнение вместо оплаты такой нагрузки как обычной выполненной на цепочке операции. Так почему это важно? 1. ZKThreads и масштабирование приложений Приложения могут перемещать больше своей логики вне цепочки и возвращать подтверждённые результаты обратно на Starknet. Это открывает возможности для масштабирования приложений через ZKThreads. 2. Приложения с фокусом на конфиденциальность SNIP-36 также может поддерживать приложения, использующие приватные входные данные, при этом раскрывая только необходимые публичные результаты. Текущая реализация обеспечивает вычислительную конфиденциальность, но её не следует путать с полными математическими гарантиями полной нулевого знания конфиденциальности. 3. Больше гибкости для разработчиков Разработчики получают больше свободы для создания приложений, требующих сложных вычислений, не заставляя каждую часть этой нагрузки проходить через обычное выполнение на цепочке. Одна из вещей, которая мне интересна в Starknet, — это то, что он ориентирован не только на обработку большего количества транзакций. Он также упрощает обработку сложных вычислений приложениями, не перекладывая всю нагрузку на цепочку. Вот где SNIP-36 становится интересным. Больше вычислений с подтверждёнными результатами — больше возможностей для разработчиков на Starknet. Ещё рано, но определённо стоит следить за этим.