O mundo da criptografia nunca falta de novas narrativas, mas poucas podem ser consideradas sexy e práticas.

Por exemplo, desde o início desta super narrativa de IA, a computação em nuvem se tornou a força produtiva central da era futura da economia digital. No entanto, as gigantes tradicionais da Web2 monopolizaram os recursos de GPU e poder de computação de alta qualidade, enquanto os projetos de médio e pequeno porte não têm poder de barganha, autonomia e também enfrentam a difícil situação de aplicativos mais amplos de cálculo verificável sem recursos suficientes.

Portanto, sob a grande onda de AI+Crypto, o conceito de criptografia totalmente homomórfica (FHE) e outros tem gradualmente ganhado destaque, sendo amplamente considerados como uma das melhores soluções para cálculos verificáveis e processamento de dados confidenciais de AI.

Este artigo vai focar-se no Marlin, um veterano da criptografia focado na infraestrutura de computação em nuvem verificável. Vamos explorar o projeto DeAI, que aborda várias narrativas, como AI, MEV, Oracle, ZK, TEE, e examinar como ele se encaixa na atual onda de IA e se pode trazer novas variáveis para o campo da 'IA+Crypto'.

IA na segunda metade do jogo, não pode prescindir da 'computação em nuvem verificável'?

Como todos sabemos, além do rápido crescimento do grande modelo AIGC, inúmeras cenas de IA, como saúde, educação, direção inteligente, etc., que estão no estágio inicial de explosão, estão se desenvolvendo rapidamente, todas elas exigem cálculos em massa.

No entanto, para esses cenários específicos, as informações médicas, educacionais e de condução autônoma dos usuários são dados críticos para a economia e até mesmo para a segurança da vida: informações em dimensões como cuidados de saúde, sistemas de energia, largura de banda de rede, veículos conectados à internet, entre outros, não apenas se relacionam diretamente com a segurança de dados pessoais confidenciais, mas também exigem impulsionar o desenvolvimento da indústria através de compartilhamento e cooperação de dados mais amplos.

No entanto, ao mesmo tempo, o mercado tradicional de serviços em nuvem é dominado por gigantes da Internet como Amazon Web Services (AWS), Microsoft Azure e Google Cloud Platform (GCP), que juntos detêm mais de 60% do mercado de computação em nuvem, criando um claro mercado de vendedores.

Uma das questões mais evidentes desta estrutura de mercado é a dependência generalizada de servidores em nuvem centralizados, o que significa que os desenvolvedores/projetos confiam nos serviços de nuvem que utilizam, essencialmente ligando a sua reputação a uma ou mais gigantes, o que equivale a ceder a autonomia e a segurança dos dados a empresas gigantes da Web2.

Precisamente por isso, nos últimos anos, tem havido uma série de fugas de dados por parte dos fornecedores de serviços de nuvem, o que tem causado graves prejuízos a indivíduos e organizações. Portanto, independentemente de como os desenvolvedores/projetos veem a questão central do mundo cripto, a descentralização, é muito mais eficaz garantir que eles 'não possam fazer o mal' através do desenho dos mecanismos, em vez de confiar que os gigantes 'não farão o mal'. 01928374656574839201

Neste contexto, se analisarmos cuidadosamente a direção da computação em nuvem de IA, ainda há uma lacuna ecológica entre as soluções de serviços de computação em nuvem maduras da Web2 no nível inferior. Isso significa que a transformação da tecnologia de computação confidencial enfrenta altos custos. Portanto, não há uma solução especialmente boa para permitir que os programas sejam implantados rapidamente e com segurança no setor, o que leva a uma falta de funcionalidade de aplicativos necessária para o AI+Web3, limitando assim seu impulso de desenvolvimento.

Portanto, em suma, o desenvolvimento da segunda metade do mercado de computação em nuvem de IA requer um conjunto completo de ferramentas de desenvolvimento de blockchain voltadas para a Web3, a fim de fornecer uma solução abrangente que seja descentralizada, verificável, com baixa latência e baixo custo. Nesse sentido, a necessidade de serviços descentralizados de computação em nuvem verificáveis também está gradualmente se tornando evidente, preenchendo assim a lacuna nessa direção específica.

