Kakarot zkEVM: 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 de programação Turing completa relacionada ao CairoVM, que utiliza polinômios e um sistema de provas ZK-STARK para realizar cálculos verificáveis.
Como zkEVM, Kakarot é capaz de gerar transações e blocos que podem ser provados. Uma vez que é construído sobre a CairoVM, cada transação executada no Kakarot é comprovável. Isso permite que os desenvolvedores implantem aplicações EVM no Kakarot, ao mesmo tempo que permite aos usuários interagir com essas aplicações usando ferramentas familiares.
Kakarot também oferecerá interoperabilidade com o protocolo Starknet, trazendo composibilidade para protocolos em diferentes áreas como DeFi e GameFi.
Roteiro de Desenvolvimento
O projeto Kakarot foi lançado em outubro de 2022, com o objetivo de criar um zkEVM em código aberto com menos de 10.000 linhas de código. Esse objetivo foi alcançado em apenas seis meses, com a previsão de lançamento da testnet no final do verão de 2023.
O roteiro do Kakarot zkEVM é dividido em três fases:
Kakarot zkEVM na Starknet: Introduzindo EVM na Starknet
Como um EVM incorporado no Starknet L2, os desenvolvedores podem implantar diretamente contratos inteligentes em Solidity (ou qualquer linguagem compatível com EVM) e usar ferramentas familiares. A experiência do usuário será a mesma que em Polygon, Scroll ou Ethereum L1.
Kakarot x Madara：L3 zkEVMs
Integre o Kakarot e o Madara, implementando L3 zkEVMs, ou até níveis superiores. As equipas podem implantar cadeias de aplicações zkEVM, utilizando provas de validade para liquidar transações na Starknet. Esta abordagem pode desacoplar segurança e descentralização, ao mesmo tempo que reduz custos e melhora o desempenho.
Kakarot x Madara: tipo 1 zkEVM
Ao escrever as regras de consenso Ethereum em Cairo no nó completo Madara x Kakarot e mudar do MPT de Pedersen para o MPT de Keccak, Kakarot promete tornar-se um cliente zkEVM tipo 1, capaz de provar blocos L1.
Background da equipe
A equipe central do Kakarot nasceu em um hackathon em Lisboa. 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, cientista, engenheiro e empresário.
Situação de financiamento
Kakarot completou a rodada de financiamento pre-seed, com o valor específico não divulgado. Os investidores incluem Starkware e LambDa. Os investidores-anjo incluem Vitalik Buterin, o cofundador da Ledger Nicolas Bacca e o cofundador e CEO da ZAMA Rand Hindi.
Vantagens e Desafios do Projeto
Kakarot, como EVM escrita em Cairo na Starknet, consegue conectar bem a 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 do Ethereum e reduzindo custos.
No entanto, o desenvolvimento do Kakarot está intimamente ligado ao ecossistema Starknet. Se o desenvolvimento do Starknet não correr bem, o Kakarot também será afetado. Comparado a outros projetos zkEVM, a equipe do Kakarot é menor, o orçamento e a notoriedade da marca também são mais baixos, o que é uma das razões pelas quais atualmente não foi implantado como um zkEVM L2 genérico.
Apesar disso, Kakarot obteve o apoio de Vitalik Buterin e StarkWare, o que é um grande impulso tanto financeiro quanto espiritual. O projeto ainda está em fase inicial, com a rede de testes prestes a ser lançada, e merece atenção contínua ao 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
4
Partilhar
Comentar
0/400
MemeCoinSavant
· 07-20 01:32
a pesquisa baseada em zkvm acabou de Gota fr fr
Ver originalResponder0
MetaLord420
· 07-20 01:30
Vitalik Buterin novamente apostou em um novo projeto? Veja
Kakarot zkEVM: A Máquina Virtual Ethereum construída com Cairo está prestes a Iniciar sessão no Starknet
Kakarot zkEVM: 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 de programação Turing completa relacionada ao CairoVM, que utiliza polinômios e um sistema de provas ZK-STARK para realizar cálculos verificáveis.
Como zkEVM, Kakarot é capaz de gerar transações e blocos que podem ser provados. Uma vez que é construído sobre a CairoVM, cada transação executada no Kakarot é comprovável. Isso permite que os desenvolvedores implantem aplicações EVM no Kakarot, ao mesmo tempo que permite aos usuários interagir com essas aplicações usando ferramentas familiares.
Kakarot também oferecerá interoperabilidade com o protocolo Starknet, trazendo composibilidade para protocolos em diferentes áreas como DeFi e GameFi.
Roteiro de Desenvolvimento
O projeto Kakarot foi lançado em outubro de 2022, com o objetivo de criar um zkEVM em código aberto com menos de 10.000 linhas de código. Esse objetivo foi alcançado em apenas seis meses, com a previsão de lançamento da testnet no final do verão de 2023.
O roteiro do Kakarot zkEVM é dividido em três fases:
Kakarot zkEVM na Starknet: Introduzindo EVM na Starknet
Como um EVM incorporado no Starknet L2, os desenvolvedores podem implantar diretamente contratos inteligentes em Solidity (ou qualquer linguagem compatível com EVM) e usar ferramentas familiares. A experiência do usuário será a mesma que em Polygon, Scroll ou Ethereum L1.
Kakarot x Madara：L3 zkEVMs
Integre o Kakarot e o Madara, implementando L3 zkEVMs, ou até níveis superiores. As equipas podem implantar cadeias de aplicações zkEVM, utilizando provas de validade para liquidar transações na Starknet. Esta abordagem pode desacoplar segurança e descentralização, ao mesmo tempo que reduz custos e melhora o desempenho.
Kakarot x Madara: tipo 1 zkEVM
Ao escrever as regras de consenso Ethereum em Cairo no nó completo Madara x Kakarot e mudar do MPT de Pedersen para o MPT de Keccak, Kakarot promete tornar-se um cliente zkEVM tipo 1, capaz de provar blocos L1.
Background da equipe
A equipe central do Kakarot nasceu em um hackathon em Lisboa. 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, com o valor específico não divulgado. Os investidores incluem Starkware e LambDa. Os investidores-anjo incluem Vitalik Buterin, o cofundador da Ledger Nicolas Bacca e o cofundador e CEO da ZAMA Rand Hindi.
Vantagens e Desafios do Projeto
Kakarot, como EVM escrita em Cairo na Starknet, consegue conectar bem a 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 do Ethereum e reduzindo custos.
No entanto, o desenvolvimento do Kakarot está intimamente ligado ao ecossistema Starknet. Se o desenvolvimento do Starknet não correr bem, o Kakarot também será afetado. Comparado a outros projetos zkEVM, a equipe do Kakarot é menor, o orçamento e a notoriedade da marca também são mais baixos, o que é uma das razões pelas quais atualmente não foi implantado como um zkEVM L2 genérico.
Apesar disso, Kakarot obteve o apoio de Vitalik Buterin e StarkWare, o que é um grande impulso tanto financeiro quanto espiritual. O projeto ainda está em fase inicial, com a rede de testes prestes a ser lançada, e merece atenção contínua ao seu desenvolvimento.