  In this paper, we prove the ampleness conjecture and Serrano's conjecture for
strictly nef divisors on K-trivial fourfolds. Specifically, we show that any
strictly nef divisors on projective fourfolds with trivial canonical bundle and
vanishing irregularity are ample.
