Discover and read the best of Twitter Threads about #prologcoin
Most recents (1)
1/ My vision with #prologcoin is as follows:
Imagine a standard Prolog environment with a command line prompt.
And then you share a state with your peers. This state is an implicit endless growing query.
Imagine a standard Prolog environment with a command line prompt.
And then you share a state with your peers. This state is an implicit endless growing query.
2/ From this query it follows that if it is true, so is any subsequence of it. The goal is then to support full validation on certain subsequences (e.g. your wallet can be fully validated.)
3/ If we use Mimblewimble as the base (economic) transactions, we can also prune this query further (following the special axioms that Mimblewimble transaction cut-through gives us.)
