New: kr-verification