Macro spawn_blocking 

macro_rules! spawn_blocking {
    ($($tt:tt)*) => { ... };
}

Spawn a blocking tokio task and await its result (used for proof computation)