Det er 2026, og å verifisere en smart kontrakt kompilert med viaIR er fortsatt som magi på Galtvort-nivå.