Compare
Four documents, the same five questions.
No throughput league table and no yield. The cells are what this library is willing to say about the text.
| Question | Starknet architecture: a validity rollup over Cairo |
|---|---|
| What the text proposes | Starknet is a validity rollup whose execution is Cairo, proved to a settlement contract. The STARK convinces the contract. It does not choose the sequencer. |
| Who may write | StarkWare |
| What is settled | Transactions are executed in Cairo. The proof attests a Cairo transition, which is why Ethereum bytecode is not automatically this machine. |
| Load-bearing assumption | This is not a measurement of proof cost or of how often the sequencer produces a batch. |
| What this library says afterwards | A reading of the project's public design document. Not a copy, not a benchmark, and not an offer. |
| Rights | Official external source only |