Ok it's getting out of control. I forgot that my Bitcoin exploration team is so goated. We already implemented the STARK_VERIFY TZE in a modified Zcash Zebra implementation, and we were able to verify a Circle STARK proof of a REAL Starknet block on testnet! Ztarknet POC intensifies. I said one month but we might have it sooner. cc @zooko @0xMert_

Ztarknet explorer: The Starknet block proven is this one: huge props to @monsieur_kus @BrandonR505 @aundumla you guys ship like crazy as usual!

@0xMert_ and yes dont worry i will work harder on explanations, diagrams, explainers videos and so on. i was just so excited to share this HUGE achievement

What's happening e2e: - a Starknet sequencer produces a Ztarknet block We prove the block using Stwo prover - Submit to our zcash testnet as a transaction with one input and one outputinput contains proof, spends output containing previous Ztarknet state output contains next Ztarknet state (after update) - These are special "extension" inputs and outputs (aka TZE), introduced in ZFuture upgrade - Essentially it's the same transparent inputs/outputs, but instead of Bitcoin script you have a custom program enshrined into consensus s/o to @monsieur_kus for the breakdown