Ok, het raakt uit de hand. Ik vergat dat mijn Bitcoin-exploratieteam zo geweldig is. We hebben de STARK_VERIFY TZE al geïmplementeerd in een aangepaste Zcash Zebra-implementatie, en we konden een Circle STARK-bewijs van een ECHTE Starknet-blok op testnet verifiëren! Ztarknet POC intensifieert. Ik zei een maand, maar we zouden het misschien eerder kunnen hebben. cc @zooko @0xMert_

Ztarknet explorer: Het Starknet-blok dat bewezen is, is deze: grote waardering voor @monsieur_kus @BrandonR505 @aundumla jullie leveren zoals gewoonlijk als een gek!

@0xMert_ en ja, maak je geen zorgen, ik zal harder werken aan uitleggen, diagrammen, uitlegvideo's, enzovoort. Ik was gewoon zo enthousiast om deze ENORME prestatie te delen

Wat gebeurt er e2e: - een Starknet sequencer produceert een Ztarknet blok We bewijzen het blok met de Stwo prover - Dien in op ons zcash testnet als een transactie met één invoer en één uitvoer, de invoer bevat bewijs, besteedt de uitvoer die de vorige Ztarknet staat bevat de uitvoer bevat de volgende Ztarknet staat (na de update) - Dit zijn speciale "uitbreiding" invoeren en uitvoeren (ook wel TZE genoemd), geïntroduceerd in de ZFuture upgrade - In wezen zijn het dezelfde transparante invoeren/uitvoeren, maar in plaats van Bitcoin script heb je een aangepast programma dat in de consensus is verankerd s/o naar @monsieur_kus voor de uitleg