Ок, это выходит из-под контроля. Я забыл, что моя команда по исследованию Bitcoin такая крутая. Мы уже внедрили STARK_VERIFY TZE в модифицированную реализацию Zcash Zebra и смогли проверить доказательство Circle STARK реального блока Starknet в тестовой сети! Ztarknet POC усиливается. Я сказал, что это займет месяц, но мы можем сделать это раньше. cc @zooko @0xMert_

Исследователь Ztarknet: Доказанный блок Starknet — это этот: огромное спасибо @monsieur_kus @BrandonR505 @aundumla вы, как всегда, работаете безумно!

@0xMert_ и да, не переживай, я буду усерднее работать над объяснениями, диаграммами, видео с объяснениями и так далее. Я просто был так взволнован, чтобы поделиться этим ОГРОМНЫМ достижением

Что происходит e2e: - секвенсер Starknet создает блок Ztarknet Мы доказываем блок с помощью Stwo prover - Отправляем в нашу тестовую сеть zcash как транзакцию с одним входом и одним выходом, вход содержит доказательство, тратит выход, содержащий предыдущее состояние Ztarknet выход содержит следующее состояние Ztarknet (после обновления) - Это специальные "расширяющие" входы и выходы (также известные как TZE), введенные в обновлении ZFuture - По сути, это те же прозрачные входы/выходы, но вместо скрипта Bitcoin у вас есть пользовательская программа, закрепленная в консенсусе спасибо @monsieur_kus за разбор