Win10 x64下用DigiCDC实现ATTiny85/Digispark USB通信失败求助

近期尝试制作一款基于ATTiny85/Digispark的简易LED控制器，使用DigiCDC库实现USB数据输入输出，但在Win10 x64系统的电脑上无法正常工作。将程序编译上传至开发板后，Windows系统弹出「未知USB设备」提示，且无法找到可用的串口设备。官方提供的DigiCDC Echo示例同样无法运行。

测试代码如下：

#include <DigiCDC.h>

void setup()
{
  pinMode(0, OUTPUT);
  pinMode(1, OUTPUT);

  SerialUSB.begin();
  SerialUSB.println("hello world");
}

void loop()
{
  digitalWrite(0, HIGH);
  digitalWrite(1, HIGH);
  delay(200);
  digitalWrite(0, LOW);
  digitalWrite(1, LOW);
  delay(800);
  
  SerialUSB.println("ping");
  int ava = SerialUSB.available();
  int buffer[ava];

  // read buffer
  for(int step = 0; step < ava; step++)
    buffer[step] = SerialUSB.read();
  // write buffer back
  for(int step = 0; step < ava; step++)
    SerialUSB.print(buffer[step]);
  SerialUSB.println("==line end==");
  delete buffer;
}

存在以下疑问：

• 是否缺少相关驱动？
• DigiCDC库是否无法在Win10系统运行？
• 是否需要更换其他库来实现PC与ATTiny85/Digispark的USB通信？

内容的提问来源于stack exchange，提问作者Firok