Herman Obst1 talk by Herman ObstImproving Performance of Provable Computations Using Rust | Devcon Bogotá