zk-rollup-circuit.puml

@startuml

[Espresso Consensus] as EspCons
[Espresso Derivation] as ED
[AND] as AND

[zkVM] as ZK
blk_cm_root --> EspCons
"<b>STATE_SIGS</b>" --> EspCons
"<b>STAKE_TABLE_ENTRIES</b>" --> EspCons
"<b>STAKE_TABLE_OPENINGS</b>" --> EspCons



blk_cm_root --> ED
"<b>TXS_NAMESPACE_PROOFS</b>" --> ED
"<b>ROLLUP_TXS</b>" --> ED
"<b>ROLLUP_TXS</b>" --> ZK

cm_txs_rollup --> ED

"cm_state_vm i" --> ZK
"cm_state_vm i+1" --> ZK
cm_txs_rollup --> ZK

EspCons -> AND
ZK --> AND
ED --> AND

AND --> OUTPUT


@enduml