As provas de conhecimento zero (ZKP) são uma revolução na criptografia, permitindo que uma parte prove a veracidade de uma declaração sem revelar as informações subjacentes. No entanto, gerar ZKPs é um processo caro e intensivo em recursos. Os desenvolvedores enfrentam o desafio de adquirir, implantar e manter uma infraestrutura cara que muitas vezes fica subutilizada. Essa ineficiência aumenta os custos do usuário e retarda a adoção, tornando as soluções baseadas em ZKP menos acessíveis.

Fermah resolve esse problema com sua camada de geração de prova universal. Projetado para tornar as ZKPs mais rápidas, mais baratas e mais confiáveis, o Fermah remove gargalos de infraestrutura e otimiza a utilização de recursos. Aproveitando a tecnologia avançada, cria uma experiência perfeita para desenvolvedores e usuários finais. Se você é um desenvolvedor de blockchain, uma empresa que protege dados ou um indivíduo em busca de privacidade, o Fermah torna a geração de ZKP acessível e eficiente.

O que é Fermah?

Fermah é uma plataforma universal de geração de provas que transforma a forma como as provas de conhecimento zero são criadas e utilizadas. Ela atua como uma ponte entre os desenvolvedores que precisam de ZKPs e a infraestrutura robusta necessária para gerá-las. No seu cerne, Fermah elimina os obstáculos técnicos e financeiros que há muito tempo assolam o espaço de ZKP, oferecendo uma alternativa eficiente para geração de provas.

A Missão e Visão da Fermah

A missão da Fermah é democratizar a tecnologia ZKP, garantindo que desenvolvedores e empresas possam acessar soluções acessíveis, rápidas e confiáveis. Sua visão é se tornar a espinha dorsal da geração ZKP, capacitando aplicativos globais em privacidade, escalabilidade e segurança sem as restrições da infraestrutura com muitos recursos.

Tecnologia por trás da Fermah

A arquitetura da Fermah é construída sobre tecnologias criptográficas avançadas e uma infraestrutura descentralizada robusta, projetada para otimizar a geração de Provas de Conhecimento Zero (ZKPs) para uma variedade de aplicações. Esta base integra ferramentas criptográficas de ponta, como o middleware EigenLayer, juntamente com uma rede de Matchmaker peer-to-peer, que aloca eficientemente recursos computacionais. A plataforma é projetada para suportar múltiplos sistemas de prova, garantindo compatibilidade perfeita com diversos casos de uso, desde verificação de blockchain até transmissão segura de dados.

Componentes de Fermah

No seu núcleo, o Fermah usa três componentes essenciais: Seekers, Matchmaker e Operators. Cada um desempenha um papel distinto na arquitetura geral, garantindo uma geração de ZKP suave, confiável e escalável. Aqui está uma análise de como cada componente funciona e contribui para a eficiência do sistema:

1. Buscadores

Os Seekers são os desenvolvedores ou entidades que necessitam da geração de Provas de Conhecimento Zero. Isso pode incluir projetos de blockchain, empresas ou até mesmo indivíduos que procuram aumentar a privacidade e a segurança. Os Seekers enviam solicitações de prova por meio da plataforma, especificando suas necessidades computacionais e o tipo de ZKP necessário. Uma vez que sua solicitação é processada, os Seekers são conectados aos Operadores apropriados que possuem os recursos necessários para concluir a geração da prova.

1. Casamenteiro

O Matchmaker atua como a ponte entre os Seekers e os Operadores. Esta rede peer-to-peer combina pedidos de prova dos Seekers com Operadores compatíveis, otimizando a alocação de recursos computacionais com base na disponibilidade e especificações de hardware. O Matchmaker garante que cada solicitação seja correspondida a um Operador que possa lidar com a tarefa dentro dos limites de tempo e parâmetros de custo definidos. Seu papel é crucial para manter a transparência, confiabilidade e eficiência em todo o processo, pois acompanha o status de cada solicitação desde a submissão até a conclusão.

1. Operadores

Os operadores são os provedores de infraestrutura que realizam os cálculos de prova reais. Eles podem variar de fornecedores de hardware individuais a data centers em grande escala que oferecem recursos baseados em nuvem. Os operadores são responsáveis por executar as tarefas computacionais associadas à geração dos ZKPs necessários. Eles comprometem seus recursos de hardware por períodos pré-determinados e, ao fazer isso, contribuem para a segurança e confiabilidade geral da rede. Esse modelo descentralizado garante uma cadeia de suprimentos diversificada e distribuída para a geração de provas, evitando gargalos e promovendo redundância.

Implantação do Sistema de Prova

