Ethereum забезпечив більше ніж 100 млрд доларів на кількох ланцюгах, але розробники вже давно стикаються з вбудованими обмеженнями EVM: відсутність доступу до історичних даних, суворі ліміти газу та жорсткий дизайн смарт-контрактів.
Нова примітив @SuccinctLabs — SP1-Contract-Call (SP1-CC) — змінює це.
Замість того, щоб бути прив'язаним до виконання в мережі, SP1-CC впроваджує нову модель: Читати → Обчислювати → Перевіряти.
Читати: Доступ до історичного стану блокчейну, подій або calldata.
Обчислити: Виконуйте довільну логіку Solidity поза ланцюгом без обмежень газу.
Перевірте: доведіть це в ончейні за допомогою одного нульового знання.
Це робить EVM більш інтроспективним, програмованим і масштабованим — без зміни самого Ethereum.
Як розробники можуть використовувати SP1-CC
SP1-CC постачається з трьома основними інструментами:
call(): Емуляція викликів контракту в будь-якому блоці без зміни стану.
create(): Симулюйте розгортання контрактів поза ланцюгом, дозволяючи складні поведінки та взаємодії без ліміту газу.
get_logs(): Запит журналів через довільні блоки, розблокування даних, які зазвичай недоступні всередині EVM.
Використання в реальному світі
Ончейн управління: оновлюйте управління без міграцій — знімайте баланси, перевіряйте голоси та доводьте результати безпосередньо.
DeFi Оркли: Створюйте перевіряємi цінові канали без транзакцій контрольних точок, що дозволяє використовувати розширені метрики, такі як VWAP.
Розкриття безпеки: Білоносі можуть безпечно довести експлойти за допомогою ZK-доказу, не розкриваючи деталі атаки.
Airdrops: Запускайте прозорі, верифіковані аірдропи з складними критеріями участі.
Вже забезпечує провідні команди
Проекти, такі як Eigenlayer, інтегрують SP1-CC. EigenDA використовує його для перевірки даних блобів поза ланцюгом і публікації стиснених доказів у ланцюзі—уникаючи витратних обчислень у ланцюзі.
Чому це важливо
SP1-CC ефективно знімає обмеження на те, що розробники можуть створювати в Ethereum. Багатші додатки, масштабовані оракули, безпечні розкриття інформації та перевіряюча управлінська структура тепер можливі — при цьому зберігаючи основну логіку в Solidity.
Succinct називає це початком «золотої ери розробки смарт-контрактів», що підтримується мережею Succinct Prover.
#SuccinctLabs $PROVE
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
Succinct запускає SP1-CC: Розблокування повної потужності EVM
Ethereum забезпечив більше ніж 100 млрд доларів на кількох ланцюгах, але розробники вже давно стикаються з вбудованими обмеженнями EVM: відсутність доступу до історичних даних, суворі ліміти газу та жорсткий дизайн смарт-контрактів.
Нова примітив @SuccinctLabs — SP1-Contract-Call (SP1-CC) — змінює це.
Замість того, щоб бути прив'язаним до виконання в мережі, SP1-CC впроваджує нову модель: Читати → Обчислювати → Перевіряти.
Читати: Доступ до історичного стану блокчейну, подій або calldata.
Обчислити: Виконуйте довільну логіку Solidity поза ланцюгом без обмежень газу.
Перевірте: доведіть це в ончейні за допомогою одного нульового знання.
Це робить EVM більш інтроспективним, програмованим і масштабованим — без зміни самого Ethereum.
Як розробники можуть використовувати SP1-CC
SP1-CC постачається з трьома основними інструментами:
call(): Емуляція викликів контракту в будь-якому блоці без зміни стану.
create(): Симулюйте розгортання контрактів поза ланцюгом, дозволяючи складні поведінки та взаємодії без ліміту газу.
get_logs(): Запит журналів через довільні блоки, розблокування даних, які зазвичай недоступні всередині EVM.
Використання в реальному світі
Ончейн управління: оновлюйте управління без міграцій — знімайте баланси, перевіряйте голоси та доводьте результати безпосередньо.
DeFi Оркли: Створюйте перевіряємi цінові канали без транзакцій контрольних точок, що дозволяє використовувати розширені метрики, такі як VWAP.
Розкриття безпеки: Білоносі можуть безпечно довести експлойти за допомогою ZK-доказу, не розкриваючи деталі атаки.
Airdrops: Запускайте прозорі, верифіковані аірдропи з складними критеріями участі. Вже забезпечує провідні команди
Проекти, такі як Eigenlayer, інтегрують SP1-CC. EigenDA використовує його для перевірки даних блобів поза ланцюгом і публікації стиснених доказів у ланцюзі—уникаючи витратних обчислень у ланцюзі. Чому це важливо
SP1-CC ефективно знімає обмеження на те, що розробники можуть створювати в Ethereum. Багатші додатки, масштабовані оракули, безпечні розкриття інформації та перевіряюча управлінська структура тепер можливі — при цьому зберігаючи основну логіку в Solidity.
Succinct називає це початком «золотої ери розробки смарт-контрактів», що підтримується мережею Succinct Prover. #SuccinctLabs $PROVE