Cysic创始人兼CEO Leo Fan表示，零知识证明（ZK proving）正与耗资数万亿美元的AI数据中心争夺同一批Nvidia GPU，导致证明成本上升。他认为，当前瓶颈并非原始算力不足，而是GPU利用率低下及zkVM软件与加速器间的架构错配。
Cysic的Venus证明引擎通过优化CPU与GPU协作，在不变更底层硬件的情况下，相较ZisK 0.16.1实现了超9%的端到端证明时间提升。Fan指出，现有加速器未被充分利用，利用率才是证明成本的实际瓶颈。
尽管AI训练依赖矩阵运算，而ZK证明依赖多标量乘法与数论变换，二者都用Nvidia加速器。Nvidia数据中心季度营收达752亿美元，同比增92%；AWS已预订百万块GPU。Fan称，GPU时长是证明费用大头，AI需求令ZK证明挤入同一条供应队列。
实时L1证明、ZK-rollup将首当其冲承压。据估算，证明生成占ZK L2网络费用60%–70%。zkML因兼具AI与证明开销尤为脆弱；私密支付与链游等消费级应用若经济模型失效将被暂缓。
Cysic正研发GPU、FPGA及ASIC多后端，其Venus开源库含FPGA加速与早期ASIC实现。Fan预期算力紧缺将加速FPGA、ZK专用ASIC与开放证明市场采用，并提议全球证明者市场以降低对单一芯片依赖。草案EIP-8025拟允许验证者选入执行证明，但暂缺激励。