Neste contexto, a necessidade de descentralização de serviços de computação em nuvem verificáveis também tem surgido gradualmente, como uma solução que utiliza tecnologia encriptação para realizar cálculos, o que permite** verificar a exatidão dos resultados do cálculo sem revelar os dados subjacentes, não revelando informações privadas nem garantindo que dados críticos não sejam vazados. **

Todas essas coisas são extremamente compatíveis com os cenários de aplicação do Web3, o que gera muitas imaginações dos usuários da indústria sobre a computação em nuvem confidencial. Portanto, tecnologias como provas de conhecimento zero (ZKP), computação multipartidária (MPC) e a pista recentemente aquecida da criptografia totalmente homomórfica (FHE) têm recebido atenção especial do mercado.

E isso é também o que a Marlin pretende fazer - qualquer aplicação DePIN/Web2.5/AI que necessite de serviços de computação de baixa latência e alta potência computacional pode optar por implementá-la no WeTEE para obter uma solução de computação em nuvem generalizada semelhante aos serviços de nuvem tradicionais.

Revisiting Marlin: Becoming a Verifiable L0 in the AI World

Se resumirmos a visão da Marlin no campo da computação verificável de IA em uma frase, é dedicar-se a ajudar os usuários de computação de IA que precisam, a qualquer momento e em qualquer lugar, a integrar e incorporar serviços de computação em nuvem verificáveis em seus produtos existentes, na forma de plug-ins de infraestrutura, em um momento em que o treinamento de grandes modelos de IA está se tornando cada vez mais importante.

Esta é essencialmente a L0 universal verificável para o mundo da IA, assim encapsula as funções principais e oferece aos projetos um serviço de chamada única com base na rede de comunicação de alto desempenho TEE e na rede de comunicação verificável ZK.

O Marlin utiliza um ambiente de execução confiável (TEE) e um coprocessador baseado em prova de conhecimento zero (ZKP) para isolar os dados e o código de outros processos a nível de hardware, garantindo a confidencialidade dos dados e a integridade das operações realizadas, ao mesmo tempo que assegura a precisão, verificabilidade e imutabilidade dos resultados do cálculo.

Ao contrário da maioria dos processadores ZK projetados especificamente para ambientes específicos (RISC-V, WASM ou MIPS) e capazes de processar apenas programas escritos em linguagens compatíveis, o mercado de provas ZK da Marlin é baseado em circuitos, portanto, independente de linguagem, permitindo que os nós escolham os circuitos que desejam suportar - podendo portar diretamente aplicativos existentes em Python, C++ ou Go ou usar zkVM.

Ao mesmo tempo, a arquitetura de rede Marlin pode ser dividida em Oyster, Kalypso e a rede de relé Marlin.

O Oyster e o Kalypso utilizam respectivamente um ambiente de execução confiável (TEE) e uma prova de conhecimento zero (ZKP) para garantir a correção e a segurança do cálculo, enquanto a rede de retransmissão é responsável por garantir que os nós não confiáveis possam contribuir com recursos para a rede sem comprometer sua segurança por meio de recursos de incentivo incorporados:

• O Oyster, como um serviço fora da cadeia fornecido pelo TEE, tem como visão principal**permitir aos utilizadores implementar os seus próprios backends ou extensões de contratos inteligentes na rede de computação em nuvem Marlin com o mínimo de alterações,**sendo uma das suas maiores vantagens a sua natureza sem servidor - os utilizadores não precisam de configurar nós e selecionar nós específicos para utilizar, resultando em retornos convenientes para os utilizadores;
• Kalypso representa a integração flexível da Marlin com Prova de Conhecimento Zero (ZKP), saiba que a otimização de hardware usando FPGA, GPU e ASIC pode acelerar significativamente a velocidade de geração de provas ZK, reduzindo assim o tempo e o custo. A rede Marlin depende de nós com GPU e FPGA para a geração terceirizada de ZK, permitindo o processamento eficiente de solicitações do cliente e a devolução das provas geradas.
• Marlin Relay é uma rede de retransmissão não relacionada com blockchain e sem necessidade de permissão, com funcionalidade de incentivo incorporada e capacidade de integração com múltiplas blockchains ao mesmo tempo. Esta estrutura de incentivo garante que os nós não confiáveis possam contribuir com recursos para a rede sem afetar negativamente a sua segurança;

É importante notar que cada nó na rede de nós da Marlin possui um TEE para operação e também pode construir um ambiente seguro de enclave isolado no sistema de armazenamento, garantindo que as informações não sejam espionadas ou vazadas ao realizar cálculos e armazenar dados.

