Hacker News new | ask | show | jobs
by jasonmc 5359 days ago
Sure, but I'd be willing to bet that performance impact of the the verifier is insignificant for all but the most trivial of programs.