Okej, det håller på att gå överstyr. Jag glömde att mitt Bitcoin-utforskningsteam är så goated. Vi har redan implementerat STARK_VERIFY TZE i en modifierad Zcash Zebra-implementering, och vi kunde verifiera ett Circle STARK-bevis på ett RIKTIGT Starknet-block på testnet! Ztarknet POC intensifieras. Jag sa en månad, men vi kanske får det tidigare. CC @zooko @0xMert_

Ztarknet explorer: Det Starknet-block som bevisats är det här: Stor rekvisita att @monsieur_kus @BrandonR505 @aundumla Ni skickar som en galning som vanligt!

@0xMert_ och ja, oroa dig inte, jag kommer att arbeta hårdare med förklaringar, diagram, förklarande videor och så vidare. Jag var bara så glad över att dela denna ENORMA prestation

Vad händer e2e: - en Starknet-sequencer producerar ett Ztarknet-block Vi bevisar blocket med hjälp av Stwo prover - Skicka in till vårt zcash-testnät som en transaktion med en ingång och en utdataingång innehåller bevis, spenderar utdata som innehåller tidigare Ztarknet-tillstånd utdata innehåller nästa Ztarknet-tillstånd (efter uppdatering) - Dessa är speciella "extension"-in- och utgångar (aka TZE), som introducerades i ZFuture-uppgraderingen - I grund och botten är det samma transparenta in- och utgångar, men istället för Bitcoin-skript har du ett anpassat program som är inskrivet i konsensus s/o till @monsieur_kus för uppdelningen