Fermah usa contêineres Docker para empacotar sistemas de prova, que são então hospedados em URLs de Rede de Entrega de Conteúdo (CDN). Esta configuração permite que os Operadores acessem os sistemas de prova necessários rapidamente e os executem com atraso mínimo, garantindo que a plataforma opere com alta eficiência. À medida que os Solicitantes enviam suas Solicitações de Prova, o sistema verifica essas solicitações, as combina com Operadores adequados e as processa dentro de prazos especificados. O Matchmaker monitora e acompanha continuamente o progresso de cada solicitação, garantindo responsabilidade e execução perfeita.

Modelo Econômico

Além disso, Fermah utiliza o modelo de staking descentralizado da EigenLayer, o que aprimora a segurança econômica de sua rede. Os operadores apostam seus recursos por períodos designados, garantindo que permaneçam comprometidos com o sistema e seu desempenho. Esse modelo de staking aumenta a confiança na plataforma e fornece um mecanismo para recompensar os operadores, alinhando os incentivos para ambas as partes. A natureza descentralizada do sistema contribui para sua confiabilidade e reduz os custos operacionais associados à geração de ZKP, tornando-o mais acessível para desenvolvedores e empresas.

Como o Fermah funciona?

O fluxo de trabalho da Fermah é projetado para ser eficiente, seguro e transparente, garantindo a geração perfeita de Prova de Conhecimento Zero (ZKP). A plataforma simplifica o processo complexo de criação de ZKP por meio de um sistema estruturado que envolve três componentes principais: Seekers, Matchmaker e Operators. Aqui está uma olhada mais de perto em como o processo se desenrola:

Envio de Solicitação de Comprovação

A jornada começa quando os Seekers, sejam desenvolvedores, projetos de blockchain ou empresas, enviam suas solicitações de prova por meio de um servidor JSON-RPC. Essas solicitações incluem detalhes específicos de computação, como o tipo de ZKP necessário e os parâmetros associados à tarefa. Além disso, os Seekers fornecem links para os sistemas de prova relevantes que serão usados para gerar as provas. Esta etapa garante que todas as informações necessárias sejam coletadas antecipadamente e estejam disponíveis para processamento, permitindo que o sistema aloque recursos de forma eficaz.

Atribuição de tarefas

Assim que a solicitação de prova for enviada, o Matchmaker assume o controle. Ele primeiro verifica a elegibilidade do Solicitante, garantindo que atenda aos requisitos da plataforma para usar o serviço. Em seguida, o Matchmaker atribui a tarefa a um Operador apropriado. A alocação é baseada na compatibilidade de hardware e disponibilidade de recursos. O Matchmaker garante que o Operador escolhido tenha o poder computacional para executar a geração de prova dentro do prazo exigido. Esse processo de correspondência inteligente ajuda a equilibrar a carga da rede e garante que os recursos sejam alocados de maneira eficiente.

Geração de Prova

Uma vez atribuída a tarefa, o Operador inicia o processo de geração de prova. Os Operadores baixam os sistemas de prova necessários a partir dos URLs do CDN, que Fermah hospeda para garantir rápido e confiável acesso. Com os sistemas de prova necessários em mãos, o Operador utiliza seus recursos computacionais para gerar a prova solicitada pelo Solicitante. Todo o processo está em conformidade com os parâmetros definidos pelo Solicitante, garantindo que as provas atendam aos critérios esperados de precisão e desempenho.

Entrega de Resultados

Após a geração bem-sucedida da prova, os resultados são entregues ao Solicitante por meio de sua URL de retorno especificada. Isso garante que o Solicitante receba a prova concluída diretamente e de maneira oportuna. Se, por qualquer motivo, a prova não puder ser gerada dentro do limite de tempo definido, o pedido é marcado como rejeitado. Essa salvaguarda garante que a plataforma mantenha um alto padrão de serviço e confiabilidade, evitando que gerações de provas incompletas ou atrasadas sejam aceitas.

Rastreamento e Confiabilidade

Durante todo o processo, o Matchmaker desempenha um papel crucial no acompanhamento do status de cada solicitação. Os solicitantes podem monitorar suas solicitações em tempo real, garantindo total transparência e confiança no sistema. Além disso, os operadores comprometem seus recursos por um mínimo de 500 blocos, aproximadamente duas horas, garantindo que permaneçam envolvidos e dedicados à tarefa. Esse compromisso proporciona estabilidade à rede e garante que os recursos estejam sempre disponíveis para geração de provas. Ao rastrear as solicitações e garantir a entrega pontual das provas, a Fermah mantém um alto nível de confiabilidade e responsabilidade tanto para os solicitantes quanto para os operadores.

