I want to share something with you guys. It is still very rough, very early work, but I am now confident that there is an early foundation that makes sense. It is probably also for a niche audience (those interested in theoretical frameworks).
But this is the official SAFE network forum, where all the news is reported first; and we have a good tradition of developing everything out in the open.
Final warning, this has been a side-project for the past few weeks (I’ve been wanting to do it for a long time), and progress on such matters goes really very slow; also my policy for accepting contributions will be very different from accepting code contributions, so anything will start with a discussion first.
I started writing a formal article that attempts to take the minimal distance needed from the code implementation of the SAFE network, and start to construct a formal language to think, formulate and prove theorems that will go to support the implementation of the SAFE network.
This is intended as a ‘symbiotic effort’, I strongly believe to first imagine and build - as MaidSafe has been doing very successfully; in a second step we try to formalise and improve. There is no guarantee we will be able to complete this formalisation either; the SAFE network is an emergent network and as such, you can almost argue it is proven to be unprovable; but we can try
So here it goes, it might be a heavy read - and again, far from finished, not ready for publication, probably to be completely rewritten, etc:
hope you like it