TLDR:
- O argumento anti-ZK da Canton baseia-se numa suposição oculta de que não existe nenhum sistema de backup para detetar falhas.
- O modelo baseado apenas em confiança da Canton não tem camada criptográfica, deixando chaves comprometidas espalharem danos silenciosamente.
- A Prividium implementa três camadas de defesa independentes, mantendo qualquer violação contida numa única chain da instituição.
- O DAML enfrenta as mesmas preocupações de maturidade que a Canton levanta sobre as provas ZK, mas com muito menos olhos de segurança a vigiar.
As provas de conhecimento zero estão no centro de um debate crescente nas finanças institucionais. Os fundadores da Canton Network argumentaram que as provas ZK representam riscos inaceitáveis para sistemas financeiros de missão crítica.
Eles levantaram este caso junto de compradores e reguladores, tanto publicamente como privadamente. Uma resposta pública do investigador ZK Alex desafia esse argumento diretamente.
A refutação compara as abordagens arquitetónicas da Canton e Prividium.
O caso de risco da Canton e a suposição em que se baseia
O argumento da Canton contra as provas ZK centra-se na sua complexidade. Bugs em tais sistemas podem passar despercebidos porque os dados subjacentes permanecem privados.
Se uma falha se espalhar silenciosamente, pode criar risco sistémico nas redes financeiras. A preocupação é genuína, mas a lógica que se segue contém uma lacuna.
O raciocínio assume que as provas ZK são a única linha de defesa num sistema. Alex traça um paralelo com a aviação, controlos nucleares e dispositivos médicos.
Cada um deles é complexo, de missão crítica e capaz de falha catastrófica. Nenhum foi abandonado por essa razão—operam através de redundância e contenção, não pela ausência de risco.
Numa publicação no X, @gluk64 enquadrou-o como um padrão mais amplo. Qualquer tecnologia complexa e de missão crítica que possa falhar catastroficamente falharia no teste da Canton.
A suposição oculta que faz todo o trabalho é que não existe sistema de backup. Essa suposição, não a tecnologia em si, é o que cria perigo sistémico.
A própria arquitetura da Canton ilustra este ponto. O seu modelo de privacidade depende apenas de operadores confiáveis para segregar dados entre participantes. Não existe camada de verificação criptográfica implementada.
Se as chaves do operador forem comprometidas, o estado manipulado propaga-se silenciosamente através de chains opacas sem nada para o detetar.
A defesa em camadas da Prividium e a questão dos padrões abertos
A Prividium constrói o seu modelo em três camadas independentes de defesa. Os parceiros institucionais operam nós dentro dos seus próprios ambientes regulados.
As provas de conhecimento zero adicionam então uma camada de verificação criptográfica acima da segurança operacional. À medida que os sistemas de prova amadurecem, múltiplos verificadores independentes podem verificar o mesmo cálculo. Uma falha numa implementação é então detetada por outra.
A contenção está integrada na arquitetura por design. Cada instância Prividium é uma chain separada operada por uma única instituição.
As interações inter-chain passam por mecanismos de contabilidade aplicados independentemente pelas instituições participantes ou on-chain. Mesmo um ataque combinado ao IT interno e um bug ZKP permanece confinado a essa única chain.
A questão dos padrões abertos adiciona outra camada à comparação. O movimento do ZKsync em direção à equivalência EVM completa reflete o princípio de que desviar-se dos padrões abertos amplia a superfície de ataque.
A infraestrutura do Ethereum enfrentou mais de uma década de testes adversários com centenas de milhares de milhões em jogo. Esse processo construiu padrões de auditoria mais fortes, ferramentas de verificação formal e padrões de design endurecidos.
As preocupações de maturidade da Canton sobre as provas ZK aplicam-se igualmente ao DAML, a sua linguagem de contrato inteligente proprietária. O DAML opera dentro de um ecossistema fechado com muito menos programadores e investigadores de segurança a vigiar.
Cada ciclo de vulnerabilidade pelo qual o Ethereum passou ainda está por vir para o DAML. A arquitetura com o historial mais longo nas condições mais severas apresenta o menor risco.
The post ZK Proofs Draw Fire as Canton Disputes Their Role in Institutional Finance appeared first on Blockonomi.
Source: https://blockonomi.com/zk-proofs-draw-fire-as-canton-disputes-their-role-in-institutional-finance/
