Question: can I consider leafs in `QuorumProposalValidated` committed?

[pysel]

I am trying to integrate hotshot with evm. I have been reading the codebase, searching for a place where a set of transactions can be considered committed. My current guess is that the specific set of transactions is committed in this block of code: https://github.com/EspressoSystems/HotShot/blob/0.5.79/crates/task-impls/src/quorum_vote/handlers.rs#L42-L56 (using latest release - 0.5.79).

Is it correct? If not, where can I look to get a set of committed transactions / a committed block?

Thanks in advance!

[pysel]

cc: @rob-maron :)

[rob-maron]

Sorry @pysel - this totally slipped through my notifications!

Yes - that block of code is correct for getting a finalized set of transactions (where we send the Decide event - slightly under that block). What we have been doing is consuming from the Hotshot event stream and treating the data included with a Decide as finalized. Here is an example from the sequencer, our main HotShot consumer: https://github.com/EspressoSystems/espresso-sequencer/blob/f68a58e7db1bf5da867a3f47aa2b62d816771f88/sequencer/src/context.rs#L401-L412