_balance
InternalNode
ProverNode
VerifierNode