Encyclopedia Ethereum · Entry 280
What is Starknet? Cairo accounts and validity proofs on Ethereum
In this article
At a glance
Key facts
| Fact | Detail | Source |
|---|---|---|
| Proofs | Starknet submits proofs supporting its execution results to Ethereum. | [1] |
| Data | Its protocol publishes compressed state differences for reconstruction. | [1] |
| Accounts | Starknet account contracts separate validation and execution logic. | [2] |
Execution is proved before Ethereum accepts the result
Transactions are ordered into blocks and the proving system produces evidence that the protocol’s execution program yields the claimed state. Ethereum-side verification checks that evidence instead of running each Starknet transaction as an Ethereum transaction.
The proof is one component of the system. Data availability, sequencing and account validation remain distinct parts of how a user’s transaction succeeds.
A smart account can use its own authorization rules
Suppose a Starknet account requires multiple approvals through its validation function. A transaction must satisfy that account’s rules before its requested calls execute. The account design determines the accepted authorization, rather than assuming one fixed Ethereum EOA signature rule.
This flexibility also means account implementation matters. A network’s support for smart accounts does not guarantee every wallet includes the same recovery or permission features.
Use the right account and contract environment
Starknet uses its own contract and account interfaces, with Cairo-based execution tooling described by the protocol. Ethereum applications cannot assume that copying an address and raw EVM transaction reproduces the same operation.
Check the intended network, token representation and supported bridge before sending. A validity proof does not verify that you selected the recipient or asset you meant to use.
Direct answers
Questions people ask
Are all Starknet accounts simple Ethereum-style EOAs?
No. Starknet accounts are smart contracts whose validation and execution functions implement the account’s behavior.
Does a STARK proof make every application safe?
No. It proves the specified computation under the protocol’s rules. It does not establish that an application’s economic promises or user-selected destination are appropriate.
Inspect the evidence
The answer and key facts have stable claim links. These records retain the scope and qualification when reused.
Starknet is an Ethereum validity rollup that proves execution with STARK-based proofs and publishes compressed state information to Ethereum. Its accounts are smart contracts with validation logic, rather than Ethereum-style externally owned accounts alone. Use Starknet-aware accounts, tooling and asset routes; an Ethereum address or contract workflow is not automatically portable unchanged.
Scope: Ethereum · data through 2026-10-02. Verification: verified · 2026-10-02T19:27:58.939Z.
Link to this claimProofs: Starknet submits proofs supporting its execution results to Ethereum.
Scope: Ethereum · data through 2026-10-02. Verification: verified · 2026-10-02T19:27:58.939Z.
Link to this claimData: Its protocol publishes compressed state differences for reconstruction.
Scope: Ethereum · data through 2026-10-02. Verification: verified · 2026-10-02T19:27:58.939Z.
Link to this claimAccounts: Starknet account contracts separate validation and execution logic.
Scope: Ethereum · data through 2026-10-02. Verification: verified · 2026-10-02T19:27:58.939Z.
Link to this claimRevision history
- — First publication after primary-source research and separate automated verification.
Source register
Sources and references
Retrieval dates and locators are recorded individually.- Starknet architectureStarknet
Cairo-based execution and STARK proof settlement on Ethereum.
Locator: Architecture; execution; proving; settlement · Version / scope: Documentation snapshot retrieved 2 October 2026; response hash recorded separately · Retrieved: 2026-10-02T18:55:28.216ZOpen source - Starknet accountsStarknet
Native contract-account validation and execution differ from Ethereum EOAs.
Locator: Account abstraction; validation · Version / scope: Documentation snapshot retrieved 2 October 2026; response hash recorded separately · Retrieved: 2026-10-02T18:55:28.472ZOpen source
Research and drafting use AI assistance. A separate automated review checks claims against primary sources; no external expert or named human review is implied. Publication, substantive editing, source retrieval and verification are recorded separately. This version was independently checked by an automated reviewer on 2 October 2026.
Editorial method and correctionsDegrees of Satoshi editorial project. “What is Starknet? Cairo accounts and validity proofs on Ethereum.” Published 2026-10-02; updated 2026-10-02. https://degreesofsatoshi.com/encyclopedia/starknet/