Update:We have four new developers, each assigned to one task.
Meshnet:Version one meshnet is almost done
https://github.com/skycoin/skycoin/commit/f959d0875baf990e43ca3f045a9cba82d4d8f24aThis is the sixth or eighth design iteration, so it is very clean conceptually. I was simulating the meshnet packet passing algorithms with punch cards and paper and it works well. You could implement it on a punch card sorting machine and telegraph lines if you wanted to.
Exchange:Exchange is being refactored and fixed. We have a revolutionary exchange design, that simplifies the exchange, improves the security and enables easy support for multiple coins.
The exchange has a limited number of function
- deposit bitcoins
- withdrawal bitcoins
- deposit skycoin
- withdrawal skycoin
- bid/ask order
- very small number of simple API commands. Very small code base.
The exchange has a JSON RPC, tunneled over ChaCha20 + secp256k1 channel, running over the Skycoin meshnet/darknet.
- man in the middle attack is not possible
- The user has a local wallet, a json file that contains their private keys.
- The identity of the user is their public key
- user signs exchange requests with their public key
- The user has a local wallet and a remote wallet (coin balance on the exchange, coin balance on addresses for private keys held locally)
- the user can withdrawal all coins from the exchange to their local wallet
-
the wallet can store the private keys for and sign transactions for all coins supported by the exchange (native multi-coin)
- there is a consistent wallet format and private key storage format for each coin type and it is modular
- other coins can be added easily (shellcoin, bitcoin, litecoin, dogecoin, zerocoin, ehtereum)
- the exchange queries unspent output balances and blockchain state over websocket RPC
- the external coin interface is running on a physically separate computer (not virtualized) and on a different network namespace
- the application running each coin blockchain is separated from the private key and transaction signing server
There is invariant checking on the wallets, so if coins disappear or a 51% attack occurs or some invariant is broken, it should detect it.
- the local user interface is a local web application
There are a number of very specific things. I am glad they are finally getting done.
WalletWe have a new build system and modernized our build scripts
- cross compilation is working now
- Windows builds are working
- OSX builds are not working
- Linux builds are working
We should release the wallet again, but we have to add UDNP firewall tunneling and have to fix peer-exchange.
Swiss Banker ProtocolWe designed a simple two packet protocol for doing micro-transactions through a trusted third party (the exchange), without going through the blockchain.
R&D: CXBefore the blockchain there was a thing called tuple spaces
- there was a object store
- objects would be stored in the object store
- a process would check objects out of the object store
- a process would modify the object or perform transactions/operations on the object
- a process would check the object back into the object store
- a process could be internal or external (could be an external process, or could be a process running in the tuple store)
- a process could non-destructively read a tuple/object
- a process could destructively read a tuple/object (get copy of it and destroy original)
- a process could instantiate a new process on the object store
- a process that creates a new tuple/object and stores it in the object store
If the tuple store itself is an object, that admits transactions, then you get a blockchain type object
- there is a transaction that instantiates a process, which destructively reads a series of unspent outputs (spends them) and creates a new series of unspent outputs)
There is a class of mathematical objects that are "blockchain like". That are more general than the blockchain. There is an ontology on those objects, which is useful to think about them
- a transaction (an operation that is applied to the object state, mapping it to a new state. The state of the object, is a series of transactions applied in sequence upon the null object. For instance a wikipedia page starts blank, then a series of diff transactions are applied to it). A transaction is a "function on" the object. A transaction has a representation as a byte string and as an operator or the action of a computation being performed on an object.
- a "function of", these are functional type functions (such as the SHA256 hash of the serialization of the object). They do not change the state of the object and are properties, predicates and non-destructive reads and invariant checks
- A communication, an event, the emission of a length prefixed byte string.
Examples:
- a twitter feed starts empty (null object)
- a series of "create tweet actions" are applied to the feed object, to add each tweet
- a wikipedia page starts empty (null object)
- a series of diff operations are applied in sequence to create the head page
- a git repo starst empt (null object)
- a series of commit and add files operations are applied in sequence to create the current file
- a text file starts empty
- a series of edit, delete, insert operations are applied in sequence to create the current document
- a blockchain with all the coins allocated in the first block is created (a series of unspent outputs)
- a series of transactions or operations are applied, which consume (destroy) unspent outputs and create new unspent outputs (the unspent output set is the state, upon which the transactions/operations operate)
Bitcoin type blockchains are simple or one of the simplest types of this this kind of mathematical object
- they have one transaction
- each transaction has a validity invariant (to determine whether it can be applied to the current state)
- there is one type of operation/transaction on the object
- there is one type of object (the unspent output)
- the state is a list (of the one object type, the unspent output set)
- each transaction destructively reads the unspent outputs it consumes (outputs are destroyed) and new outputs are created
- the unspent outputs and the transactions that create and consume them, form a bipartite directed graph
We are planning a very simple scripting language (implemented in 2000 lines of go), called CX. It is a research language for implementing these types of objects.
It is also very good for blockchain business logic.
The problems are
- I proved mathematically that no language with the required properties can have a representation as a text file. The program is actually a program object, constructed by applying a series of operations upon a null program object. I am still trying to imagine what an interface would look like or how to interact with the program objects.
- It is turtles all the way down. It appears to be a self-implementing set of mathematical abstractions. There is a set of symmetries or invariants and set of operations, and the invariant are preserved for all objects in the transitive closure over the set of operations.
- There does not appear to be a difference between compilation and interpretation in the language
- There is a clear difference between "functions on" and object and "functions of" an object
- there is a sort of transitive closure under a type of reification operation on a program (what is the inverse of reification?).
Here is one thing you might do with this type of language or computer
- you take a program that can be represented as x1 as a byte string. x1 hashes to H1
- you take data whose byte string representation is x2 and which hashes to H2
- you apply program x1 to data x2 and get output x3, which hashes to H3
Assumptions
- computation is deterministic
- there is a program, which canonically represents each program or data as a byte string and back. If you serialize any program or object x, then serialize it, you get x back. x = f(g(x)) for all x, where f is serialization and g is deserialization.
You have a network of computers
- each computer runs a program and scans for tuples and grabs or replicates peer-to-peer tuples matching certain properties
- each computer stores a subset of the tuples
- a computer may introduce new tuples
example
- a computer or node stores (H1, H2, H3) (the tuple for program hashing to H1, applied to data hashing to H2, which returns output which hashes to H3)
- another computer scans and matches, then replicates (H1, H2, H3) and then triggers a process, creating another tuple pair, which consumes H3
This is a sort of distributed, fully functional, distributed computer in the Urbit style.
- each node has a key value store (Redis, to store data x1 which hashes to H1 as key -> value, h1 : H1)
- a list of tuples (H1, H2, H3)
- a program/script running on the node which curates, scans, communicates, replicates tuples and key/value pairs when asked
This is an interesting, but weird sort of distributed computer.
- it is fully functional or non-mutable (any two nodes with (H1,H2,H3) with same data , who perform same computation, will get same result)
- nodes can communicate by taking message and signing it with their public/private key and publishing tuple/message, which is then replicated by other nodes
- it is a very simple model of computation, with very few operations
The Skycoin consensus algorithm appears capable of running on this type of machine.
You could also build a file system on top of this type of computer
- a block of data or hash H1, could be a block of data from a movie, text file or MP3
- another block of data H2, could be the list of blocks of data composing a file whose byte string hashes to H3
- another block of data H4, could be the list of nodes replicating chunks of data mentioned in H3
"BitTorrent on DMT". This is some kind of content addressable distributed storage system.
Some of the modes of computations or systems are very general and I do not know what to use them for yet. There is a whole class of types of computation and data structures, besides the blockchain and they have not been implemented or classified yet.
I found one type of data structure, that can be used for syncing workspaces or operating on shared data objects in a peer-to-peer manner. It reminds me of this
-
https://en.wikipedia.org/wiki/U-form-
https://en.wikipedia.org/wiki/Tuple_space-
https://en.wikipedia.org/wiki/Linda_(coordination_language)
One of them looks like the pi-calculus or some kind of distributed anti-aircraft defense system. Its a blackboard design pattern, which is primarily used for multiprocessors and aircraft defense systems.
-
https://en.wikipedia.org/wiki/Blackboard_system-
https://en.wikipedia.org/wiki/Blackboard_(design_pattern)
The lambda-calculus is the algebra of procedural computation and the pi-calculus is the algebra of communication. There are some interesting implementations of this.
I found another type of data structure that can be used for transclusion in text files.
-
https://en.wikipedia.org/wiki/Project_XanaduI am calling these "RMA datastructures" or "5GW data structures" because every time I google for them or try to find a name for them. I keep running into
U-forms were developed at MAYA Design as part of the Visage Information Visualization System, a joint project of MAYA and Carnegie Mellon University funded by DARPA and The Army Research Laboratory. The name "u-form" derives from the term "e-form", a hypothetical "electronic form" proposed by Michael Dertouzos in his 1997 book "What Will Be".[1] In addition to their continuing use in Visage,[2][3] they have been used as the basis of a number of significant research[4][5][6][7] [8] and large-scale production systems, most notably the US Army's Command Post of the Future.
When you generalize the blockchain data structure and you go back down from the generalization to reality, you end up with a set of data structures that has more to do with swarm robotics and distributed systems than anything else. If you have a system with three hundred nodes and processes, you need to be able to prove and verify properties of the system and treat the system itself, as the object you are performing operations on and whose properties you are computing.
If you have a property P of the system, and an operation f (such as destroying 20 of the 300 nodes at random) and the system is in state x, then you want to show that P(x) = P(f(x)), you want to show that it commutes. You want to prove that if two of your five data centers are bombed, that the property P still holds on the system.
You have the system at multiple levels of reification. You have
- processes
- CPUs/servers
- racks
- clusters
- data centers
You have multiple hierarchical layers or projections into "facets" and the programs or operations, must be designed to satisfy invariants or
commutation relationships at each level.
You have a system, which is trying to satisfy the invariant. It is not just passive, but actively reconfigures or attempts to maintain homeostasis. It is operating according to "behaviors" instead of procedures and linear lists of "do A, do B then do C". It is "try to satisfy X and use behavior A, B, or C to accomplish that".
It is the mathematics and ontology of simulation, prediction and action in "hybrid systems".
- The language of systems, computation and communication
- This is the language of biological warfare, of "strategic bombing" protein or genes to modify the behavior of individuals and populations. - The language of psychological operations pystrat and choosing the information inputs to present to individuals based upon their characteristics to control their behavior and direct the crowd.
- This is the language of allocating cruise missiles and orbital strike weapons to power generation, sewage facilities and communication facilities to do the minimum damage necessary for a self sustaining civilization collapse.
- The language of identify the weak nodes in the networks, whose removal will cause the ability of the network to maintain homeostasis to collapse (at the biological, chemical, infrastructure level, psychological level, civilization level)
- The language of identify which leaders to kill and which to promote to take control of, subvert and infiltrate a social movement.
- The language of Alinsky, PROMIS, block level modeling for network analysis, Palantir, network deconstruction, the language of the CTW model.
