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

Fermah resolve este problema com a sua camada universal de geração de prova. Concebido para tornar ZKPs mais rápidos, mais baratos e mais fiáveis, Fermah remove os gargalos de infraestrutura e optimiza a utilização de recursos. A utilização de tecnologia avançada cria uma experiência perfeita para desenvolvedores e utilizadores finais. Quer seja um desenvolvedor de blockchain, uma empresa que protege dados ou um indivíduo que procura privacidade, 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 afligem o espaço ZKP, oferecendo uma alternativa eficiente para a geração de provas.

A Missão e Visão da Fermah

A missão da Fermah é democratizar a tecnologia ZKP, garantindo que os desenvolvedores e as empresas possam aceder a soluções acessíveis, rápidas e fiáveis. A sua visão é tornar-se a espinha dorsal da geração ZKP, capacitando aplicações globais em privacidade, escalabilidade e segurança sem as restrições de uma infraestrutura pesada de recursos.

Tecnologia por trás do 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 recursos computacionais de forma eficiente. A plataforma é projetada para suportar múltiplos sistemas de prova, garantindo compatibilidade perfeita com diversos casos de uso, desde a verificação de blockchain até a transmissão segura de dados.

Componentes do Fermah

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

1. Procuradores

Os Seekers são os desenvolvedores ou entidades que necessitam da geração de Provas de Conhecimento Zero. Estes podem incluir projetos de blockchain, empresas ou até mesmo indivíduos que procuram aumentar a privacidade e segurança. Os Seekers enviam Pedidos de Prova através da plataforma, especificando suas necessidades computacionais e o tipo de ZKP necessário. Uma vez que o seu pedido é processado, os Seekers são ligados aos Operadores apropriados que têm os recursos necessários para completar a geração da prova.

1. Casamenteiro

O Matchmaker atua como a ponte entre os Seekers e os Operators. Essa rede peer-to-peer combina solicitações de prova dos Seekers com Operators compatíveis, otimizando a alocação de recursos computacionais com base na disponibilidade e nas especificações de hardware. O Matchmaker garante que cada solicitação seja correspondida a um Operator que possa lidar com a tarefa dentro dos limites de tempo e parâmetros de custo definidos. Seu papel é crucial para manter transparência, confiabilidade e eficiência ao longo de 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 fornecedores de infraestrutura que realizam os cálculos de prova reais. Esses podem variar de fornecedores individuais de hardware a centros de dados em grande escala que oferecem recursos baseados em nuvem. Os operadores são responsáveis por executar as tarefas computacionais associadas à geração das ZKPs necessárias. Eles comprometem seus recursos de hardware por períodos predefinidos e, ao fazer isso, contribuem para a segurança e confiabilidade geral da rede. Esse modelo descentralizado garante uma cadeia de fornecimento diversificada e distribuída para a geração de provas, evitando gargalos e promovendo redundância.

Implementação do Sistema de Prova

A Fermah utiliza contentores Docker para embalar sistemas de prova, que são depois hospedados em URLs de Rede de Distribuição de Conteúdo (CDN). Esta configuração permite aos Operadores aceder aos sistemas de prova necessários de forma rápida e executá-los com o mínimo de atraso, garantindo que a plataforma opera com elevada eficiência. À medida que os Solicitantes enviam os seus Pedidos de Prova, o sistema verifica esses pedidos, faz correspondência com Operadores adequados e processa-os dentro dos prazos especificados. O Matchmaker monitoriza e acompanha continuamente o progresso de cada pedido, garantindo responsabilização e execução perfeita.

Modelo Económico

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

Como funciona o Fermah?

O fluxo de trabalho do Fermah é projetado para ser eficiente, seguro e transparente, garantindo a geração perfeita de Prova de Conhecimento Zero (ZKP). A plataforma simplifica o complexo processo de criação de ZKP através de um sistema estruturado que envolve três componentes principais: Buscadores, Casamenteiros e Operadores. Aqui está uma visão mais detalhada de como o processo se desenrola:

Envio de Solicitação de Comprovação

A jornada começa quando os Buscadores, sejam desenvolvedores, projetos de blockchain ou empresas, enviam suas Solicitações de Prova via 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 Buscadores 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

Uma vez que o Pedido de Prova é submetido, o Mediador entra em ação. Primeiro, verifica a elegibilidade do Procurador, garantindo que ele atende aos requisitos da plataforma para usar o serviço. Em seguida, o Mediador atribui a tarefa a um Operador adequado. A alocação é baseada na compatibilidade de hardware e disponibilidade de recursos. O Mediador garante que o Operador escolhido tenha poder computacional para realizar a geração de prova dentro do prazo necessário. Esse processo de correspondência inteligente ajuda a equilibrar a carga da rede e garante que os recursos sejam alocados de forma eficiente.

Geração de Prova

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

Entrega de Resultados

Depois que a prova for gerada com sucesso, os resultados são entregues ao Solicitante via URL de retorno especificada por eles. Isso garante que o Solicitante receba a prova concluída diretamente e de forma oportuna. Se, por algum motivo, a prova não puder ser gerada dentro do limite de tempo definido, a solicitação é marcada como rejeitada. Esse mecanismo de segurança garante que a plataforma mantenha um alto padrão de serviço e confiabilidade, impedindo a aceitação de gerações de provas incompletas ou atrasadas.

Rastreamento e Confiabilidade

