Зараз 2026 рік, і верифікація смарт-контракту, скомпільованого за допомогою viaIR, все ще як магія рівня Гоґвортсу.