Web of Proofs and IPFS

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