We all want to execute offchain and verify onchain. But have you thought about transaction concurrency? Here's how we're solving it on Hylé, one delayed proof at a time!

Our blog post: https://blog.hyle.eu/opinion/an-introduction-to-delayed-proving/ 

Let's take an ERC20 running as a provable app.

Bob wants to send 2 tokens to Alice. Execution happens offchain, and so does proof generation. What the blockchain receives is the new state of the ERC20 application and the proof of the state transition - and verifies it.

But what happens if Bob and Alice both transact at the same time?
Two proofs created from the same state will conflict: the 2nd proof should be based on the final state of the 1st proof… But this information is not available yet! 2nd tx will have to be proved again.

Hylé is a lean blockchain that helps you build provable applications that are minimally, yet sufficiently, onchain.