Dr Maxim Orlovsky

RGB yellow paper is released: the first formally specified scalable smart contract system for Bitcoin & Lightning, made with client-side validation 📄.pdf

Libre software is dead. Long live zk-libre software. The libre software was created to protect the rights of consumers: when they buy software, they must get the whole thing, not a part: (0) ability to run, (1) ability to learn from how it is done, (2) ability to redistribute, (3) ability to modify. Well, this was an excellent strategy against Microsoft and alike. But today it turns its back to individual developers, - those investing years and their own money to do the R&D - and then having large companies just stealing the result. This is fixable - by what I call zk-libre software. Zk-libre software grants the following FIVE core freedoms to the consumer: (I) ability to run, (II) ability to learn - from reverse-engineering, or docs and specs, coming with it, (III) ability to redistribute, (IV) ability to modify a reverse-engineered version or a re-implementation, created by learning the specs and docs, (V) ability to ensure the software has no backdoors and is formally-verifiable to be safe and secure, as well as proven not to misuse the user data. It also protects DEVELOPERS rights, their intellectual work and allows them to receive the reward and funding they deserve. These all are achieved by zk-proofs of the software properties. It would take decade(s) to make it possible, but we should start already today. The software which will be developed by individuals and meritocratic teams, with no spirit of egalitarianism and leftism, poisoning “open source” fake idol of today. #freesoftware #libresoftware #opensource #zklibresoftware #freedomtech #freedom