I've managed software products and projects for a long time. One of my early ones was the standardization of the Unified Modeling Language. Way back in 1996 the notion of generating working code from specification models seem far-fetched to me, except for CRUD methods and state machines. But we've made a tremendous amount of progress since then!
Now, very interesting working software component contracts can indeed be generated from formal specifications. A fascinating thing is that with Synereo, these are not just software contracts and protocols, they are also social contracts that will be enforced and influenced with the movement of AMPs.
The formalisms which leithaus (Greg) references are all solid. But they are not trivial to realize in a robust software architecture, which is why the dedication to 5 years of development invested in SpecialK/KVDB and its pattern language for the web is impressive (http://blog.synereo.com/2015/03/17/specialk-kvdb/). It’s real.
For the last several months, I've been noodling on an idea that resulted in the whitepaper for LivelyGig -- The Decentralized and Distributed Employment Market /YdRrPQMrT6]http:/[Suspicious link removed]/YdRrPQMrT6. From a platform perspective, it has a lot of similar requirements as Synereo. When I look at the possible technology stacks on which to implement such a decentralized and distributed system, I so far only have a very short list of potentially viable choices -- Ethereum, MaidSAFE, Eris Industries, and SpecialK/KVDB. Which one is complete enough and most likely to work in decentralized deployment? So far, SpecialK/KVDB is looking most promising for LivelyGig, because it is complete and based on a researched and formalized software contract paradigm.
I'm also very impressed by the caliber of the Synereo team, having talked with several of them. I’ve watching their Hangouts and carefully studied the Whitepaper. I’m a fan.
As far as the AMP Crowsdale, yes it is risky and exciting from an investor’s perspective. Potential downside and potential upside. All of the crowdsales are difficult to assess financially and are missing the investor protections that would be available in a prospectus of a securities offering. After doing some homework, I have growing confidence in the team, their vision, and the technology. So, I will purchase some AMPs in the crowdsale.
/Ed