Kakarot: Máquina Virtual Ethereum escrita por Cairo
Kakarot zkEVM é uma Máquina Virtual Ethereum (EVM) escrita na linguagem Cairo. Cairo é uma linguagem Turing completa relacionada ao CairoVM, que utiliza polinômios e um sistema de provas ZK-STARK para implementar computação verificável.
Como zkEVM, Kakarot pode gerar transações e blocos verificáveis. Sendo construído sobre a CairoVM, cada transação executada em Kakarot é verificável. Isso permite que os desenvolvedores implantem aplicações EVM sobre ele, enquanto os usuários finais podem interagir com as aplicações usando ferramentas comuns.
Além disso, Kakarot também oferecerá interoperabilidade com o protocolo Starknet, proporcionando 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 seis meses, e está previsto o lançamento da rede de teste no final do verão de 2023.
O roteiro do Kakarot zkEVM é dividido em três fases:
Kakarot zkEVM no Starknet: Introduzir EVM no Starknet
Como EVM embutido no Starknet L2, os desenvolvedores podem implantar contratos inteligentes Solidity diretamente, usando ferramentas familiares como Foundry, Hardhat, etc. A experiência do usuário será a mesma que a do Polygon, Ethereum L1, entre outros.
Kakarot x Madara：L3 zkEVMs
Integre Kakarot e Madara, implementando L3 zkEVMs, podendo ser expandido para L4, L5, etc., se necessário. A equipe pode implantar uma cadeia de aplicativos zkEVM, utilizando provas de validade para liquidar transações na Starknet. Esta arquitetura L3 pode desacoplar segurança e descentralização, permitindo que os usuários desfrutem da segurança do Ethereum L1 sem necessitar do mesmo nível de descentralização.
Kakarot x Madara: tipo 1 zkEVM
Se for possível escrever as regras de consenso do Ethereum em Cairo e mudar de Pedersen Merkle Patricia Trie para Keccak MPT, Kakarot se tornará um cliente zkEVM do tipo 1 capaz de provar blocos L1. Isso depende do roteiro do Ethereum, especialmente do desenvolvimento da fase Verge.
Visão geral da equipe
A equipe central do Kakarot nasceu de um hackathon em Lisboa. Atualmente, mais de 40 colaboradores estão envolvidos no desenvolvimento do projeto.
Os principais membros incluem:
Elias Tazartes: cofundador e CEO, focado em engenharia de blockchain e desenvolvimento full stack.
Clément Walter: cofundador e CTO, com formação de cientista, engenheiro e empresário.
Situação de financiamento
Kakarot completou a rodada de financiamento pre-seed, o valor específico não foi divulgado. Os investidores incluem Starkware, LambDa, entre outros. Os investidores-anjo incluem Vitalik Buterin, o cofundador da Ledger Nicolas Bacca e o cofundador da ZAMA Rand Hindi.
Avaliação do projeto
Kakarot, como implementação EVM no Starknet, pode conectar efetivamente o Starknet e o ecossistema Ethereum, reduzindo a barreira de entrada para desenvolvedores. Nas fases futuras, mais combinabilidade será alcançada, como com módulos como Celestia ou EigenDA.
O projeto está intimamente ligado ao ecossistema Starknet e se promove mutuamente. Ter o apoio de Vitalik Buterin e da StarkWare é uma grande vantagem. No entanto, em comparação com outros projetos zkEVM, a equipe Kakarot é pequena, com um orçamento e notoriedade mais baixos, o que é uma das razões pelas quais ainda não foi implementado como um zkEVM L2 geral.
Kakarot ainda está em estágios iniciais, a testnet será lançada em breve, e vale a pena acompanhar seu desenvolvimento.
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.
15 gostos
Recompensa
15
3
Partilhar
Comentar
0/400
HackerWhoCares
· 07-25 13:18
O futuro é promissor para este projeto.
Ver originalResponder0
NftMetaversePainter
· 07-25 13:18
omg finalmente uma implementação zkvm digna... a elegância algorítmica é *chef's kiss*
Kakarot: O primeiro zkEVM baseado em Cairo trará compatibilidade EVM para Starknet
Kakarot: Máquina Virtual Ethereum escrita por Cairo
Kakarot zkEVM é uma Máquina Virtual Ethereum (EVM) escrita na linguagem Cairo. Cairo é uma linguagem Turing completa relacionada ao CairoVM, que utiliza polinômios e um sistema de provas ZK-STARK para implementar computação verificável.
Como zkEVM, Kakarot pode gerar transações e blocos verificáveis. Sendo construído sobre a CairoVM, cada transação executada em Kakarot é verificável. Isso permite que os desenvolvedores implantem aplicações EVM sobre ele, enquanto os usuários finais podem interagir com as aplicações usando ferramentas comuns.
Além disso, Kakarot também oferecerá interoperabilidade com o protocolo Starknet, proporcionando 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 seis meses, e está previsto o lançamento da rede de teste no final do verão de 2023.
O roteiro do Kakarot zkEVM é dividido em três fases:
Kakarot zkEVM no Starknet: Introduzir EVM no Starknet
Como EVM embutido no Starknet L2, os desenvolvedores podem implantar contratos inteligentes Solidity diretamente, usando ferramentas familiares como Foundry, Hardhat, etc. A experiência do usuário será a mesma que a do Polygon, Ethereum L1, entre outros.
Kakarot x Madara：L3 zkEVMs
Integre Kakarot e Madara, implementando L3 zkEVMs, podendo ser expandido para L4, L5, etc., se necessário. A equipe pode implantar uma cadeia de aplicativos zkEVM, utilizando provas de validade para liquidar transações na Starknet. Esta arquitetura L3 pode desacoplar segurança e descentralização, permitindo que os usuários desfrutem da segurança do Ethereum L1 sem necessitar do mesmo nível de descentralização.
Kakarot x Madara: tipo 1 zkEVM
Se for possível escrever as regras de consenso do Ethereum em Cairo e mudar de Pedersen Merkle Patricia Trie para Keccak MPT, Kakarot se tornará um cliente zkEVM do tipo 1 capaz de provar blocos L1. Isso depende do roteiro do Ethereum, especialmente do desenvolvimento da fase Verge.
Visão geral da equipe
A equipe central do Kakarot nasceu de um hackathon em Lisboa. Atualmente, mais de 40 colaboradores estão envolvidos no desenvolvimento do projeto.
Os principais membros 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, LambDa, entre outros. Os investidores-anjo incluem Vitalik Buterin, o cofundador da Ledger Nicolas Bacca e o cofundador da ZAMA Rand Hindi.
Avaliação do projeto
Kakarot, como implementação EVM no Starknet, pode conectar efetivamente o Starknet e o ecossistema Ethereum, reduzindo a barreira de entrada para desenvolvedores. Nas fases futuras, mais combinabilidade será alcançada, como com módulos como Celestia ou EigenDA.
O projeto está intimamente ligado ao ecossistema Starknet e se promove mutuamente. Ter o apoio de Vitalik Buterin e da StarkWare é uma grande vantagem. No entanto, em comparação com outros projetos zkEVM, a equipe Kakarot é pequena, com um orçamento e notoriedade mais baixos, o que é uma das razões pelas quais ainda não foi implementado como um zkEVM L2 geral.
Kakarot ainda está em estágios iniciais, a testnet será lançada em breve, e vale a pena acompanhar seu desenvolvimento.