Skip to content

Commit

Permalink
Update transaction-life-cycle.adoc (#764)
Browse files Browse the repository at this point in the history
* Update transaction-life-cycle.adoc

In step 2 we need to write that there are to validation steps, one occurs in the gateways and again in the sequencer. I added this comment: 
// There is a step missing that the sequencer runs the validation again before _execute_

* Update components/Starknet/modules/architecture_and_concepts/pages/Network_Architecture/Blocks/transaction-life-cycle.adoc

* Update components/Starknet/modules/architecture_and_concepts/pages/Network_Architecture/Blocks/transaction-life-cycle.adoc

* Update transaction-life-cycle.adoc

---------

Co-authored-by: Steve Goodman <[email protected]>
Co-authored-by: JameStark <[email protected]>
Co-authored-by: JameStark <[email protected]>
  • Loading branch information
4 people authored Aug 24, 2023
1 parent a4e9882 commit 94adb11
Showing 1 changed file with 6 additions and 3 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -13,16 +13,19 @@ The transaction lifecycle in Starknet involves the following high level steps:
A transaction is submitted to one of the gateways, functioning as the Mempool and marks the transaction status as `RECEIVED`.

=== 2. Validation

==== 2.1 Mempool validation
The Mempool performs validation on the transaction to check for its validity. If the transaction is invalid, it will not proceed to the next stages.

==== 2.2 Sequencer validation
The sequencer performs validation on the transaction prior to execution to ensure that the transaction is still valid. If the transaction is invalid, it will not proceed to the next stages.

=== 3. Execution
The sequencer operation sequentially applies the validated transactions to the state. If a transaction fails during execution, it will be included in the block with the status `REVERTED`.

=== 4. Proof Generation
The Prover stage executes the operating system on the new block, computes the proof, and transmits it to L1.



[id="transaction_status"]

== Transaction status
Expand Down Expand Up @@ -141,4 +144,4 @@ The following is an example of a receipt:
}
}
----
----

0 comments on commit 94adb11

Please sign in to comment.