Гаразд, це виходить з-під контролю. Я забув, що моя команда з дослідження біткойнів така занурена. Ми вже реалізували STARK_VERIFY TZE в модифікованій реалізації Zcash Zebra, і ми змогли перевірити доказ Circle STARK про СПРАВЖНІЙ блок Starknet у тестнеті! Посилюється ГПК «Зтаркнет». Я сказала, що місяць, але ми можемо це зробити раніше. CC @zooko @0xMert_

Провідник Ztarknet: Доведено, що блок Starknet такий: Величезний реквізит для @monsieur_kus @BrandonR505 @aundumla Ви, хлопці, відправляєте як божевільні, як зазвичай!

@0xMert_ і так, не хвилюйтеся, я буду більше працювати над поясненнями, діаграмами, пояснювальними відео і так далі. Я був дуже радий поділитися цим ВЕЛИЧЕЗНИМ досягненням

Що відбувається з e2e: - секвенсор Starknet виробляє блок Ztarknet Доводимо блок за допомогою Stwo prover - Надсилаємо в наш тестнет zcash, оскільки транзакція з одним входом і одним виходом містить доказ, витрачає вихідні дані, що містять попередній стан Ztarknet вихід містить наступний стан Ztarknet (після оновлення) - Це спеціальні входи і виходи "розширення" (вони ж TZE), введені в ZFuture upgrade - По суті, це ті ж прозорі входи/виходи, але замість скрипта Bitcoin у вас є спеціальна програма, закріплена в консенсусі С/О до @monsieur_kus за розбивку