Principais recursos do Fermah

Geração de Prova Universal

Fermah suporta uma ampla gama de sistemas de prova de conhecimento zero, incluindo zkVMs, zkEVMs, Groth16 e muitos outros protocolos. Esse suporte universal torna o Fermah altamente adaptável a diferentes setores e casos de uso, garantindo compatibilidade com vários padrões criptográficos. Essa versatilidade permite que o Fermah atenda a uma crescente variedade de soluções de blockchain, privacidade e proteção de dados. Essa característica serve como a espinha dorsal da plataforma do Fermah, permitindo que os usuários gerem provas em uma ampla variedade de sistemas de prova com eficiência e confiabilidade sem precedentes.

Aspectos chave da geração de prova universal

1. Credibilidade Neutra e Inclusiva: Fermah é projetado para suportar todos os principais sistemas de prova, incluindo zkVMs, zkEVMs, Groth16 e muito mais. Essa neutralidade garante que os usuários possam escolher o sistema de prova mais adequado para suas necessidades específicas sem ficarem presos a uma única tecnologia.

2. Modelo de Marketplace: A plataforma opera como um marketplace, com o lado da oferta consistindo de máquinas de alto desempenho como GPUs e FPGAs. Esses recursos são combinados com a demanda dos usuários que precisam de provas ZK para várias aplicações, como zkRollups, pontes ZK e soluções focadas em privacidade.

3. Eficiência de custos e desempenho: Fermah é otimizado para gerar provas de forma econômica e com alto desempenho. Os usuários podem ajustar parâmetros para equilibrar entre preço e desempenho, garantindo que a geração de provas atenda aos seus requisitos financeiros e operacionais.

4. Abstraindo a Complexidade: Um dos objetivos principais da Fermah é abstrair a complexidade associada às provas de ZK. Ao fornecer uma interface amigável e modelos de preços previsíveis, a Fermah torna mais fácil para os desenvolvedores e empresas integrarem provas de ZK em seus projetos sem necessidade de conhecimentos profundos em criptografia.

5. Escalabilidade e Confiabilidade: A plataforma é projetada para lidar de forma confiável com tarefas de geração de provas em grande escala. Essa escalabilidade é crucial para aplicações que exigem grandes volumes de provas, garantindo que Fermah possa atender às demandas tanto de pequenos projetos quanto de grandes empresas.

A ZK Bazaar: Um Mercado Descentralizado

Fermah funciona como um mercado que conecta a oferta de recursos computacionais com a demanda por ZKPs. O lado da oferta consiste em GPUs e FPGAs que podem processar solicitações de geração de prova. Aplicações do lado da demanda que requerem tecnologia de Zero-Knowledge, como transações preservadoras de privacidade ou validação escalável de blockchain, podem enviar Solicitações de Prova. O Fermah Matchmaker garante que as solicitações sejam correspondidas aos Operadores mais adequados, otimizando custo e desempenho.

Geração de Prova ZK Barata, Rápida e Confiável

A arquitetura da Fermah é otimizada para fornecer geração rápida e econômica de ZKP, tornando-a acessível a desenvolvedores e empresas que buscam uma solução escalável. A capacidade da plataforma de processar provas rapidamente, ao mesmo tempo em que mantém a confiabilidade, a torna uma escolha ideal para aplicativos onde a geração de provas sensíveis ao tempo é crítica.

Preços e Desempenho personalizáveis

Fermah oferece aos desenvolvedores a capacidade de ajustar o equilíbrio entre preço e desempenho. Ajustando esse equilíbrio, os usuários podem otimizar suas Solicitações de Prova com base nas necessidades específicas do projeto. Esse recurso de personalização torna Fermah uma solução flexível tanto para projetos de pequena escala quanto para grandes empresas.

Delegação de Provação Protegida de Dados (Em Breve)

Fermah está prestes a introduzir a Delegação de Prova Protegida por Dados, um recurso empolgante que aumentará a privacidade garantindo que dados sensíveis não sejam expostos durante o processo de geração de prova. Esse recurso será valioso para projetos em áreas como saúde, finanças e comunicações seguras.

Casos de uso do Fermah

Verificação de Blockchain e Transações Preservadoras de Privacidade

Fermah é perfeito para aplicações baseadas em blockchain que requerem privacidade e escalabilidade. Ao utilizar ZKPs, as redes blockchain podem validar transações sem revelar informações sensíveis. Os desenvolvedores podem contar com o Fermah para gerar rapidamente as provas necessárias para a verificação das transações, tornando-o um jogador chave em projetos de finanças descentralizadas (DeFi) e blockchain focados em privacidade.

