Kakarot zkEVM: Máquina Virtual Ethereum construída com Cairo
Kakarot zkEVM é uma Máquina Virtual Ethereum (EVM) escrita na linguagem Cairo. Cairo é uma linguagem Turing completa, associada ao CairoVM. O CairoVM utiliza polinômios e um sistema de provas ZK-STARK para realizar cálculos verificáveis.
As características do zkEVM são a capacidade de gerar transações e blocos que podem ser provados. Kakarot é construído sobre a CairoVM, portanto, cada transação executada sobre ele é provável.
De um modo geral, o Kakarot zkEVM utiliza a linguagem Cairo e o sistema de prova ZK-STARK para oferecer capacidade de cálculo verificável. Ele permite que os desenvolvedores implantem aplicações EVM e permite que os usuários interajam com essas aplicações usando ferramentas familiares.
Além disso, Kakarot também oferecerá interoperabilidade com o protocolo Starknet, trazendo combinabilidade para protocolos em áreas como DeFi e GameFi.
Roteiro de Desenvolvimento
O projeto começou em outubro de 2022, com o objetivo de criar um zkEVM de código aberto com menos de 10.000 linhas de código. Este objetivo foi alcançado em apenas seis meses. A rede de testes está prevista para ser lançada no final do verão de 2023.
O desenvolvimento do Kakarot zkEVM está dividido em três fases:
Fase um: Implementar Kakarot zkEVM no Starknet
Kakarot zkEVM será inicialmente uma EVM integrada no Starknet L2, permitindo que os desenvolvedores implantem contratos inteligentes em Solidity (ou outras linguagens compatíveis com EVM) diretamente no Starknet, utilizando ferramentas familiares. Os usuários poderão interagir com dApps usando ferramentas comuns. De forma geral, a experiência de desenvolvimento e uso no Kakarot será completamente consistente com a do Polygon, Scroll ou Ethereum L1.
Fase Dois: Kakarot e Madara combinados --- L3 zkEVMs
Kakarot e Madara serão integrados em uma pilha unificada, habilitando zkEVMs L3 e suportando, quando necessário, L4, L5, etc. As equipes podem implantar cadeias de aplicativos zkEVM, utilizando provas de validade para liquidar transações na Starknet. O cálculo ocorre fora da cadeia ou em camadas superiores, com validação na cadeia. Esses L3 têm uma característica interessante: a capacidade de desacoplar segurança e descentralização. Os usuários podem desfrutar da segurança do Ethereum L1 sem precisar do mesmo nível de descentralização. No entanto, para os rollups, a descentralização ainda é importante, pois traz vitalidade e resistência à censura. Isso pode ser alcançado configurando os ordenadores para serem centenas em vez de milhares. Como o cálculo ocorre em outra camada, o custo de gás do L3 é mais baixo do que o do L2, resultando em melhor desempenho. Para reduzir ainda mais os custos, a validação de provas e a disponibilidade de dados (DA) podem ser separadas. Os usuários podem escolher diferentes opções com base nas necessidades de segurança.
Fase Três: Kakarot e Madara combinados --- tipo 1 zkEVM
Kakarot e Madara também podem ser combinados para implementar o tipo 1 zkEVM. Se for possível:
Escrever regras de consenso Ethereum no nó completo Madara x Kakarot usando Cairo, a fim de provar o consenso L1.
Mudar de Pedersen Merkle Patricia Trie (MPT) para Keccak MPT.
Assim, Kakarot pode se tornar um cliente zkEVM do tipo 1, capaz de provar blocos L1. Este é um caso de uso mais avançado, dependendo da trajetória de desenvolvimento do Ethereum, especialmente na fase Verge. Após a Verge, o keccak pode ser substituído pelo poseidon como a função hash preferida do Ethereum. Isso ajudará as equipes zkEVM a alcançar o tipo 1, uma vez que o principal obstáculo de compatibilidade do zkEVM é a disposição de armazenamento, ou seja, implementar o Keccak MPT de forma comprovável e a um custo razoável.
Background da Equipe
A equipe central do Kakarot nasceu em um hackathon em Lisboa, onde cerca de 10 pessoas construíram um zkEVM em uma semana.
Com o apoio da Fundação Starknet e da Onlydust, o Kakarot conta atualmente com mais de 40 colaboradores independentes.
**Elias Tazartes：**Co-fundador e CEO da Kakarot, focado em engenharia de blockchain e desenvolvimento full stack.
Clément Walter: Co-fundador e CTO da Kakarot, autodenominado cientista, engenheiro, empresário e polímata.
Situação de financiamento
Kakarot já completou o financiamento pré-semente, com o valor específico não divulgado. Os investidores incluem a Starkware e a LambDa. Os investidores-anjo são Vitalik Buterin, o cofundador da Ledger, Nicolas Bacca, e o cofundador e CEO da ZAMA, Rand Hindi.
Perspectivas do projeto
Atualmente, o desenvolvimento de ecossistemas de cadeias públicas não compatíveis com EVM é lento, e a maioria dos ecossistemas de cadeias públicas gira em torno do Ethereum. O Kakarot, como um EVM escrito em Cairo na Starknet, consegue conectar muito bem os ecossistemas da Starknet e do Ethereum, permitindo que projetos do Ethereum sejam construídos na Starknet, reduzindo a barreira de entrada para o desenvolvimento e usufruindo da segurança e baixo custo do Ethereum. Nas fases seguintes, mais combinabilidade será implementada, como a combinação modular com Celestia ou EigenDA.
Como ZK-EVM na Starknet, Kakarot está intimamente relacionado com o ecossistema Starknet. A Starknet continua a iterar e atualizar, melhorando a experiência do usuário, enquanto o ZK-EVM construído pela Kakarot contribuirá para a prosperidade do ecossistema. Mas se o desenvolvimento da Starknet não for bom, Kakarot também será afetado.
Kakarot recebeu o apoio de Vitalik Buterin e StarkWare, obtendo suporte tanto espiritual quanto financeiro, o que é uma grande vantagem.
No entanto, em comparação com outros ZK-EVM, o Kakarot também enfrenta desafios: a equipe é pequena, o orçamento e a notoriedade da marca são baixos. Esta é também uma das razões pelas quais o Kakarot não foi implementado como um zkEVM L2 genérico.
Kakarot ainda está em estágio inicial, a rede de teste será lançada em breve, vale a pena acompanhar seu desenvolvimento.
Ver original
Esta página pode conter conteúdo de terceiros, que é fornecido apenas para fins informativos (não para representações/garantias) e não deve ser considerada como um endosso de suas opiniões pela Gate nem como aconselhamento financeiro ou profissional. Consulte a Isenção de responsabilidade para obter detalhes.
10 Curtidas
Recompensa
10
5
Compartilhar
Comentário
0/400
EthMaximalist
· 14h atrás
Tem algo bom, não está mal.
Ver originalResponder0
NFTArchaeologis
· 14h atrás
Um novo capítulo é adicionado ao pergaminho antigo do mundo digital
Ver originalResponder0
MrDecoder
· 14h atrás
Ganhamos muito, Vitalik Buterin entrou em ação.
Ver originalResponder0
RugPullAlarm
· 15h atrás
Só porque há um endosse da vb é realmente bom? O chamado pequeno grupo é, na maioria das vezes, um esquema financeiro.
Ver originalResponder0
GateUser-2fce706c
· 15h atrás
Já disse que a pista zkEVM é o verdadeiro código da riqueza, três anos não são tarde!
Kakarot zkEVM: AppChain comprovável desenvolvido com Cairo
Kakarot zkEVM: Máquina Virtual Ethereum construída com Cairo
Kakarot zkEVM é uma Máquina Virtual Ethereum (EVM) escrita na linguagem Cairo. Cairo é uma linguagem Turing completa, associada ao CairoVM. O CairoVM utiliza polinômios e um sistema de provas ZK-STARK para realizar cálculos verificáveis.
As características do zkEVM são a capacidade de gerar transações e blocos que podem ser provados. Kakarot é construído sobre a CairoVM, portanto, cada transação executada sobre ele é provável.
De um modo geral, o Kakarot zkEVM utiliza a linguagem Cairo e o sistema de prova ZK-STARK para oferecer capacidade de cálculo verificável. Ele permite que os desenvolvedores implantem aplicações EVM e permite que os usuários interajam com essas aplicações usando ferramentas familiares.
Além disso, Kakarot também oferecerá interoperabilidade com o protocolo Starknet, trazendo combinabilidade para protocolos em áreas como DeFi e GameFi.
Roteiro de Desenvolvimento
O projeto começou em outubro de 2022, com o objetivo de criar um zkEVM de código aberto com menos de 10.000 linhas de código. Este objetivo foi alcançado em apenas seis meses. A rede de testes está prevista para ser lançada no final do verão de 2023.
O desenvolvimento do Kakarot zkEVM está dividido em três fases:
Kakarot zkEVM será inicialmente uma EVM integrada no Starknet L2, permitindo que os desenvolvedores implantem contratos inteligentes em Solidity (ou outras linguagens compatíveis com EVM) diretamente no Starknet, utilizando ferramentas familiares. Os usuários poderão interagir com dApps usando ferramentas comuns. De forma geral, a experiência de desenvolvimento e uso no Kakarot será completamente consistente com a do Polygon, Scroll ou Ethereum L1.
Kakarot e Madara serão integrados em uma pilha unificada, habilitando zkEVMs L3 e suportando, quando necessário, L4, L5, etc. As equipes podem implantar cadeias de aplicativos zkEVM, utilizando provas de validade para liquidar transações na Starknet. O cálculo ocorre fora da cadeia ou em camadas superiores, com validação na cadeia. Esses L3 têm uma característica interessante: a capacidade de desacoplar segurança e descentralização. Os usuários podem desfrutar da segurança do Ethereum L1 sem precisar do mesmo nível de descentralização. No entanto, para os rollups, a descentralização ainda é importante, pois traz vitalidade e resistência à censura. Isso pode ser alcançado configurando os ordenadores para serem centenas em vez de milhares. Como o cálculo ocorre em outra camada, o custo de gás do L3 é mais baixo do que o do L2, resultando em melhor desempenho. Para reduzir ainda mais os custos, a validação de provas e a disponibilidade de dados (DA) podem ser separadas. Os usuários podem escolher diferentes opções com base nas necessidades de segurança.
Kakarot e Madara também podem ser combinados para implementar o tipo 1 zkEVM. Se for possível:
Assim, Kakarot pode se tornar um cliente zkEVM do tipo 1, capaz de provar blocos L1. Este é um caso de uso mais avançado, dependendo da trajetória de desenvolvimento do Ethereum, especialmente na fase Verge. Após a Verge, o keccak pode ser substituído pelo poseidon como a função hash preferida do Ethereum. Isso ajudará as equipes zkEVM a alcançar o tipo 1, uma vez que o principal obstáculo de compatibilidade do zkEVM é a disposição de armazenamento, ou seja, implementar o Keccak MPT de forma comprovável e a um custo razoável.
Background da Equipe
A equipe central do Kakarot nasceu em um hackathon em Lisboa, onde cerca de 10 pessoas construíram um zkEVM em uma semana.
Com o apoio da Fundação Starknet e da Onlydust, o Kakarot conta atualmente com mais de 40 colaboradores independentes.
**Elias Tazartes：**Co-fundador e CEO da Kakarot, focado em engenharia de blockchain e desenvolvimento full stack.
Clément Walter: Co-fundador e CTO da Kakarot, autodenominado cientista, engenheiro, empresário e polímata.
Situação de financiamento
Kakarot já completou o financiamento pré-semente, com o valor específico não divulgado. Os investidores incluem a Starkware e a LambDa. Os investidores-anjo são Vitalik Buterin, o cofundador da Ledger, Nicolas Bacca, e o cofundador e CEO da ZAMA, Rand Hindi.
Perspectivas do projeto
Atualmente, o desenvolvimento de ecossistemas de cadeias públicas não compatíveis com EVM é lento, e a maioria dos ecossistemas de cadeias públicas gira em torno do Ethereum. O Kakarot, como um EVM escrito em Cairo na Starknet, consegue conectar muito bem os ecossistemas da Starknet e do Ethereum, permitindo que projetos do Ethereum sejam construídos na Starknet, reduzindo a barreira de entrada para o desenvolvimento e usufruindo da segurança e baixo custo do Ethereum. Nas fases seguintes, mais combinabilidade será implementada, como a combinação modular com Celestia ou EigenDA.
Como ZK-EVM na Starknet, Kakarot está intimamente relacionado com o ecossistema Starknet. A Starknet continua a iterar e atualizar, melhorando a experiência do usuário, enquanto o ZK-EVM construído pela Kakarot contribuirá para a prosperidade do ecossistema. Mas se o desenvolvimento da Starknet não for bom, Kakarot também será afetado.
Kakarot recebeu o apoio de Vitalik Buterin e StarkWare, obtendo suporte tanto espiritual quanto financeiro, o que é uma grande vantagem.
No entanto, em comparação com outros ZK-EVM, o Kakarot também enfrenta desafios: a equipe é pequena, o orçamento e a notoriedade da marca são baixos. Esta é também uma das razões pelas quais o Kakarot não foi implementado como um zkEVM L2 genérico.
Kakarot ainda está em estágio inicial, a rede de teste será lançada em breve, vale a pena acompanhar seu desenvolvimento.