Qual é a primeira coisa que vem à sua mente quando você ouve ZK? Para mim, é Fermah. Porque @fermah_xyz não está tentando criar o próximo ZK rollup, zkVM ou novo sistema de prova. É construir a plataforma à qual todos eles podem se conectar. As provas ZK são poderosas, mas executar a infraestrutura para elas é uma fera totalmente diferente. Você precisa de hardware poderoso (geralmente GPUs), ambientes de software altamente especializados, e orquestração confiável para garantir que tudo corra bem. É caro, fragmentado e personalizado para cada pilha. • Quer provar Groth16? Você configura um sistema. • Quer provar lotes de rolagem ou blocos zkSync? Isso é outro. • Precisa executar o RISC Zero ou o Jolt zkVM? Diferente novamente. É como se cada serviço de streaming precisasse de sua própria TV, seu próprio controle remoto e seu próprio sofá. Fermah muda isso. Fermah é um mercado universal de geração de provas Isso significa que qualquer pessoa pode enviar solicitações de prova em sistemas de prova, cadeias e VMs, e o Fermah irá combiná-los com o nó operador certo para calcular e retornar essa prova. A maneira como você usa a AWS para executar computação, Você usará o Fermah para gerar provas. O que Fermah resolve? Abstrair a infraestrutura de prova. Chega de gerenciar máquinas, instalar circuitos ou criar tempos de execução do Docker. Em vez disso, os candidatos enviam trabalhos via RPC ou SDK. O matchmaker de Fermah os atribui aos nodos provadores disponíveis. A prova é devolvida e, opcionalmente, armazenada. Nos bastidores, esses nós são executados por operadores Eigenlayer. O que significa que a Fermah utiliza a crescente economia de restaking da Ethereum para oferecer geração de provas descentralizadas e de alto desempenho. Esse modelo de orquestração significa: • Maior utilização de provadores • Menor custo por prova • Tempos de retorno mais rápidos • Provas como serviço (em escala) E não é teórico. Está funcionando. Atualmente, a Fermah alimenta cargas de trabalho de produção para @zksync, gerando provas de bloco com forte desempenho econômico. Ele também é integrado ao pipeline zkEVM do Scroll, abrangendo estágios de pedaço, lote e pacote. E é a camada de teste para o Jolt zkVM da a16z, que está ativo na rede de teste do Fermah. Em vez de empurrar mais uma estrutura ZK, o Fermah se posiciona como a camada conectiva que transforma a geração de prova de conhecimento zero em um primitivo programável e confiável para todos. Então, o que Fermah oferece, em termos reais? Uma única interface para: • Gere provas Groth16, zkVM, zkEVM, RISC Zero ou Jolt • Delegue provas a nós off-chain, abstraídas da lógica do aplicativo • Integre a geração de provas em cadeias e sistemas • Evitar o fardo de devops de manter a infraestrutura de prova interna Assim como um desenvolvedor não cria um datacenter para implantar um aplicativo, Fermah acredita que você não deveria precisar construir uma fazenda de provadores apenas para usar o conhecimento zero. TL; DR Fermah não é apenas mais uma ferramenta ZK. É a camada de infraestrutura que torna possível a geração universal de ZK. Quando a geração de provas se torna comoditizada, automatizada e integrada em toda a pilha, não será porque cada aplicativo construiu seu próprio pipeline. Será porque o Fermah facilitou a conexão e a prova. Gfermah. @vanishree_rao