General Flow

fiamma supports zkp verification of programmable and non-programmable chains

This flow represents the process when we have reached soft finality, only going through the PoS chain (objective nodes).