Processamento de Dados Confidenciais

Com a crescente demanda por compartilhamento seguro de dados, Fermah oferece uma maneira eficaz de realizar cálculos em dados criptografados, garantindo privacidade. Ele possibilita cálculos seguros para indústrias como saúde e finanças, onde informações sensíveis precisam permanecer privadas enquanto ainda são processadas ou analisadas.

Cadeia de suprimentos e verificação de identidade

A flexibilidade da Fermah também se estende a setores como gerenciamento da cadeia de suprimentos e verificação de identidade. Provas de conhecimento zero permitem verificações de identidade seguras e eficientes ou rastreamento de produtos em uma cadeia de suprimentos sem expor dados sensíveis, garantindo transparência e privacidade.

Fermah’s Devnet

O Devnet da Fermah serve como base para sua fase de teste e desenvolvimento. É uma rede com permissão projetada para conectar Buscadores e Operadores em um ambiente controlado e seguro, permitindo que as duas partes colaborem em envios de Solicitação de Prova e geração de provas. O Devnet já está ativo e aberto aos Operadores EigenLayer que podem optar por começar a processar Solicitações de Prova. Essa fase é crucial para ajustar os componentes da plataforma e garantir uma funcionalidade suave antes de seu lançamento público.

Principais características da rede de desenvolvimento da Fermah

• Kit de Desenvolvedor: Fermah fornece um SDK robusto, simplificando o processo de envio de Solicitações de Prova para desenvolvedores. O kit otimiza o ciclo de desenvolvimento e aprimora a usabilidade, oferecendo ferramentas pré-configuradas.
• Imagens Docker pré-construídas: Os operadores podem acessar imagens Docker pré-construídas, reduzindo a complexidade da configuração. Essas imagens garantem que os operadores podem configurar facilmente seus sistemas para gerar provas sem configuração adicional.
• Acesso autorizado: O Devnet opera sob um modelo de acesso autorizado, garantindo qualidade e confiabilidade durante esta fase de teste. O controle de acesso permite que Fermah gerencie a rede de forma eficiente e garanta que apenas partes confiáveis participem.

A Devnet é regularmente atualizada para incorporar feedback de desenvolvedores e melhorar a funcionalidade. Conforme o sistema evolui, a Devnet incluirá novos recursos para aprimorar a eficiência e a escalabilidade. Os desenvolvedores são incentivados a monitorar ativamente o painel da Devnet para se manterem informados sobre as últimas atualizações e recursos, contribuindo para a melhoria contínua da plataforma. Este ambiente de teste colaborativo torna o Fermah uma plataforma confiável e escalável para geração de provas de conhecimento zero.

Participe da Devnetaqui.

Financiamento Fermah

Recentemente, a Fermah garantiu US$ 5,2 milhões em uma rodada de financiamento semente em 17 de setembro de 2024, co-liderada pela a16z CSX e Lemniscap, com a participação de investidores notáveis como Bankless Ventures, Longhash Ventures, P-OPS Team e ZK Validator. Pessoas de destaque se juntaram como investidores-anjo, incluindo Balaji Srinivasan, Sandeep Nailwal e Mustafa Al-Bassam. Esse financiamento é direcionado para o desenvolvimento de produtos e expansão da equipe, visando fortalecer seu mercado de geração de provas.

Equipe Fermah

Fermah é liderada por Vanishree Rao, uma criptógrafa com mais de 15 anos de experiência em Provas de Conhecimento Zero (ZKPs). Anteriormente, ela atuou como Criptógrafa Líder na O(1) Labs, a equipe por trás do Protocolo Mina. A expertise de Vanishree em criptografia é fundamental para o desenvolvimento da Fermah.

Apoiar ela é Pranit Garg, o Chief Marketing Officer (CMO), que traz sua experiência em marketing para a equipe. Juntos, eles têm como objetivo tornar a tecnologia ZK mais acessível e escalável. O financiamento atual ajudará a fortalecer a infraestrutura ZKP da Fermah e apoiar a expansão adicional da equipe.

Conclusão

Fermah está transformando o cenário da geração de provas de conhecimento zero, tornando-a mais rápida, mais barata e mais confiável. Sua camada de geração de provas universal remove barreiras técnicas e financeiras, permitindo que os desenvolvedores se concentrem na inovação. Se você é um desenvolvedor de blockchain, um defensor da privacidade ou uma empresa que utiliza ferramentas criptográficas, Fermah fornece a infraestrutura necessária para desbloquear todo o potencial das provas de conhecimento zero.