Kakarot zkEVM: Máquina Virtual Ethereum escrita em Cairo
Kakarot zkEVM é uma Máquina Virtual Ethereum (EVM) escrita na linguagem Cairo. Cairo é uma linguagem Turing completa associada à CairoVM, que utiliza polinômios e o sistema de provas ZK-STARK para implementar computação verificável.
As características do zkEVM incluem a capacidade de gerar transações e blocos que podem ser comprovados. O Kakarot é construído sobre a CairoVM, portanto, cada transação executada nele é comprovável. No geral, o Kakarot zkEVM utiliza o sistema de provas ZK-STARK para oferecer capacidade de computação comprová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 composabilidade para protocolos em áreas como DeFi e GameFi.
Roteiro de desenvolvimento
O projeto começou em outubro de 2022, com objetivos que incluem ser open source desde o início e criar um zkEVM com menos de 10.000 linhas de código. Esse objetivo foi alcançado em apenas seis meses. O lançamento da rede de testes está previsto para o final do verão de 2023.
O desenvolvimento do Kakarot zkEVM é dividido em três fases:
Kakarot zkEVM na Starknet - Introduzindo EVM na Starknet
Nesta fase, o Kakarot zkEVM existirá como um EVM embutido no L2 do Starknet. Os desenvolvedores poderão implantar contratos inteligentes Solidity (ou qualquer linguagem compatível com EVM) diretamente no Starknet, utilizando ferramentas familiares. A experiência do usuário será a mesma que em Polygon, Scroll ou Ethereum L1.
Kakarot x Madara - L3 zkEVMs
Kakarot e Madara integrarão, implementando L3 zkEVMs, podendo ser expandidos para L4, L5, entre outros, se necessário. As equipes podem implantar cadeias de aplicação zkEVM, utilizando provas de validade para liquidar transações na Starknet. Essa arquitetura L3 pode desacoplar segurança e descentralização, permitindo que os usuários desfrutem da segurança do Ethereum L1, enquanto reduzem custos e aumentam o desempenho.
Kakarot x Madara - tipo 1 zkEVM
Ao escrever regras de consenso Ethereum em Cairo no nó completo Madara x Kakarot e mudar de Pedersen Merkle Patricia Trie (MPT) para Keccak MPT, Kakarot espera tornar-se um cliente zkEVM do tipo 1, capaz de provar blocos L1. A realização deste objetivo depende da trajetória de desenvolvimento do Ethereum, especialmente da fase Verge.
Background da equipe
A equipe central do Kakarot originou-se de um hackathon em Lisboa, onde cerca de dez pessoas construíram um protótipo de zkEVM em uma semana. Atualmente, com o apoio da Fundação Starknet e da Onlydust, o Kakarot possui mais de 40 colaboradores.
Os membros principais incluem:
Elias Tazartes: cofundador e CEO, focado em engenharia de blockchain e desenvolvimento full stack.
Clément Walter: cofundador e CTO, com formação em ciência, engenharia e empreendedorismo.
Situação de financiamento
Kakarot completou a rodada de financiamento pre-seed, com o valor específico não divulgado. Os investidores incluem instituições como Starkware, LambDa, além de investidores anjo como Vitalik Buterin, Nicolas Bacca, cofundador da Ledger, e Rand Hindi, cofundador e CEO da ZAMA.
Perspectivas do projeto
Kakarot, como uma implementação EVM no Starknet, tem o potencial de se tornar uma ponte importante entre o Starknet e o ecossistema Ethereum. Ele pode reduzir a barreira de entrada para desenvolvedores, facilitando a construção de projetos do ecossistema Ethereum no Starknet, enquanto mantém a segurança do Ethereum e reduz os custos.
O desenvolvimento do Kakarot está intimamente ligado ao ecossistema Starknet. À medida que o Starknet continua a atualizar e melhorar a experiência do usuário, espera-se que o Kakarot contribua para a prosperidade do ecossistema. No entanto, o sucesso do Kakarot também depende, em certa medida, do desenvolvimento do Starknet.
Obter o apoio de Vitalik Buterin e StarkWare é uma grande vantagem para o Kakarot. No entanto, em comparação com outros projetos de zkEVM, a equipe do Kakarot é relativamente pequena, 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.
Como um projeto em estágio inicial, o desenvolvimento do Kakarot merece atenção contínua. A próxima rede de testes que será lançada será um ponto importante para observar sua força técnica e potencial ecológico.
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.
14 gostos
Recompensa
14
4
Partilhar
Comentar
0/400
FloorSweeper
· 16h atrás
eh mais uma hype zk... aposto os meus 500 eth que isto não vai sobreviver ao mercado em baixa smh
Kakarot zkEVM: Máquina Virtual Ethereum construída com a linguagem Cairo conectando Starknet e o ecossistema Ethereum
Kakarot zkEVM: Máquina Virtual Ethereum escrita em Cairo
Kakarot zkEVM é uma Máquina Virtual Ethereum (EVM) escrita na linguagem Cairo. Cairo é uma linguagem Turing completa associada à CairoVM, que utiliza polinômios e o sistema de provas ZK-STARK para implementar computação verificável.
As características do zkEVM incluem a capacidade de gerar transações e blocos que podem ser comprovados. O Kakarot é construído sobre a CairoVM, portanto, cada transação executada nele é comprovável. No geral, o Kakarot zkEVM utiliza o sistema de provas ZK-STARK para oferecer capacidade de computação comprová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 composabilidade para protocolos em áreas como DeFi e GameFi.
Roteiro de desenvolvimento
O projeto começou em outubro de 2022, com objetivos que incluem ser open source desde o início e criar um zkEVM com menos de 10.000 linhas de código. Esse objetivo foi alcançado em apenas seis meses. O lançamento da rede de testes está previsto para o final do verão de 2023.
O desenvolvimento do Kakarot zkEVM é dividido em três fases:
Kakarot zkEVM na Starknet - Introduzindo EVM na Starknet
Nesta fase, o Kakarot zkEVM existirá como um EVM embutido no L2 do Starknet. Os desenvolvedores poderão implantar contratos inteligentes Solidity (ou qualquer linguagem compatível com EVM) diretamente no Starknet, utilizando ferramentas familiares. A experiência do usuário será a mesma que em Polygon, Scroll ou Ethereum L1.
Kakarot x Madara - L3 zkEVMs
Kakarot e Madara integrarão, implementando L3 zkEVMs, podendo ser expandidos para L4, L5, entre outros, se necessário. As equipes podem implantar cadeias de aplicação zkEVM, utilizando provas de validade para liquidar transações na Starknet. Essa arquitetura L3 pode desacoplar segurança e descentralização, permitindo que os usuários desfrutem da segurança do Ethereum L1, enquanto reduzem custos e aumentam o desempenho.
Kakarot x Madara - tipo 1 zkEVM
Ao escrever regras de consenso Ethereum em Cairo no nó completo Madara x Kakarot e mudar de Pedersen Merkle Patricia Trie (MPT) para Keccak MPT, Kakarot espera tornar-se um cliente zkEVM do tipo 1, capaz de provar blocos L1. A realização deste objetivo depende da trajetória de desenvolvimento do Ethereum, especialmente da fase Verge.
Background da equipe
A equipe central do Kakarot originou-se de um hackathon em Lisboa, onde cerca de dez pessoas construíram um protótipo de zkEVM em uma semana. Atualmente, com o apoio da Fundação Starknet e da Onlydust, o Kakarot possui mais de 40 colaboradores.
Os membros principais incluem:
Situação de financiamento
Kakarot completou a rodada de financiamento pre-seed, com o valor específico não divulgado. Os investidores incluem instituições como Starkware, LambDa, além de investidores anjo como Vitalik Buterin, Nicolas Bacca, cofundador da Ledger, e Rand Hindi, cofundador e CEO da ZAMA.
Perspectivas do projeto
Kakarot, como uma implementação EVM no Starknet, tem o potencial de se tornar uma ponte importante entre o Starknet e o ecossistema Ethereum. Ele pode reduzir a barreira de entrada para desenvolvedores, facilitando a construção de projetos do ecossistema Ethereum no Starknet, enquanto mantém a segurança do Ethereum e reduz os custos.
O desenvolvimento do Kakarot está intimamente ligado ao ecossistema Starknet. À medida que o Starknet continua a atualizar e melhorar a experiência do usuário, espera-se que o Kakarot contribua para a prosperidade do ecossistema. No entanto, o sucesso do Kakarot também depende, em certa medida, do desenvolvimento do Starknet.
Obter o apoio de Vitalik Buterin e StarkWare é uma grande vantagem para o Kakarot. No entanto, em comparação com outros projetos de zkEVM, a equipe do Kakarot é relativamente pequena, 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.
Como um projeto em estágio inicial, o desenvolvimento do Kakarot merece atenção contínua. A próxima rede de testes que será lançada será um ponto importante para observar sua força técnica e potencial ecológico.