estive investigando novamente a abordagem da meia-noite e acho que a narrativa usual - "cadeia zk para privacidade" - meio que perde a mudança de arquitetura. é menos sobre privacidade como um recurso, mais sobre minimizar o que o consenso precisa validar.
uma parte é a execução orientada a provas. em vez de validadores reproduzirem transações, eles verificam provas zk de que as restrições foram satisfeitas. essa parte é sólida em princípio, mas parece muito dependente de quão expressivos esses circuitos podem ser. qualquer coisa ligeiramente complexa (digamos, lógica financeira condicional com múltiplos atores) provavelmente aumenta bastante o tamanho do circuito.
então há a separação de papéis - provadores vs validadores. validadores permanecem enxutos, o que é bom. mas provadores se tornam infraestrutura crítica. se a prova for terceirizada, o que provavelmente acontecerá, você está introduzindo uma camada econômica que ainda não está totalmente especificada. quem recebe pagamento? quão competitivo é esse mercado?
também estou analisando o modelo de divulgação seletiva deles. como provar "saldo > X" sem revelar o saldo. útil para coisas como checagens de crédito ou acesso restrito. mas isso pressupõe esquemas de prova padronizados entre aplicativos, caso contrário, a interoperabilidade se quebra rapidamente.
o que não se fala o suficiente é sobre gestão de estado. se a maior parte do estado é privada e fora da cadeia, então a sincronização entre usuários se torna não trivial. especialmente em interações multipartidárias.
e honestamente... parece que muito depende das ferramentas de desenvolvimento zk alcançarem o nível necessário.
assistindo:
* se os papéis dos provadores se descentralizam ou se agrupam
* como os desenvolvedores gerenciam a complexidade do circuito ao longo do tempo
* padrões para verificação de prova entre aplicativos
* latência real em interações de múltiplos passos
não tenho certeza se isso acaba parecendo contínuo para os construtores, ou apenas tecnicamente elegante, mas difícil de usar.#night @MidnightNetwork $NIGHT
