Quando un utente avvia una transazione, il suo ambiente locale calcola la transizione di stato in modo privato. Prende i tuoi input privati—bilanci,