SWITCH PROVING SVK/HDK