I am working on something like this. Having a money in the system is a pretty hard problem (quantitative type theory-ish / lifted inference).
You can get around that with culture and using existing systems as settlement layer (for the time being).
Even then there is only one cryptocurrency that has a proper mechanism design for oracles (amoveo) - which you need if you want a trustless layer 2.
Datalisp (@ for telegram .is for binge-written PDF) is this project (that I just started) it's basically a vector clock for wrapping interfaces in authenticated data structures and Bayesian inference with logic programming for estimating / inferring trust.
By giving a useful framework for refining reproducibility we can build trust. Trust we need if we want a system to serve as a foundation for digital societies.
Francis Bacon said knowledge was possible and science could establish trust. Now we need that, automated.
You can get around that with culture and using existing systems as settlement layer (for the time being).
Even then there is only one cryptocurrency that has a proper mechanism design for oracles (amoveo) - which you need if you want a trustless layer 2.
Datalisp (@ for telegram .is for binge-written PDF) is this project (that I just started) it's basically a vector clock for wrapping interfaces in authenticated data structures and Bayesian inference with logic programming for estimating / inferring trust.
By giving a useful framework for refining reproducibility we can build trust. Trust we need if we want a system to serve as a foundation for digital societies.
Francis Bacon said knowledge was possible and science could establish trust. Now we need that, automated.