Kakarot zkEVM - это реализация виртуальной машины Ethereum (EVM), написанная на языке Cairo. Cairo - это язык, полный по Тьюрингу, связанный с CairoVM. CairoVM обеспечивает доказуемые вычисления, используя полиномы и систему доказательств ZK-STARK. ZkEVM характеризуется способностью генерировать доказуемые транзакции и, следовательно, доказуемые блоки. Kakarot построен на базе CairoVM, каждая транзакция, выполняемая на Kakarot, является доказуемой. Kakarot zkEVM позволяет командам создавать и...