刑法第307条规定的罪名是妨害作证罪和帮助毁灭、伪造证据罪。以下是对这两个罪名的详细分析：

一、妨害作证罪

1. 定义：妨害作证罪是指行为人通过暴力、威胁、贿买等非法手段，阻止证人作证或者指使他人作伪证的行为。
2. 构成要件：
   • 客体：侵犯的是国家司法机关的正常诉讼活动和公民依法作证的权利。
   • 客观方面：表现为行为人实施了采用暴力、威胁、贿买等方法阻止证人依法作证或者指使他人作伪证的妨害作证行为。
   • 主体：为一般主体，凡是年满16周岁、具有刑事责任能力的自然人都可以成为妨害作证罪的主体。
   • 主观方面：表现为故意，且为直接故意。

二、帮助毁灭、伪造证据罪

1. 定义：帮助毁灭、伪造证据罪是指行为人帮助当事人毁灭、伪造证据，且情节严重的行为。
2. 构成要件：
   • 客观上表现为帮助当事人毁灭、伪造证据的行为，且情节严重。
   • 主体同样为一般主体，即年满16周岁、具有刑事责任能力的自然人。
   • 主观上也要求为故意。

三、法律责任

• 对于犯妨害作证罪的行为人，将依法处以三年以下有期徒刑或者拘役；情节严重的，处三年以上七年以下有期徒刑。
• 对于犯帮助毁灭、伪造证据罪的行为人，也将依法处以三年以下有期徒刑或者拘役；情节严重的，同样面临三年以上七年以下有期徒刑的刑罚。
• 如果司法工作人员犯这两罪，将从重处罚。

综上所述，刑法第307条明确规定了妨害作证罪和帮助毁灭、伪造证据罪两个罪名，旨在保护司法活动的正常进行，防止任何形式的干扰和破坏，确保司法公正和权威。