Det är 2026 och att verifiera ett smart kontrakt kompilerat med viaIR är fortfarande som magi på Hogwarts-nivå.