I thought some people on here might enjoy this. I was reading it thinking that it would go well with IPFS and boom, there it is on page 9.
https://hal.inria.fr/hal-02468229/document
and here’s a post outlining the project at Inria Towards an internet of proof? | Inria