1/ Existem inúmeros projetos ZK – Zcash, Polygon, StarkNet – cada um com sua própria linguagem de frontend, sistema de prova de backend ou aplicação.
Mas todos eles compartilham uma camada comum:
Frontend → Circuito Algébrico (IR)→ Backend
A Representação Intermediária (IR) ou circuito algébrico é o fio condutor comum.
Minimizar a IR pode ser a chave para alcançar provas ZK em tempo real, não para uma única aplicação, mas em todo o ecossistema ZK.
3/ Porque escrever um IR otimizado é difícil.
Expandir restrições pode explodir em memória, e o design de IR em ZK ainda é um campo jovem, ao contrário da matemática tradicional ou da teoria de compiladores, que tiveram décadas de trabalho de otimização.
Acreditamos que, ao mapear ideias comprovadas da álgebra e de outros campos matemáticos para o domínio ZK, podemos desbloquear uma nova onda de eficiência.
4,63 mil
75
O conteúdo apresentado nesta página é fornecido por terceiros. Salvo indicação em contrário, a OKX não é o autor dos artigos citados e não reivindica quaisquer direitos de autor nos materiais. O conteúdo é fornecido apenas para fins informativos e não representa a opinião da OKX. Não se destina a ser um endosso de qualquer tipo e não deve ser considerado conselho de investimento ou uma solicitação para comprar ou vender ativos digitais. Na medida em que a IA generativa é utilizada para fornecer resumos ou outras informações, esse mesmo conteúdo gerado por IA pode ser impreciso ou inconsistente. Leia o artigo associado para obter mais detalhes e informações. A OKX não é responsável pelo conteúdo apresentado nos sites de terceiros. As detenções de ativos digitais, incluindo criptomoedas estáveis e NFTs, envolvem um nível de risco elevado e podem sofrer grandes flutuações. Deve considerar cuidadosamente se o trading ou a detenção de ativos digitais é adequado para si à luz da sua condição financeira.