Ok, está a sair do controle. Esqueci que a minha equipa de exploração de Bitcoin é tão incrível. Já implementámos o STARK_VERIFY TZE numa implementação modificada do Zcash Zebra, e conseguimos verificar uma prova STARK da Circle de um bloco REAL do Starknet na testnet! O POC do Ztarknet intensifica-se. Eu disse um mês, mas podemos tê-lo mais cedo. cc @zooko @0xMert_

Explorador Ztarknet: O bloco Starknet provado é este: grandes agradecimentos a @monsieur_kus @BrandonR505 @aundumla vocês entregam como loucos, como sempre!

@0xMert_ e sim, não se preocupe, eu vou trabalhar mais nas explicações, diagramas, vídeos explicativos e assim por diante. Eu estava apenas tão empolgado para compartilhar esta ENORME conquista

O que está a acontecer e2e: - um sequenciador Starknet produz um bloco Ztarknet Provamos o bloco usando o provador Stwo - Submeter à nossa testnet zcash como uma transação com uma entrada e uma saída a entrada contém a prova, gasta a saída contendo o estado anterior do Ztarknet a saída contém o próximo estado do Ztarknet (após a atualização) - Estas são entradas e saídas "de extensão" especiais (também conhecidas como TZE), introduzidas na atualização ZFuture - Essencialmente, são as mesmas entradas/saídas transparentes, mas em vez de um script Bitcoin, tem um programa personalizado consagrado no consenso s/o para @monsieur_kus pela explicação