1/ Existem inúmeros projetos ZK – Zcash, Polygon, StarkNet – cada um com sua própria linguagem de front-end, sistema de prova de back-end ou aplicativo. 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 comum. Minimizar o IR pode ser fundamental para obter 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. A expansão das restrições pode explodir na memória, e o design de IR no ZK ainda é um campo jovem, ao contrário da matemática tradicional ou da teoria do compilador, que tiveram décadas de trabalho de otimização. Acreditamos que, ao mapear ideias comprovadas da álgebra e de outros campos matemáticos no domínio ZK, podemos desbloquear uma nova onda de eficiência.
Mostrar original
4,75 mil
76
O conteúdo desta página é fornecido por terceiros. A menos que especificado de outra forma, a OKX não é a autora dos artigos mencionados e não reivindica direitos autorais sobre os materiais apresentados. O conteúdo tem um propósito meramente informativo e não representa as opiniões da OKX. Ele não deve ser interpretado como um endosso ou aconselhamento de investimento de qualquer tipo, nem como uma recomendação para compra ou venda de ativos digitais. Quando a IA generativa é utilizada para criar resumos ou outras informações, o conteúdo gerado pode apresentar imprecisões ou incoerências. Leia o artigo vinculado para mais detalhes e informações. A OKX não se responsabiliza pelo conteúdo hospedado em sites de terceiros. Possuir ativos digitais, como stablecoins e NFTs, envolve um risco elevado e pode apresentar flutuações significativas. Você deve ponderar com cuidado se negociar ou manter ativos digitais é adequado para sua condição financeira.