接口:块编码上的 QSVT

类型formula-card + 次数表