Consensus Research is the first independent research group going to bring formal verification in the world of
The Problem & The Solution
While [formal approach](https://en.wikipedia.org/wiki/Formal_verification) is being widely using in
hardware industry and some critical software, cryptocurrencies suffer from unproven claims, bold statements,
low-quality papers and naive implementations, though a cost of an error could be very high(USD$ millions).
ConsensusResearch group is going to improve overall quality of thinking about cryptocurrencies with minimal efforts
but most powerful efforts:
* proven opensource code made partly at least in [Coq programming language / theorem prover](https://en.wikipedia.org/wiki/Coq)
* executable simulations anyone can play with(to e.g. find best parameters under some assumptions)
* formal but understandable papers
* coins developers consultations
In October I published two blogposts about Nxt forging algo, "Inside a Proof-of-Stake Cryptocurrency"
[part2](http://chepurnoy.org/blog/2014/10/inside-a-proof-of-stake-cryptocurrency-part-2/). Later andruiman published
paper on some statistical properties of Nxt forging in his
[Nxt forging algorithm: simulating approach](http://www.scribd.com/doc/243341106/nxtforging-1) (scroll down to view).
Right after(and [pretty famous topic](https://nxtforum.org/general/nxt-forging-algorithm-simulating-approach/)) he made
an impressive amount of work converting my model described in Haskell into Coq, proving some properties as theorems
(relatively trivial yet though), and introducing multibranching forging for that(which could made as so-called Transparent Forging
The sad thing is andruiman got just 3600 Nxt in donations for the paper. Even easy-to-write text of 14 pages usually costs
much more than that, and for math paper it's literally nothing. So we need to go to the new level or abandon the work.
We've issued 10,000,000 assets with initial price of 1 Nxt each. Assets will be sold in lots corresponding to milestones.
The name of the asset is "consensus".
Digital Board of Asset Holders
After voting system & 2-phased transactions inclusion into the core we'll use the features intensively. So having
"consensus" tokens you will be able to drive a research! For example, you will be able to vote on tasks priority or
decide whether to pay a developer for e.g. visualization tool or not.
There is a risk here for sure. Sometimes democracy works bad, but we're willing to use it as the essential tool of
The main commercial profit from our activity is increased trust in Nxt and/or other cryptocurrencies willing to work
with us and cryptocurrency industry at whole. Also we'll consult core developers to make better products. So coin teams
and whales are biggest beneficiaries, and our biggest sponsors, we hope so. We'll no pay dividends,
so the asset issuance is the kind of crowdfunding.