行刑的是正式吗

是的。执行死刑的，一般都是，特殊情况是法警，都是正式的受过特殊训练的。司法中只要很少一部分可以参与执行死刑。