Kakarot zkEVM é uma Ethereum Virtual Machine (EVM) escrita no Cairo. Cairo é uma linguagem Turing-completa associada a CairoVM. CairoVM utiliza sistemas de prova polinomiais e ZK-STARK para obter computação comprovável.
A característica do zkEVM é que ele pode gerar transações comprováveis, portanto também pode gerar blocos comprováveis. O Kakarot é construído sobre o CairoVM, portanto, todas as transações executadas no Kakarot são comprováveis.
Em geral, Kakarot zkEVM é escrito na linguagem do Cairo e utiliza o sistema de prova ZK-STARK para fornecer poder de computação comprovável. Ele permite que os desenvolvedores implementem aplicativos EVM sobre ele e permite que os usuários finais interajam com esses aplicativos usando sua cadeia de ferramentas usual.
Por fim, o Kakarot também fornecerá interoperabilidade com o protocolo Starknet, fornecendo capacidade de composição para protocolos em diferentes campos, como DeFi e GameFi.
mapa de rotas
O projeto começou em outubro de 2022 com vários objetivos: código aberto desde o primeiro dia e, o mais ambicioso, criar um zkEVM em menos de 10.000 linhas de código. Isso foi alcançado em apenas seis meses. E o testnet será lançado no final do verão de 2023.
O roteiro do Kakarot zkEVM é dividido em três fases:
Fase 1: Kakarot zkEVM na Starknet — Trazendo a EVM para a Starknet
O Kakarot zkEVM existirá primeiro no Starknet's L2 como um EVM integrado, permitindo que os desenvolvedores implantem diretamente seus contratos inteligentes Solidity (ou qualquer linguagem compatível com EVM) no Starknet e usem suas ferramentas familiares (como Foundry, Hardhat, Wagmi, etc.) . Seus usuários finais poderão interagir com seus dApps usando suas cadeias de ferramentas familiares, como Metamask, Wallet connect, etc. No geral, a experiência do desenvolvedor e do usuário no Kakarot será exatamente a mesma do Polygon, Scroll ou Ethereum L1
Fase 2: Kakarot x Madara — L3 zkEVMs
Kakarot e Madara serão combinados em uma pilha unificada para habilitar L3 zkEVMs e onde faz sentido L4, L5, etc. As equipes poderão implantar sua cadeia de aplicativos zkEVM e utilizar prova de validade para liquidar transações na Starknet. Os cálculos são executados fora da cadeia ou em uma camada superior e verificados na cadeia. Esses L3s de prova de validade (como Kakarot) têm uma propriedade interessante e subestimada: a capacidade de dissociar segurança e descentralização. Os usuários podem se beneficiar da segurança do Ethereum L1 sem exigir o mesmo nível de descentralização (ou seja, milhares de validadores). No entanto, para rollups, a descentralização é benéfica porque traz vivacidade e resistência à censura, duas propriedades muito importantes. Isso pode ser obtido configurando o sequenciador em centenas em vez de milhares. L2 tem um custo de gás muito menor e maior desempenho (TPS) do que L2 devido ao cálculo feito em outra camada. Observe que o L2 já é muito mais barato que o L1. Rollups são empilhados e multiplicados para escalabilidade. Para reduzir ainda mais os custos de gás, a verificação de provas e a disponibilidade de dados (DA) podem ser separadas. Starknet L2 pode ser usado apenas como uma camada de verificação de prova, enquanto novas soluções de disponibilidade de dados, como Celestia ou EigenDA, podem ser usadas para publicar dados de transações. Os usuários terão a opção de optar por qualquer um deles, dependendo de suas necessidades de segurança. Publicar comprovantes e dados de transações no Starknet é uma opção mais segura, enquanto usar soluções DA para publicar dados de transações é uma opção mais econômica
Fase 3: Kakarot x Madara — tipo 1 zkEVM
Kakarot e Madara também podem ser combinados para implementar o tipo 1 zkEVM. Se você puder:
Escreva as regras de consenso Ethereum com Cairo no nó completo Madara x Kakarot, para que o consenso L1 possa ser provado.
Mude de Pedersen Merkle Patricia Trie (MPT) para Keccak MPT. Então, o Kakarot se tornará um cliente zkEVM tipo 1 capaz de atestar blocos L1. Este é um caso de uso mais avançado que depende do roteiro do Ethereum, especialmente do Verge. Após Verge, keccak pode ser substituído por poseidon como a função de hash de escolha para Ethereum. Isso ajudará a equipe do zkEVM a ser do tipo 1, já que o principal obstáculo de compatibilidade para o zkEVM é o layout de armazenamento, ou seja, implementar o Keccak MPT a um custo provável e razoável.
Equipe:
Na casa de um hacker em Lisboa, cerca de uma semana de trabalho dedicado, cerca de dez pessoas construíram um zkEVM, até agora, nasceu a equipe principal do Kakarot.
Com a ajuda da Fundação Starknet e Onlydust, hoje Kakarot tem mais de 40 colaboradores únicos.
**Elias Tazartes: **Co-fundador e CEO da Kakarot, um desenvolvedor freelance especializado em engenharia blockchain (Dapp, Ethereum, Algorand) e desenvolvimento full-stack (Svelte/React, NodeJS, Rust, Python).
**Clément Walter:**Cientista, engenheira, empresária, faz-tudo, curiosa sobre tudo, esta é a apresentação de Clément a si mesma. Ao mesmo tempo, ele é cofundador e diretor de tecnologia da Kakarot
1 che = v2)
Financiamento:
Atualmente Kakarot realizou o financiamento da rodada de pré-semente. O valor específico do financiamento não foi anunciado. As equipes e o pessoal envolvidos no investimento são: **Starkware, LambDa. **Os investidores anjos incluem Vitalik, Nicolas Bacca, cofundador da Ledger, e Rand Hindi, cofundador e CEO da ZAMA.
Resumindo:
Atualmente, o desenvolvimento ecológico de cadeias públicas que não são compatíveis com EVM está em um estágio lento. Atualmente, a maior parte da ecologia de cadeia pública é desenvolvida em torno do ecossistema Ethereum. Kakarot, como a Ethereum Virtual Machine (EVM) escrita no Cairo na Starknet, pode rapidamente Um bom link entre a ecologia Starknet e a ecologia Ethereum, na Starknet que não é compatível com EVM, permite que a ecologia Ethereum seja bem construída na Starknet e reduz a barreira de entrada para desenvolvedores desenvolverem, acessando o segurança do Ethereum e redução de custos. No segundo e terceiro estágios do Kakarot, mais capacidade de composição pode ser alcançada e módulos como Celestia ou EigenDA podem ser combinados modularmente.
Como o ZK-EVM escrito em Starknet, a conexão com a ecologia Starknet é como uma relação entre lábios e dentes, e ambos são prósperos. No momento, Starknet também está constantemente atualizando de forma iterativa para melhorar a experiência do usuário e contando com o ZK- EVM construído por Kakarot, pode ser muito bom. Para contribuir para a prosperidade ecológica do projeto, pelo contrário, se o desenvolvimento de Starknet não for satisfatório, Kakarot também será afetado.
Outra vantagem do Kakarot é que ele conta com o apoio de V God e StarkWare, não apenas espiritualmente, mas também financeiramente.
Em comparação com outros ZK-EVMs, o Kakarot está em desvantagem - uma equipe de menos de 10 pessoas, com orçamento e marca muito menores. Esta é uma das razões pelas quais o Kakarot não é implantado como um zkEVM L2 de uso geral.
No momento, o Kakarot ainda está no estágio inicial e o testnet será lançado em um futuro próximo, fique atento.
Ver original
O conteúdo serve apenas de referência e não constitui uma solicitação ou oferta. Não é prestado qualquer aconselhamento em matéria de investimento, fiscal ou jurídica. Consulte a Declaração de exoneração de responsabilidade para obter mais informações sobre os riscos.
Kakarot: Um Zk-EVM que Vitalik Buterin achou legal e investiu
Escrito por: Yinan
Introdução
Kakarot zkEVM é uma Ethereum Virtual Machine (EVM) escrita no Cairo. Cairo é uma linguagem Turing-completa associada a CairoVM. CairoVM utiliza sistemas de prova polinomiais e ZK-STARK para obter computação comprovável.
A característica do zkEVM é que ele pode gerar transações comprováveis, portanto também pode gerar blocos comprováveis. O Kakarot é construído sobre o CairoVM, portanto, todas as transações executadas no Kakarot são comprováveis.
Em geral, Kakarot zkEVM é escrito na linguagem do Cairo e utiliza o sistema de prova ZK-STARK para fornecer poder de computação comprovável. Ele permite que os desenvolvedores implementem aplicativos EVM sobre ele e permite que os usuários finais interajam com esses aplicativos usando sua cadeia de ferramentas usual.
Por fim, o Kakarot também fornecerá interoperabilidade com o protocolo Starknet, fornecendo capacidade de composição para protocolos em diferentes campos, como DeFi e GameFi.
mapa de rotas
O projeto começou em outubro de 2022 com vários objetivos: código aberto desde o primeiro dia e, o mais ambicioso, criar um zkEVM em menos de 10.000 linhas de código. Isso foi alcançado em apenas seis meses. E o testnet será lançado no final do verão de 2023.
O roteiro do Kakarot zkEVM é dividido em três fases:
O Kakarot zkEVM existirá primeiro no Starknet's L2 como um EVM integrado, permitindo que os desenvolvedores implantem diretamente seus contratos inteligentes Solidity (ou qualquer linguagem compatível com EVM) no Starknet e usem suas ferramentas familiares (como Foundry, Hardhat, Wagmi, etc.) . Seus usuários finais poderão interagir com seus dApps usando suas cadeias de ferramentas familiares, como Metamask, Wallet connect, etc. No geral, a experiência do desenvolvedor e do usuário no Kakarot será exatamente a mesma do Polygon, Scroll ou Ethereum L1
Kakarot e Madara serão combinados em uma pilha unificada para habilitar L3 zkEVMs e onde faz sentido L4, L5, etc. As equipes poderão implantar sua cadeia de aplicativos zkEVM e utilizar prova de validade para liquidar transações na Starknet. Os cálculos são executados fora da cadeia ou em uma camada superior e verificados na cadeia. Esses L3s de prova de validade (como Kakarot) têm uma propriedade interessante e subestimada: a capacidade de dissociar segurança e descentralização. Os usuários podem se beneficiar da segurança do Ethereum L1 sem exigir o mesmo nível de descentralização (ou seja, milhares de validadores). No entanto, para rollups, a descentralização é benéfica porque traz vivacidade e resistência à censura, duas propriedades muito importantes. Isso pode ser obtido configurando o sequenciador em centenas em vez de milhares. L2 tem um custo de gás muito menor e maior desempenho (TPS) do que L2 devido ao cálculo feito em outra camada. Observe que o L2 já é muito mais barato que o L1. Rollups são empilhados e multiplicados para escalabilidade. Para reduzir ainda mais os custos de gás, a verificação de provas e a disponibilidade de dados (DA) podem ser separadas. Starknet L2 pode ser usado apenas como uma camada de verificação de prova, enquanto novas soluções de disponibilidade de dados, como Celestia ou EigenDA, podem ser usadas para publicar dados de transações. Os usuários terão a opção de optar por qualquer um deles, dependendo de suas necessidades de segurança. Publicar comprovantes e dados de transações no Starknet é uma opção mais segura, enquanto usar soluções DA para publicar dados de transações é uma opção mais econômica
Kakarot e Madara também podem ser combinados para implementar o tipo 1 zkEVM. Se você puder:
Equipe:
Na casa de um hacker em Lisboa, cerca de uma semana de trabalho dedicado, cerca de dez pessoas construíram um zkEVM, até agora, nasceu a equipe principal do Kakarot.
Com a ajuda da Fundação Starknet e Onlydust, hoje Kakarot tem mais de 40 colaboradores únicos.
**Elias Tazartes: **Co-fundador e CEO da Kakarot, um desenvolvedor freelance especializado em engenharia blockchain (Dapp, Ethereum, Algorand) e desenvolvimento full-stack (Svelte/React, NodeJS, Rust, Python).
**Clément Walter:**Cientista, engenheira, empresária, faz-tudo, curiosa sobre tudo, esta é a apresentação de Clément a si mesma. Ao mesmo tempo, ele é cofundador e diretor de tecnologia da Kakarot
1 che = v2)
Financiamento:
Atualmente Kakarot realizou o financiamento da rodada de pré-semente. O valor específico do financiamento não foi anunciado. As equipes e o pessoal envolvidos no investimento são: **Starkware, LambDa. **Os investidores anjos incluem Vitalik, Nicolas Bacca, cofundador da Ledger, e Rand Hindi, cofundador e CEO da ZAMA.
Resumindo:
Atualmente, o desenvolvimento ecológico de cadeias públicas que não são compatíveis com EVM está em um estágio lento. Atualmente, a maior parte da ecologia de cadeia pública é desenvolvida em torno do ecossistema Ethereum. Kakarot, como a Ethereum Virtual Machine (EVM) escrita no Cairo na Starknet, pode rapidamente Um bom link entre a ecologia Starknet e a ecologia Ethereum, na Starknet que não é compatível com EVM, permite que a ecologia Ethereum seja bem construída na Starknet e reduz a barreira de entrada para desenvolvedores desenvolverem, acessando o segurança do Ethereum e redução de custos. No segundo e terceiro estágios do Kakarot, mais capacidade de composição pode ser alcançada e módulos como Celestia ou EigenDA podem ser combinados modularmente.
Como o ZK-EVM escrito em Starknet, a conexão com a ecologia Starknet é como uma relação entre lábios e dentes, e ambos são prósperos. No momento, Starknet também está constantemente atualizando de forma iterativa para melhorar a experiência do usuário e contando com o ZK- EVM construído por Kakarot, pode ser muito bom. Para contribuir para a prosperidade ecológica do projeto, pelo contrário, se o desenvolvimento de Starknet não for satisfatório, Kakarot também será afetado.
Outra vantagem do Kakarot é que ele conta com o apoio de V God e StarkWare, não apenas espiritualmente, mas também financeiramente.
Em comparação com outros ZK-EVMs, o Kakarot está em desvantagem - uma equipe de menos de 10 pessoas, com orçamento e marca muito menores. Esta é uma das razões pelas quais o Kakarot não é implantado como um zkEVM L2 de uso geral.
No momento, o Kakarot ainda está no estágio inicial e o testnet será lançado em um futuro próximo, fique atento.