DApp Store | Hub da Web3 para eventos e jogos

Tópicos em alta

Bobbin Threadbare

blockchains, provas de conhecimento zero, máquinas virtuais. Trabalhando em @0xMiden

É absolutamente possível escrever protocolos DeFi (e muito mais) enquanto confia em ZKPs para privacidade - é exatamente para isso que o Miden foi projetado. O principal truque é reimaginar como o estado funciona e, em vez de usar um estado monolítico, adaptar o Modelo de Ator (algo usado em sistemas distribuídos por décadas). Então podemos ter atores privados que podem interagir com atores públicos que controlam o estado compartilhado. Ou poderíamos ter atores semiprivados (o estado é conhecido por algum conjunto de usuários, mas não por toda a rede) e estes também podem interagir tanto com atores totalmente privados quanto com atores públicos. Este é um modelo muito poderoso que cobre um grande número de casos de uso DeFi - de AMMs e CLBOs anônimos a stablecoins compatíveis com privados. E outra coisa legal: para escrever esses protocolos DeFi, não precisamos de engenheiros que entendam ZKPs - você pode escrever tudo em Rust. Eu gosto de FHE - tecnologia muito legal e permite alguns casos de uso que os ZKPs não podem resolver (ou seja, ter um estado compartilhado verdadeiramente privado) - mas também vem com uma enorme sobrecarga de desempenho para a rede. A beleza dos ZKPs é que eles realmente reduzem a carga da rede - uma transação comprovada localmente não precisa ser executada pela rede (verificar as provas ZK é muito barato) - chamamos esse conceito de blockchain Edge. Enquanto com FHE, cada transação se torna 100x (ou 1000x) mais cara para a rede. Os ASICs ajudarão aqui com certeza, mas isso também significa que cada nó de validação precisará executar esses ASICs ou, caso contrário, eles não poderão seguir a rede. E exigir que cada nó tenha um ASIC é como exigir que cada nó Bitcoin seja um minerador.

6/ b) é o mais sutil e mais difícil de entender. É aqui que o ZK falha Para entender o porquê, vamos considerar o aplicativo de privacidade mais simples: zcash (sem defi). Quando você envia uma transação zcash blindada, você produz uma prova que diz: aproximadamente "Estou enviando moedas de forma que meu saldo permaneça >0 após esta transação". Bem, se você agregar 1000 dessas transações e depois olhar para o estado da cadeia como um estranho, o que você sabe sobre o estado? Nada Agora imagine tentar fazer DeFi em cima disso. Como você faz DeFi se sua transação literalmente não pode ver ou interagir com os ativos de outra pessoa Várias equipes têm tentado resolver isso na última década, incluindo Aztec, Aleo e provavelmente mais algumas que não me lembro no momento. O desafio fundamental que cada uma dessas equipes tem que enfrentar é o desafio descrito acima. Basicamente, como você projeta ZKPs para permitir que informações seletivas sejam vistas pelo mundo exterior (por exemplo, quanta garantia está lastreando um empréstimo) Agora considere ser um desenvolvedor DeFi. Você precisa não apenas projetar seu protocolo DeFi, mas também fazê-lo 1) de maneira parcialmente paralisada e 2) entender como os ZKPs funcionam. Quem quer ser o desenvolvedor construindo um sistema DeFi que tenha 9 ou 10 dígitos com todos esses riscos adicionais. Isso é assustador Muitas das equipes zk DeFi têm trabalhado para tentar tornar essas coisas mais compreensíveis, mas a realidade subjacente é extremamente difícil de enfrentar. Além disso, isso requer a reconstrução de todos os primitivos DeFi do zero. O desafio fundamental aqui é que o DeFi como o conhecemos atualmente *requer a capacidade de raciocinar sobre o estado compartilhado globalmente.* Talvez haja uma maneira de reconstruir o DeFi do zero com raciocínio seletivo, mas sou extremamente cético em relação a essa afirmação. E demonstrando essa afirmação para o mundo em geral de uma forma que todos os outros acreditem que será um esforço de uma década, dado o risco técnico existente com dezenas de circuitos zk sob medida. Então, o que é FHE? O FHE permite que você compute sobre dados criptografados. Isso tem sido considerado o santo graal da criptografia por décadas. Pensar em DeFi privado usando FHE como a principal construção criptográfica é bastante simples. Você pensa nisso da mesma forma como se fosse transparente! É só que, magicamente, nem tudo é transparente, mas você ainda pode calcular sobre isso de qualquer maneira Sim, isso é mágico

Melhores

Classificação

Favoritos