Contrariando a tendência, arrecadou 12 milhões de dólares americanos e foi selecionado pela Sequoia Qual é a origem de Taiko, um novato do Type-1 zkEVM?
Nota do editor: De acordo com o Odaily Planet Daily, em 8 de junho, Taiko, a rede Ethereum de segundo nível baseada em zkRollup, concluiu duas rodadas de financiamento inicial totalizando US$ 22 milhões. A primeira rodada de financiamento é de US$ 10 milhões, liderada pela Sequoia China, e será encerrada no terceiro trimestre de 2022. A mais recente rodada de financiamento da Série A de US$ 12 milhões foi liderada pela Generative Ventures.
Se você acompanhou um pouco a cena do Ethereum à prova de conhecimento zero, provavelmente já ouviu os nomes Polygon, Starkware, Scroll e zkSync.
Na verdade, você provavelmente não apenas ouviu falar deles, mas os viu no Twitter debatendo todos os tipos de questões: qual é a verdadeira definição de zkEVM, quem foi/está/estará implantando zkEVM pela primeira vez na rede principal Ethereum, quem é em marketing Better e outras questões importantes e não tão importantes.
Independentemente da sua opinião sobre os argumentos deles, todos esses projetos estão trabalhando duro para escalar o Ethereum.
Mas há um novo player surgindo, relativamente discreto, mas tão viável quanto os outros. Este novo jogador é Taiko - um zkEVM que visa ser um equivalente de escala de conhecimento zero totalmente descentralizado do Ethereum. Até onde eu sei, nenhuma outra equipe zkEVM está tentando alcançar esse feito, então acho que Taiko merece atenção especial.
Vamos ver do que se trata o Taiko.
fundo
A Taiko ("tambor" em japonês) foi fundada no início de 2022 por Daniel Wang, Brecht Devos e outros grandes nomes da área. Antes de iniciar o Taiko, os dois trabalharam no Loopring, o primeiro rollup de conhecimento zero implantado no Ethereum.
Acho importante entender rapidamente o papel que Loopring desempenhou na criação e desenvolvimento de Taiko. Originalmente, o zkEVM que Taiko estava construindo tinha que ser parte do esforço de Loopring para trazer Ethereum com prova de conhecimento zero para as massas.
No entanto, em algum momento durante a fase de desenvolvimento, Wnag e sua equipe perceberam que confundir os dois poderia ser bastante confuso, já que o Loopring é uma extensão específica do aplicativo, enquanto o Taiko se destina a ser uma extensão de uso geral. Como resultado, Taiko se separou de Loopring e se desenvolveu de forma independente.
Atualmente, a Taiko é composta por cerca de 20 funcionários de países como Turquia, Áustria, Barbados, China, Índia, EUA, Canadá, Ucrânia, etc.
detalhes técnicos
Tipo-1 zkEVM
A principal característica que diferencia o Taiko de seus concorrentes (ou melhor, seus pares) é seu objetivo de ser um tipo-1 zkEVM. O zkEVM do Type-1 se esforça para ser totalmente equivalente ao Ethereum, o que significa que não faz alterações no sistema Ethereum para facilitar a geração de provas de conhecimento zero.
Antes de começar, é importante observar que o zkEVM de Taiko é uma bifurcação do esforço da comunidade da equipe de Explorações de Privacidade e Escala (PSE). Taiko usa esse fork para testar coisas novas e, em seguida, contribuir com o zkEVM do PSE para que qualquer projeto que esteja desenvolvendo um zkEVM Tipo 1 (ainda não) possa se beneficiar dessa pesquisa.
Type-1 zkEVM espera ser totalmente compatível com Ethereum. No caso do Taiko, ele pretende ser o equivalente do Ethereum no nível do opcode, o que significa que as funções de hash, contratos pré-compilados, transações e árvores de estado e outras lógicas de consistência não serão alteradas. No entanto, conforme observado no white paper de Taiko, o protocolo atualmente desativa certas propostas de melhoria do Ethereum (EIPs), mas isso mudará com o tempo.
Tornar-se o equivalente ao Ethereum traz muitos benefícios para o desenvolvedor. Por exemplo, os desenvolvedores podem migrar perfeitamente seus contratos inteligentes e aplicativos descentralizados (dApps) para o Taiko. Isso é muito importante porque se um dApp como o Uniswap quiser migrar para o Taiko, ele não precisa fazer nenhuma alteração em seu protocolo. Caso contrário, reescrever o código em uma linguagem de programação diferente da Solidity ou fazer outras alterações introduziria imediatamente vários riscos à segurança do protocolo, bem como aos ativos nele contidos.
Além disso, no caso do Taiko, a compatibilidade foi aprimorada ainda mais. O cliente Taiko é baseado no cliente Ethereum testado em batalha Go-Ethereum. Isso significa que eles são mais familiares e fáceis de usar para quem deseja participar. Do ponto de vista do usuário final, a capacidade de usar o Uniswap no Taiko manteve, ou até melhorou, a capacidade de usar o Uniswap na rede principal Ethereum.
Obviamente, existem algumas compensações a serem feitas na busca do caminho de compatibilidade perfeito. O principal desafio com zkEVMs tipo 1 como Taiko é a geração mais lenta de prova de conhecimento zero. Como o Ethereum não considerou a integração de provas de conhecimento zero no início de seu projeto, muitas partes do protocolo exigem muitos cálculos para gerar provas de conhecimento zero.
No entanto, o design de protocolo adequado pode aliviar esse problema. Vamos ver como o Taiko pode acelerar a geração de provas de conhecimento zero.
Acelerando a geração de prova de conhecimento zero
Taiko acelera a geração de provas de conhecimento zero de várias maneiras:
Todos os blocos propostos no Taiko L2 são validados imediatamente porque são determinísticos e não podem ser revogados. "Determinístico" significa que qualquer um pode calcular o estado da cadeia após a execução. Ele só precisa passar no teste de validade intrínseca uma vez quando o bloco L2 é submetido ao Taiko L1 para ser considerado verificado.
Uma vez que todos os blocos de proposta do Taiko L2 são determinísticos, eles podem ser provados em paralelo, e as provas podem ser confirmadas em qualquer ordem. Por exemplo, o provador #1 pode verificar o bloco #1 ao mesmo tempo, e o provador #2 pode verificar o bloco #2 ao mesmo tempo. Isso significa que apenas o Taiko L1 precisa esperar mais pela prova.
Tudo isso pode acelerar a geração de provas de conhecimento zero até certo ponto. Para usuários finais, isso significa finalização instantânea em L2 e transição mais rápida de L2 para L1.
Taiko Collaborate
O protocolo de conhecimento zero da Taiko implanta dois contratos inteligentes na rede principal Ethereum (L1) e Taiko L2:
Os contratos inteligentes L1 são usados para propor, provar e verificar blocos L2.
Os contratos inteligentes L2 são usados atualmente para provar a invalidade dos blocos propostos e ancorá-los, uma forma de o protocolo alavancar a programabilidade do EVM para impor certos comportamentos de protocolo.
zkSNARKs
O protocolo Taiko usa provas de argumento de conhecimento não interativo e sucinto de conhecimento zero (zkSNARK). Pelo menos em teoria, os zkSNARKs são considerados menos escaláveis que os zkSTARKs e requerem um processo de configuração confiável. No entanto, os zkSNARKs são mais leves que os zkSTARKs e, portanto, levam menos tempo para serem verificados. E o zkSNARK requer menos gás, proporcionando transações mais baratas.
Para gerar zkSNARKs, Taiko usa o sistema de prova Global No Interaction Proof of Knowledge (PLONK) baseado em cardinalidade Lagrangiana. A vantagem do PLONK é que ele depende de criptografia padrão e suas provas são pequenas. No entanto, Taiko também está investigando a possibilidade de combinar PLONK com outros sistemas de prova, como Plonky 2, Hyperplonk e Halo.
A rede Taiko consiste em três participantes:
O proponente constrói um bloco Rollup baseado nas transações do usuário L2 e o envia para o cliente Taiko L1. Eles decidem quais transações estão incluídas em um bloco e como ordená-las.
O provador gera provas zkSNARK para confirmar a validade das transações e blocos L2. Eles decidem quais blocos devem ser verificados na cadeia.
Os operadores de nó executam transações de dados na cadeia para permanecer sincronizados com o estado da cadeia. Os proponentes e provadores também executam nós, mas aqueles que desejam fornecer outros serviços (como exploradores de blocos) também precisam executar um nó.
Ponto Taiko L2
Os nós L2 do Taiko buscam dados de transação do Ethereum e executam essas transações no Taiko L2. Como mencionamos anteriormente, os nós L2 de Taiko são baseados em Go-Ethereum.
Leia o white paper da Taiko para obter detalhes técnicos mais detalhados.
Progresso atual
Taiko lançou recentemente sua primeira rede de teste, chamada Snæfellsjökull, em homenagem a um vulcão no oeste da Islândia. Os usuários podem testar o Taiko testando pontes entre Ethereum A1 e Taiko A1, transferindo tokens entre diferentes contas, interagindo com contratos e executando nós do proponente.
Vulcão Snæfellsjökull. Fonte: revista islandesa.
Do ponto de vista do teste, o testnet foi um grande sucesso. Em pouco mais de uma semana, a rede Taiko L2 processou mais de 1,6 milhão de transações, mais de 650.000 blocos e 275.000 endereços de carteira. Pode-se dizer que Snæfellsjökull explodiu.
Fonte: explorer.a 1.taiko.xyz.
A equipe Taiko pretende eliminar gradualmente o Snæfellsjökull nos próximos meses e substituí-lo por uma nova rede de teste que usará tecnologia à prova de conhecimento zero. Outras redes de teste melhorarão as versões anteriores e implementarão modelos econômicos de token.
A Taiko não especificou quando o lançamento da rede principal aconteceria, mas mencionou o final de 2023 ou o próximo ano como mais provável.
Fé de Taiko
Embora Taiko seja bastante diferente em design técnico de outros zkEVMs neste campo, sua busca também vale a pena ser discutida.
A Taiko afirma que deseja ser acessível, inclusiva, aberta, sem permissão e descentralizada. Na verdade, espera poder entrar em operação com um conjunto totalmente descentralizado de proponentes e provadores. Isso difere de outros zkEVMs, pois a maioria deles escolhe começar com centralização e gradualmente se descentralizar.
Taiko acredita que ser totalmente descentralizado e perseguir os mesmos objetivos do Ethereum é essencial para se tornar um equivalente do Ethereum. Além disso, a equipe pretende lançar um DAO em algum momento no futuro. O cofundador Wang também disse que a Taiko espera operar como uma organização sem fins lucrativos.
Ler sobre os valores de Taiko não pode deixar de parecer muito vanguardista, quase revolucionário. Isso me lembra a declaração de missão do zkSync. Espero que Taiko cumpra sua promessa e se torne o primeiro zkEVM tipo 1 totalmente descentralizado a pousar na rede principal Ethereum.
Conclusão
Tipo-1 zkEVM tem suas vantagens e desvantagens. Mas e se suas desvantagens forem insignificantes em relação às vantagens que oferece? E se o equivalente do Ethereum, aparentemente o padrão mais alto, combinado com formas existentes e potenciais para acelerar a geração de prova de conhecimento zero, realmente tornasse o Type-1 zkEVM um vencedor de longo prazo? Ainda há muitas incógnitas, mas pelo menos Vitalik parece sugerir que um zkEVM tipo 1 é a escolha certa.
Quanto ao Taiko, acho que encontrou o lugar certo na hora certa. 2023 parece ser um ano reservado para a Build. Se a Taiko atingir seus objetivos e lançar sua rede principal neste ano ou no início do ano que vem, ela poderá ser uma das grandes vencedoras no próximo ciclo de adoção.
Taiko está claramente sozinho, tentando realizar feitos extraordinários. Se terá sucesso é outra questão, mas a julgar pelo que Wang e sua equipe conseguiram com o Loopring, as chances parecem estar do lado deles. Se Taiko vencer, Ethereum também será um vencedor.
Ver original
O conteúdo é apenas para referência, não uma solicitação ou oferta. Nenhum aconselhamento fiscal, de investimento ou jurídico é fornecido. Consulte a isenção de responsabilidade para obter mais informações sobre riscos.
Contrariando a tendência, arrecadou 12 milhões de dólares americanos e foi selecionado pela Sequoia Qual é a origem de Taiko, um novato do Type-1 zkEVM?
Escrito por: umede.eth
Compilação: Odaily Planet Daily jk
Nota do editor: De acordo com o Odaily Planet Daily, em 8 de junho, Taiko, a rede Ethereum de segundo nível baseada em zkRollup, concluiu duas rodadas de financiamento inicial totalizando US$ 22 milhões. A primeira rodada de financiamento é de US$ 10 milhões, liderada pela Sequoia China, e será encerrada no terceiro trimestre de 2022. A mais recente rodada de financiamento da Série A de US$ 12 milhões foi liderada pela Generative Ventures.
Se você acompanhou um pouco a cena do Ethereum à prova de conhecimento zero, provavelmente já ouviu os nomes Polygon, Starkware, Scroll e zkSync.
Na verdade, você provavelmente não apenas ouviu falar deles, mas os viu no Twitter debatendo todos os tipos de questões: qual é a verdadeira definição de zkEVM, quem foi/está/estará implantando zkEVM pela primeira vez na rede principal Ethereum, quem é em marketing Better e outras questões importantes e não tão importantes.
Independentemente da sua opinião sobre os argumentos deles, todos esses projetos estão trabalhando duro para escalar o Ethereum.
Mas há um novo player surgindo, relativamente discreto, mas tão viável quanto os outros. Este novo jogador é Taiko - um zkEVM que visa ser um equivalente de escala de conhecimento zero totalmente descentralizado do Ethereum. Até onde eu sei, nenhuma outra equipe zkEVM está tentando alcançar esse feito, então acho que Taiko merece atenção especial.
Vamos ver do que se trata o Taiko.
fundo
A Taiko ("tambor" em japonês) foi fundada no início de 2022 por Daniel Wang, Brecht Devos e outros grandes nomes da área. Antes de iniciar o Taiko, os dois trabalharam no Loopring, o primeiro rollup de conhecimento zero implantado no Ethereum.
Acho importante entender rapidamente o papel que Loopring desempenhou na criação e desenvolvimento de Taiko. Originalmente, o zkEVM que Taiko estava construindo tinha que ser parte do esforço de Loopring para trazer Ethereum com prova de conhecimento zero para as massas.
No entanto, em algum momento durante a fase de desenvolvimento, Wnag e sua equipe perceberam que confundir os dois poderia ser bastante confuso, já que o Loopring é uma extensão específica do aplicativo, enquanto o Taiko se destina a ser uma extensão de uso geral. Como resultado, Taiko se separou de Loopring e se desenvolveu de forma independente.
Atualmente, a Taiko é composta por cerca de 20 funcionários de países como Turquia, Áustria, Barbados, China, Índia, EUA, Canadá, Ucrânia, etc.
detalhes técnicos
Tipo-1 zkEVM
A principal característica que diferencia o Taiko de seus concorrentes (ou melhor, seus pares) é seu objetivo de ser um tipo-1 zkEVM. O zkEVM do Type-1 se esforça para ser totalmente equivalente ao Ethereum, o que significa que não faz alterações no sistema Ethereum para facilitar a geração de provas de conhecimento zero.
Antes de começar, é importante observar que o zkEVM de Taiko é uma bifurcação do esforço da comunidade da equipe de Explorações de Privacidade e Escala (PSE). Taiko usa esse fork para testar coisas novas e, em seguida, contribuir com o zkEVM do PSE para que qualquer projeto que esteja desenvolvendo um zkEVM Tipo 1 (ainda não) possa se beneficiar dessa pesquisa.
Type-1 zkEVM espera ser totalmente compatível com Ethereum. No caso do Taiko, ele pretende ser o equivalente do Ethereum no nível do opcode, o que significa que as funções de hash, contratos pré-compilados, transações e árvores de estado e outras lógicas de consistência não serão alteradas. No entanto, conforme observado no white paper de Taiko, o protocolo atualmente desativa certas propostas de melhoria do Ethereum (EIPs), mas isso mudará com o tempo.
Tornar-se o equivalente ao Ethereum traz muitos benefícios para o desenvolvedor. Por exemplo, os desenvolvedores podem migrar perfeitamente seus contratos inteligentes e aplicativos descentralizados (dApps) para o Taiko. Isso é muito importante porque se um dApp como o Uniswap quiser migrar para o Taiko, ele não precisa fazer nenhuma alteração em seu protocolo. Caso contrário, reescrever o código em uma linguagem de programação diferente da Solidity ou fazer outras alterações introduziria imediatamente vários riscos à segurança do protocolo, bem como aos ativos nele contidos.
Além disso, no caso do Taiko, a compatibilidade foi aprimorada ainda mais. O cliente Taiko é baseado no cliente Ethereum testado em batalha Go-Ethereum. Isso significa que eles são mais familiares e fáceis de usar para quem deseja participar. Do ponto de vista do usuário final, a capacidade de usar o Uniswap no Taiko manteve, ou até melhorou, a capacidade de usar o Uniswap na rede principal Ethereum.
Obviamente, existem algumas compensações a serem feitas na busca do caminho de compatibilidade perfeito. O principal desafio com zkEVMs tipo 1 como Taiko é a geração mais lenta de prova de conhecimento zero. Como o Ethereum não considerou a integração de provas de conhecimento zero no início de seu projeto, muitas partes do protocolo exigem muitos cálculos para gerar provas de conhecimento zero.
No entanto, o design de protocolo adequado pode aliviar esse problema. Vamos ver como o Taiko pode acelerar a geração de provas de conhecimento zero.
Acelerando a geração de prova de conhecimento zero
Taiko acelera a geração de provas de conhecimento zero de várias maneiras:
Todos os blocos propostos no Taiko L2 são validados imediatamente porque são determinísticos e não podem ser revogados. "Determinístico" significa que qualquer um pode calcular o estado da cadeia após a execução. Ele só precisa passar no teste de validade intrínseca uma vez quando o bloco L2 é submetido ao Taiko L1 para ser considerado verificado.
Uma vez que todos os blocos de proposta do Taiko L2 são determinísticos, eles podem ser provados em paralelo, e as provas podem ser confirmadas em qualquer ordem. Por exemplo, o provador #1 pode verificar o bloco #1 ao mesmo tempo, e o provador #2 pode verificar o bloco #2 ao mesmo tempo. Isso significa que apenas o Taiko L1 precisa esperar mais pela prova.
Tudo isso pode acelerar a geração de provas de conhecimento zero até certo ponto. Para usuários finais, isso significa finalização instantânea em L2 e transição mais rápida de L2 para L1.
Taiko Collaborate
O protocolo de conhecimento zero da Taiko implanta dois contratos inteligentes na rede principal Ethereum (L1) e Taiko L2:
zkSNARKs
O protocolo Taiko usa provas de argumento de conhecimento não interativo e sucinto de conhecimento zero (zkSNARK). Pelo menos em teoria, os zkSNARKs são considerados menos escaláveis que os zkSTARKs e requerem um processo de configuração confiável. No entanto, os zkSNARKs são mais leves que os zkSTARKs e, portanto, levam menos tempo para serem verificados. E o zkSNARK requer menos gás, proporcionando transações mais baratas.
Para gerar zkSNARKs, Taiko usa o sistema de prova Global No Interaction Proof of Knowledge (PLONK) baseado em cardinalidade Lagrangiana. A vantagem do PLONK é que ele depende de criptografia padrão e suas provas são pequenas. No entanto, Taiko também está investigando a possibilidade de combinar PLONK com outros sistemas de prova, como Plonky 2, Hyperplonk e Halo.
A rede Taiko consiste em três participantes:
Ponto Taiko L2
Os nós L2 do Taiko buscam dados de transação do Ethereum e executam essas transações no Taiko L2. Como mencionamos anteriormente, os nós L2 de Taiko são baseados em Go-Ethereum.
Leia o white paper da Taiko para obter detalhes técnicos mais detalhados.
Progresso atual
Taiko lançou recentemente sua primeira rede de teste, chamada Snæfellsjökull, em homenagem a um vulcão no oeste da Islândia. Os usuários podem testar o Taiko testando pontes entre Ethereum A1 e Taiko A1, transferindo tokens entre diferentes contas, interagindo com contratos e executando nós do proponente.
Vulcão Snæfellsjökull. Fonte: revista islandesa.
Do ponto de vista do teste, o testnet foi um grande sucesso. Em pouco mais de uma semana, a rede Taiko L2 processou mais de 1,6 milhão de transações, mais de 650.000 blocos e 275.000 endereços de carteira. Pode-se dizer que Snæfellsjökull explodiu.
Fonte: explorer.a 1.taiko.xyz.
A equipe Taiko pretende eliminar gradualmente o Snæfellsjökull nos próximos meses e substituí-lo por uma nova rede de teste que usará tecnologia à prova de conhecimento zero. Outras redes de teste melhorarão as versões anteriores e implementarão modelos econômicos de token.
A Taiko não especificou quando o lançamento da rede principal aconteceria, mas mencionou o final de 2023 ou o próximo ano como mais provável.
Fé de Taiko
Embora Taiko seja bastante diferente em design técnico de outros zkEVMs neste campo, sua busca também vale a pena ser discutida.
A Taiko afirma que deseja ser acessível, inclusiva, aberta, sem permissão e descentralizada. Na verdade, espera poder entrar em operação com um conjunto totalmente descentralizado de proponentes e provadores. Isso difere de outros zkEVMs, pois a maioria deles escolhe começar com centralização e gradualmente se descentralizar.
Taiko acredita que ser totalmente descentralizado e perseguir os mesmos objetivos do Ethereum é essencial para se tornar um equivalente do Ethereum. Além disso, a equipe pretende lançar um DAO em algum momento no futuro. O cofundador Wang também disse que a Taiko espera operar como uma organização sem fins lucrativos.
Ler sobre os valores de Taiko não pode deixar de parecer muito vanguardista, quase revolucionário. Isso me lembra a declaração de missão do zkSync. Espero que Taiko cumpra sua promessa e se torne o primeiro zkEVM tipo 1 totalmente descentralizado a pousar na rede principal Ethereum.
Conclusão
Tipo-1 zkEVM tem suas vantagens e desvantagens. Mas e se suas desvantagens forem insignificantes em relação às vantagens que oferece? E se o equivalente do Ethereum, aparentemente o padrão mais alto, combinado com formas existentes e potenciais para acelerar a geração de prova de conhecimento zero, realmente tornasse o Type-1 zkEVM um vencedor de longo prazo? Ainda há muitas incógnitas, mas pelo menos Vitalik parece sugerir que um zkEVM tipo 1 é a escolha certa.
Quanto ao Taiko, acho que encontrou o lugar certo na hora certa. 2023 parece ser um ano reservado para a Build. Se a Taiko atingir seus objetivos e lançar sua rede principal neste ano ou no início do ano que vem, ela poderá ser uma das grandes vencedoras no próximo ciclo de adoção.
Taiko está claramente sozinho, tentando realizar feitos extraordinários. Se terá sucesso é outra questão, mas a julgar pelo que Wang e sua equipe conseguiram com o Loopring, as chances parecem estar do lado deles. Se Taiko vencer, Ethereum também será um vencedor.