Glossary
Starknet
Un rollup ZK que usa pruebas STARK y el lenguaje Cairo, desarrollado por StarkWare. No es compatible con EVM: ejecuta su propia VM con abstracción de cuentas nativa.
Starknet es un rollup ZK construido por StarkWare. A diferencia de zkSync, no es compatible con EVM: los contratos se escriben en Cairo, un lenguaje Turing-completo diseñado en torno a una aritmetización amigable con STARK.
La cadena tiene abstracción de cuentas nativa (toda cuenta es un contrato, no hay EOAs) y utiliza pruebas STARK que escalan a cómputos muy grandes sin setup confiable. La contrapartida es que el ecosistema es más pequeño y el tooling hay que aprenderlo desde cero.