(I wrote this after being fascinated by the explanation of the core idea in https://people.xiph.org/~greg/simple_verifyable_execution.tx..., but finding that post too complicated to share with my non-crypto physics friends)
(I wrote this after being fascinated by the explanation of the core idea in https://people.xiph.org/~greg/simple_verifyable_execution.tx..., but finding that post too complicated to share with my non-crypto physics friends)