Kakarot: Máquina Virtual Ethereum baseada em Cairo
Kakarot zkEVM é uma implementação da Máquina Virtual Ethereum(EVM) escrita na linguagem Cairo. Cairo é uma linguagem Turing completa relacionada à CairoVM, que utiliza polinômios e o sistema de provas ZK-STARK para implementar computação comprovável.
Como uma implementação do zkEVM, Kakarot é capaz de gerar transações e blocos verificáveis. Por estar baseado na CairoVM, cada transação executada no Kakarot é verificável. No geral, o Kakarot zkEVM utiliza a linguagem Cairo e o sistema de provas ZK-STARK para fornecer capacidade computacional verificável, permitindo que os desenvolvedores implantem aplicações EVM sobre ele e permitindo que os usuários interajam com essas aplicações usando ferramentas comuns.
Além disso, Kakarot também oferecerá interoperabilidade com o protocolo Starknet, fornecendo combinabilidade para protocolos em diferentes áreas como DeFi e GameFi.
Roteiro de Desenvolvimento
O projeto começou em outubro de 2022, com o principal 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 6 meses, e está previsto o lançamento da rede de testes no final do verão de 2023.
O roadmap do Kakarot zkEVM é dividido em três fases:
Kakarot zkEVM na Starknet: levar EVM para Starknet
Nesta fase, o Kakarot zkEVM existirá como EVM embutido no L2 do Starknet. Os desenvolvedores poderão implantar diretamente contratos inteligentes em Solidity( ou qualquer linguagem compatível com EVM) no Starknet, utilizando ferramentas familiares. A experiência do usuário será a mesma que na Polygon, Scroll ou Ethereum L1.
Kakarot x Madara:L3 zkEVMs
Kakarot e Madara irão se integrar em uma pilha unificada para habilitar zkEVMs L3, podendo ser escalados para L4, L5, etc., se necessário. As equipes podem implantar cadeias de aplicativos zkEVM, utilizando provas de validade para liquidar transações na Starknet. Esse método pode reduzir os custos de gas, melhorar o desempenho, enquanto mantém a segurança.
Kakarot x Madara:type 1 zkEVM
Se puderem ser alcançados os seguintes dois pontos, Kakarot tornará-se um cliente zkEVM do tipo 1, capaz de provar blocos L1:
Escrever regras de consenso Ethereum em Cairo
Mudar de Pedersen MPT para Keccak MPT
Este é um caso de uso mais avançado, dependendo da trajetória de desenvolvimento do Ethereum, especialmente da atualização Verge.
Equipe
A equipe central do Kakarot nasceu de um hackathon em Lisboa, onde cerca de 10 pessoas construíram um zkEVM em uma semana. Atualmente, com o apoio da Fundação Starknet e da Onlydust, o Kakarot conta com mais de 40 contribuintes únicos.
Os membros principais incluem:
Elias Tazartes: cofundador e CEO, focado em engenharia de blockchain e desenvolvimento full stack
Clément Walter: cofundador e CTO, um cientista e engenheiro especializado em múltiplas áreas
Situação de financiamento
Kakarot completou a rodada de financiamento pre-seed, o valor específico não foi divulgado. Os investidores incluem Starkware e LambDa. Os investidores-anjo incluem o fundador do Ethereum, Vitalik Buterin, o cofundador da Ledger, Nicolas Bacca, e o cofundador e CEO da ZAMA, Rand Hindi.
Resumo
Kakarot, como uma implementação EVM escrita em Cairo na Starknet, pode conectar efetivamente Starknet e o ecossistema Ethereum. Ele reduz a barreira de entrada para desenvolvedores, permitindo que projetos do ecossistema Ethereum sejam construídos na Starknet, mantendo a segurança e reduzindo custos. Fases futuras permitirão mais combinabilidade, como combinações modulares com Celestia ou EigenDA.
O desenvolvimento do Kakarot está intimamente ligado ao ecossistema Starknet. Ele conta com o apoio de Vitalik Buterin e StarkWare, o que é uma grande vantagem. No entanto, em comparação com outros projetos zkEVM, a equipe do Kakarot é menor, com um orçamento e reconhecimento de marca mais baixos, o que também é uma das razões pelas quais ainda não foi implementado como um zkEVM L2 genérico.
Kakarot encontra-se atualmente em fase inicial, com o lançamento da rede de testes prestes a acontecer. Embora enfrente desafios, a sua posição única e o forte apoio conferem-lhe potencial na área do zkEVM. À medida que o projeto avança, vale a pena acompanhar o seu progresso.
Esta página pode conter conteúdos de terceiros, que são fornecidos apenas para fins informativos (sem representações/garantias) e não devem ser considerados como uma aprovação dos seus pontos de vista pela Gate, nem como aconselhamento financeiro ou profissional. Consulte a Declaração de exoneração de responsabilidade para obter mais informações.
10 gostos
Recompensa
10
3
Partilhar
Comentar
0/400
gas_fee_therapist
· 5h atrás
Uau, este starknet realmente investiu pesado!
Ver originalResponder0
NFTArchaeologis
· 5h atrás
Mais uma vez, a era digital dos tesouros arqueológicos se reproduz, estudando com temor e respeito a inscrição do código-fonte desta Máquina virtual.
Ver originalResponder0
MemeKingNFT
· 6h atrás
Estrelas na noite de lua, cair o ouro, já conhece ZK? Até à lua! Turing Completo significa vida sem limites, ganhando muito!
Kakarot: Implementação de Cairo no Starknet conecta dois grandes ecossistemas
Kakarot: Máquina Virtual Ethereum baseada em Cairo
Kakarot zkEVM é uma implementação da Máquina Virtual Ethereum(EVM) escrita na linguagem Cairo. Cairo é uma linguagem Turing completa relacionada à CairoVM, que utiliza polinômios e o sistema de provas ZK-STARK para implementar computação comprovável.
Como uma implementação do zkEVM, Kakarot é capaz de gerar transações e blocos verificáveis. Por estar baseado na CairoVM, cada transação executada no Kakarot é verificável. No geral, o Kakarot zkEVM utiliza a linguagem Cairo e o sistema de provas ZK-STARK para fornecer capacidade computacional verificável, permitindo que os desenvolvedores implantem aplicações EVM sobre ele e permitindo que os usuários interajam com essas aplicações usando ferramentas comuns.
Além disso, Kakarot também oferecerá interoperabilidade com o protocolo Starknet, fornecendo combinabilidade para protocolos em diferentes áreas como DeFi e GameFi.
Roteiro de Desenvolvimento
O projeto começou em outubro de 2022, com o principal 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 6 meses, e está previsto o lançamento da rede de testes no final do verão de 2023.
O roadmap do Kakarot zkEVM é dividido em três fases:
Kakarot zkEVM na Starknet: levar EVM para Starknet
Nesta fase, o Kakarot zkEVM existirá como EVM embutido no L2 do Starknet. Os desenvolvedores poderão implantar diretamente contratos inteligentes em Solidity( ou qualquer linguagem compatível com EVM) no Starknet, utilizando ferramentas familiares. A experiência do usuário será a mesma que na Polygon, Scroll ou Ethereum L1.
Kakarot x Madara:L3 zkEVMs
Kakarot e Madara irão se integrar em uma pilha unificada para habilitar zkEVMs L3, podendo ser escalados para L4, L5, etc., se necessário. As equipes podem implantar cadeias de aplicativos zkEVM, utilizando provas de validade para liquidar transações na Starknet. Esse método pode reduzir os custos de gas, melhorar o desempenho, enquanto mantém a segurança.
Kakarot x Madara:type 1 zkEVM
Se puderem ser alcançados os seguintes dois pontos, Kakarot tornará-se 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 da atualização Verge.
Equipe
A equipe central do Kakarot nasceu de um hackathon em Lisboa, onde cerca de 10 pessoas construíram um zkEVM em uma semana. Atualmente, com o apoio da Fundação Starknet e da Onlydust, o Kakarot conta com mais de 40 contribuintes únicos.
Os membros principais incluem:
Situação de financiamento
Kakarot completou a rodada de financiamento pre-seed, o valor específico não foi divulgado. Os investidores incluem Starkware e LambDa. Os investidores-anjo incluem o fundador do Ethereum, Vitalik Buterin, o cofundador da Ledger, Nicolas Bacca, e o cofundador e CEO da ZAMA, Rand Hindi.
Resumo
Kakarot, como uma implementação EVM escrita em Cairo na Starknet, pode conectar efetivamente Starknet e o ecossistema Ethereum. Ele reduz a barreira de entrada para desenvolvedores, permitindo que projetos do ecossistema Ethereum sejam construídos na Starknet, mantendo a segurança e reduzindo custos. Fases futuras permitirão mais combinabilidade, como combinações modulares com Celestia ou EigenDA.
O desenvolvimento do Kakarot está intimamente ligado ao ecossistema Starknet. Ele conta com o apoio de Vitalik Buterin e StarkWare, o que é uma grande vantagem. No entanto, em comparação com outros projetos zkEVM, a equipe do Kakarot é menor, com um orçamento e reconhecimento de marca mais baixos, o que também é uma das razões pelas quais ainda não foi implementado como um zkEVM L2 genérico.
Kakarot encontra-se atualmente em fase inicial, com o lançamento da rede de testes prestes a acontecer. Embora enfrente desafios, a sua posição única e o forte apoio conferem-lhe potencial na área do zkEVM. À medida que o projeto avança, vale a pena acompanhar o seu progresso.