Ao longo de todo o processo, o Casamenteiro desempenha um papel crucial no rastreamento do estado de cada pedido. Os Buscadores podem monitorar seus pedidos 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. Este compromisso proporciona estabilidade à rede e garante que os recursos estejam consistentemente disponíveis para geração de prova. Ao rastrear pedidos e garantir a entrega oportuna de provas, a Fermah mantém um alto nível de confiabilidade e responsabilidade tanto para Buscadores como para Operadores.

Principais Características do Fermah

Geração de Prova Universal

A Fermah suporta uma ampla gama de sistemas de prova de conhecimento zero, incluindo zkVMs, zkEVMs, Groth16 e muitos outros protocolos. Esse suporte universal torna a Fermah altamente adaptável a diferentes setores e casos de uso, garantindo compatibilidade com vários padrões criptográficos. Essa versatilidade permite que a 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 Fermah, permitindo que os usuários gerem provas em uma ampla gama de sistemas de comprovação com eficiência e confiabilidade incomparáveis.

Aspetos-chave da Geração Universal de Provas

1. Credibilidade Neutra e Inclusiva: Fermah é arquitetado para suportar todos os principais sistemas de prova, incluindo zkVMs, zkEVMs, Groth16 e 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 mercado, com o lado da oferta consistindo em máquinas de alto desempenho como GPUs e FPGAs. Esses recursos são combinados com a demanda dos utilizadores que necessitam de provas ZK para várias aplicações, como zkRollups, pontes ZK e soluções focadas na privacidade.

3. Eficiência de custos e desempenho: Fermah é otimizado para gerar provas de custo-benefício e alto desempenho. Os usuários podem ajustar parâmetros para equilibrar entre preço e desempenho, garantindo que a geração de provas atenda às suas exigências financeiras e operacionais.

4. Abstrair a Complexidade: Um dos objetivos principais da Fermah é abstrair a complexidade associada às provas 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 ZK em seus projetos sem necessidade de profundo conhecimento criptográfico.

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 altos volumes de provas, garantindo que a Fermah possa atender às demandas de pequenos projetos e grandes empresas.

O Bazar ZK: um mercado descentralizado

A 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 conhecimento zero, 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 Provas ZK Baratas, Rápidas e Confiáveis

A arquitetura da Fermah é otimizada para oferecer geração rápida e econômica de ZKP, tornando-a acessível a desenvolvedores e empresas em busca de uma solução escalável. A capacidade da plataforma de processar provas rapidamente, mantendo 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 compromisso entre preço e desempenho. Ao ajustar esse equilíbrio, os usuários podem otimizar suas Solicitações de Prova com base nas necessidades específicas do projeto. Este 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)

A Fermah está prestes a introduzir a Delegação de Provas Protegidas de 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 com Preservação de Privacidade

Fermah é perfeitamente adequado 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 da transação, 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 setores como saúde e finanças, onde informações sensíveis precisam permanecer privadas enquanto são processadas ou analisadas.

Cadeia de Suprimentos e Verificação de Identidade

A flexibilidade da Fermah também se estende a setores como gestão da cadeia de abastecimento e verificação de identidade. As Provas de Conhecimento Zero permitem verificações de identidade seguras e eficientes ou rastreamento de produtos numa cadeia de abastecimento sem expor dados sensíveis, garantindo transparência e privacidade.

Fermah’s Devnet

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

Principais características da rede de desenvolvimento da Fermah

• Ferramentas para desenvolvedores: Fermah fornece um robusto SDK, simplificando o processo de envio de solicitações de prova para desenvolvedores. O conjunto de ferramentas agiliza o ciclo de desenvolvimento e melhora a usabilidade, oferecendo ferramentas pré-configuradas.
• Imagens pré-construídas do Docker: Os operadores podem acessar imagens pré-construídas do Docker, reduzindo a complexidade da configuração. Essas imagens garantem que os operadores possam configurar facilmente seus sistemas para gerar provas sem configuração adicional.
• Acesso Permitido: A Devnet opera sob um modelo de acesso permitido, 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 dos desenvolvedores e melhorar a funcionalidade. À medida que 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.

Junte-se à Devnetaqui.

Financiamento Fermah

Fermah assegurou recentemente $5.2 milhões numa ronda de financiamento inicial em 17 de setembro de 2024, co-liderada por a16z CSX e Lemniscap, com a participação de investidores notáveis como Bankless Ventures, Longhash Ventures, P-OPS Team e ZK Validator. Indivíduos de alto perfil juntaram-se como investidores-anjo, incluindo Balaji Srinivasan, Sandeep Nailwal e Mustafa Al-Bassam. Este financiamento destina-se ao desenvolvimento de produtos e à expansão da equipa para fortalecer o seu mercado de geração de provas.

Equipe Fermah

A 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 Principal na O(1) Labs, a equipe por trás do Protocolo Mina. A experiência de Vanishree em criptografia é fundamental para o desenvolvimento da Fermah.

A apoiá-la está 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 de ZKP da Fermah e a apoiar a expansão adicional da equipe.

Conclusão

Fermah está a transformar o panorama da geração de provas de conhecimento zero, tornando-a mais rápida, mais barata e mais fiável. A sua camada de geração de provas universal remove barreiras técnicas e financeiras, permitindo que os programadores se concentrem na inovação. Quer seja um programador de blockchain, um defensor da privacidade ou uma empresa que utiliza ferramentas criptográficas, o Fermah fornece a infraestrutura necessária para desbloquear todo o potencial das provas de conhecimento zero.