E cada nó, através do protocolo ZK, pode permitir a uma parte provar a veracidade de uma afirmação para a outra parte sem revelar quaisquer dados específicos sobre a afirmação, o que protege a segurança da informação dos dados principais e garante a precisão dos factos.

No geral, o Marlin, como um L0 de computação em nuvem verificável por IA, tem uma ampla gama de cenários. Ele pode fornecer serviços de recursos de rede, como poder de computação e armazenamento, para cenários de aplicativos como máquinas Oracle, sistemas ZK Prover, inteligência artificial AI, etc., com base em um sistema de rede descentralizada de nós distribuídos. Ele se tornou o alicerce da proteção de dados para muitos aplicativos de criptografia + IA.

Espaço de imaginação de Marlin e "AI World L0"

Nesse sentido, a Marlin está desempenhando um papel fundamental na infraestrutura da segunda etapa do AI+Web3 - a essência é trazer a computação verificável para o mundo da IA e Web3.

Por exemplo, usando o serviço de componente de computação em nuvem verificável com base em sua própria propriedade 'L0', a Marlin pode se tornar um bloco de 'peças de Lego' e se tornar um componente de infraestrutura fundamental para serviços de AI 'cálculo verificável +' capacitar a implementação completa de propriedades de cálculo verificáveis em produtos DApp de várias faixas.

O cenário de aplicação mais direto é que a Marlin pode fornecer um treinamento de modelo seguro e um ambiente de computação para treinamento de modelo de IA com base no coprocessador de ambiente de execução confiável TEE em um momento em que o treinamento de modelos grandes de IA está se tornando cada vez mais importante, o que significa que, além do ChatGPT, diferentes projetos de modelos grandes podem ser integrados com Marlin ou construídos com base em Marlin para formar middleware de computação verificável que pode ser facilmente inserido e usado, de modo a alcançar a capacitação na forma de "computação verificável +". **

Ao mesmo tempo, é crucial construir um ambiente de incentivo descentralizado, transparente e verificável, transformando a rede de nós distribuídos em uma rede descentralizada de serviços de mineração em nuvem "alugados", ou seja, realizando uma lógica de negócios DePIN mais ampla, reduzindo os custos de serviços de computação em nuvem por meio de incentivos em tokens:

Reúna o poder de computação ocioso para ajudar empresários a treinar modelos de IA de pequeno e médio porte mais personalizados, com custo mais baixo e formas de implantação mais flexíveis, aumentando muito a eficiência dos recursos.

Isso é apenas a ponta do iceberg em termos de capacitação de cenários de aplicação de IA pelo Marlin como middleware de computação verificável.

Resumo

Em suma, o espaço de imaginação mais importante que o Marlin pode trazer para a AI+Web3 é como uma infraestrutura da camada L0, capacitando os projetos de IA a desenvolverem produtos e serviços nativos de computação verificável (ou seja, considerados como middleware de computação verificável).

Na verdade, como componente essencial na era AI+Web3, isto equivale em certo sentido à "infraestrutura" fundamental da indústria:

Desde a combinação de oferta e demanda de poder de computação de base, fornecimento de dados de máquina Oracle, até serviços front-end descentralizados baseados em armazenamento distribuído e assim por diante, basicamente pode formar um ciclo lógico, permitindo assim que os usuários e aplicativos obtenham serviços de plug-in de cálculo verificáveis de forma econômica e flexível, aproveitem e explorem efetivamente o valor dos dados, e assim estabeleçam uma base para cenários de aplicativos diversificados.

É evidente que, na segunda metade da IA, a pista de cálculo verificável ainda tem um grande potencial de valor esperando para ser explorado, especialmente quando se sobrepoem os conceitos de 'cálculo verificável+' baseados na Web3, que podem conter conteúdo ainda mais grandioso.

Não apenas IA, a cadeia de entretenimento, social, jogos e quase todos os aplicativos que podemos imaginar podem expandir ainda mais o espaço imaginativo dos serviços de computação verificável/dados confidenciais.

Enquanto isso, no processo de construção diário, o Marlin pode se tornar a infraestrutura fundamental para futuras aplicações de AI+Web3, o que pode representar o maior espaço imaginado para cálculos verificáveis na era AI+Web3.