added verifying key in the main, removed it from the key schedule
removed the static
firstbit -> FIRSTBIT
merge