Enabling real-time block proving