CTK通過在11月25日推出OpenMath，推動了其DeSci轉型。與CertiK的競爭於11月29日開始，隨後在12月1日進行了Fermat小定理的鏈上驗證。幣安的交易者對這些技術里程碑保持樂觀。