刑事诉讼抗诉程序有哪些规定？

刑事诉讼中的抗诉，指的是人民检察院对人民法院作出的判决、裁定，认为确有错误时，依法向人民法院提出重新审理要求的诉讼活动。抗诉是人民检察院监督人民法院审判活动的重要方式。

在我国，抗诉分为两种情形。一是第二审程序抗诉，即地方各级人民检察院认为本级人民法院第一审的刑事判决、裁定确有错误时，向上一级人民法院提出的抗诉。依据《中华人民共和国刑事诉讼法》第二百二十八条规定，地方各级人民检察院认为本级人民法院第一审的判决、裁定确有错误的时候，应当向上一级人民法院提出抗诉。这种情况下，检察院要通过原审人民法院提出抗诉书，并且将抗诉书抄送上一级人民检察院。原审人民法院收到抗诉书后，会将抗诉书连同案卷、证据移送上一级人民法院，并且将抗诉书副本送交当事人。

二是审判监督程序抗诉，即最高人民检察院对各级人民法院已经发生法律效力的判决和裁定，上级人民检察院对下级人民法院已经发生法律效力的判决和裁定，如果发现确有错误，有权按照审判监督程序向同级人民法院提出抗诉。根据《刑事诉讼法》第二百五十四条规定，最高人民检察院对各级人民法院已经发生法律效力的判决和裁定，上级人民检察院对下级人民法院已经发生法律效力的判决和裁定，如果发现确有错误，有权按照审判监督程序向同级人民法院提出抗诉。对于人民检察院抗诉的案件，接受抗诉的人民法院应当组成合议庭重新审理，对于原判决事实不清楚或者证据不足的，可以指令下级人民法院再审。

在具体的程序操作上，检察院在决定抗诉后，会进行一系列的工作，包括对案件的审查、制作抗诉书等。而法院在收到抗诉后，会根据不同的情况进行审理，以确保司法的公正和准确。总之，刑事诉讼抗诉程序是保障司法公正的重要制度安排，它能够及时纠正可能存在的错误判决和裁定。