fn compute_supercharge_coinbase(
winner_account: &Account,
global_slot: &CheckedSlot<Fp>,
w: &mut Witness<Fp>,
) -> Boolean
fn compute_supercharge_coinbase(
winner_account: &Account,
global_slot: &CheckedSlot<Fp>,
w: &mut Witness<Fp>,
) -> Boolean