There is currently a lot of hype around Blockchain – it’s got the banks afire with over 40 of them joining hands at R3CEV collectively spending millions to figure out a way to tap into Blockchain technology without Bitcoin. And they are not alone… health, music, TV, insurance, capital markets and many others are honing in on Blockchain and trying to take a very complex technology and figure out how they can reap the benefits and reduce the chance of being crushed by the next Blockchain version of Uber or Airbnb. Or better yet, being part of building the first Blockchain unicorn.
There are major bridges to cross for everyone looking at the Blockchain arena – it’s a highly complicated technology. Perhaps one of the most challenging issues is simply translating the problem that needs to be solved into a Blockchain solution. In the case of smart contracts, this means translating legal contract languages (legalese) from the lawyers into computer code.
For those not familiar with smart contracts they are contracts written as computer code which can be stored on the Blockchain – rather than in legal language on a printed document. This code can define strict rules and consequences in the same way that a traditional legal document would, stating the obligations, benefits and penalties which may be due to either party in various different circumstances. But unlike a traditional contract it can also take information as an input, process that information through the rules set out in the contract, and take any actions required of it as a result.
The main purpose of designing smart contracts is to enable people to trade and do business with those they don’t know, usually over the internet, without the need for a large centralized authority site to act as a middleman. And in a smart contract, many kinds of contractual clauses can be built to be partially or fully self-executing, self-enforcing, or both. Smart contracts aim to provide security superior to traditional contract law and to reduce other transaction costs associated with contracting.
“The biggest problem is that smart contracts are written in code and not in legal languages,” said Berco Beute, co-founder of Media2B in Groningen, Netherlands.
“This is an instance of the general problem that software systems are designed and implemented by programmers. Meaning there will always be a gap of interpretation between the one that has the problem and the one that has to build the system to solve it. This is a deep and fundamental issue in our current IT driven world, and since we increasingly depend on these systems (with our lives) the stakes are getting higher.”
“Blockchains are only, potentially, part of the puzzle. But even with Blockchains you have to ask yourself whether the current implementation is up to the responsibility some dream it will have in the near future. We think that crucial aspects are missing,” he added.
Beute has a Ph.D. in distributed systems and an M.Sc. in Artificial Intelligence and M.Sc. in Communication Science and working on solving this particular issue.
“And that’s one of the problems we aim to solve that is crucial if you want to build better systems, you want to move the job of designing and implementing systems one level up, into the realm of the ones that have the problem that needs to be solved.”
Company founders Berco Beute and Henk Doornbos hail from Groningen, one of the three most innovative cities in Europe in 2014 according to the European Commission. With a population of 200,000, it is by far the largest city in the north of the Netherlands and inhabited on average by about 50,000 students which makes up 25 per cent of the population. The university of Groningen is the Netherlands’ second oldest university, founded in 1614 (two decades before Harvard University) and in the top 75 universities in the world.
“The happiness score in Groningen is one of the highest in the world, and for good reason, which means it’s a perfect place to freely and happily work on the future. Groningen attracts the brightest and most ambitious minds with her unique combination of youth, world class science & culture and hands-on mentality” said Beute.
From their offices in Groningen, in a recent interview with Blockchain News, the two explained their new compiler called ACE – the beginnings of what they see as a larger solution.
“We have developed a domain specific system that compiles English legal language to protocols, data models and a framework to build smart contracts that developers can compile into working systems,” said Beute.
Doornbos added that Smart Contracts are not something programmers should need to write, but rather implement.
Essentially they have built a compiler that can take Legal English and compiles/translates it into a data structure and an application skeleton that developers build upon. Software engineers can also test with the ACE tool.
“We basically generate a skeleton that can be used on Ethereum,” said Doornbos. “And it has the capability to not only do Smart Contracts but also Mixed Contracts.“
Mixed contracts have elements that exist both within the Blockchain and in the Real World which are part smart and part traditional and enable a smooth transition from the old style contract world towards a smart contract future.
They also have built in exception handling which is something that Ethereum has not really addressed according to the duo. They say this principle is at the moment is only present in a very rudimentary way in Ethereum. You can think of the court system as exception handling for real-world contracts and without it, smart contracts will not be able to deal with highly complex contractual language.
“Every contract should always have exception handlers. That’s how they work. And that’s what people depend on.
Even for the smallest contract people realise that if something goes wrong there will always be an exception handler… someone or something to fall back on. Smart contracts must have these as well.
ACE took only a few months to put together according to Doornbos, but that was due to:
“… compiler tech being very good at the moment and rather than build from scratch is was more a tech consolidation play then a totally fresh build.”
“This would have taken years in the old days,” said Doornbos.
And when he talks about the old days, he means it. Doornbos did his Ph.D. in computer science under one of the creators of compiling systems – legendary Dutch computer scientist, Edsger Dijkstra. Both Beute and Doornbos are well over 40 and have been working in advanced computer science theory for over 20 years. These guys are not millennials cracking away with four years of university recently behind them – they are Generation X’ers who are pre-Internet computer scientists with Ph.D.s who have been thinking about these opportunities and technical hurdles for a very long time. Decades.
Doornbos explains at length how he see it:
“In the field of computer programming we have too many programmers who are operating at a low abstraction level, they are too close to the machine and too far away from problem areas outside the core of computing.”
“The real problem we need to face as computer scientists is the fact we still lack good conceptual and semantic programming languages for ‘business’ issues.”
“And this is what surely needs to be, and more importantly, can be done… because computer scientists have already explored this enigma in the problem area of translator building such as Lex (developed by Google CEO Eric Schmidt in 1975) and yacc which are great and early examples of semantic languages.
With these you can describe the problem in terms of the domain problem (with grammars and abstract machine descriptions) and the final product (the compiler) is generated to a larger extent. Grammars and abstract machine descriptions are part of the problem domain here. The problem domain is technical and not business like.”
“So we know the next evolutionary step can be achieved… it’s possible to design good conceptual and semantic programming languages for more abstract problem domains than those of the programmers themselves.”
“If so many of the great thinkers and builders of the field would not have left, this battle could have been achieved 20 years ago… if we would have continued from where we started so well in the 80’s. Who knows what future fourth-generation languages we could have crafted… and even fifth-generation languages were in the pipeline.“
Fifth-generation languages as they see it (there is no rigorous definition of the term) are purely declarative. These languages can express what needs to be done and there is no need to express how it must be done. But these languages are not designed to be readable by domain experts. They usually are still rather computer ‘science-ish’ and mathematical in nature and therefore only be readable by programmers.
“You would have been able to say what needed to be done not how it had to be done. But then came the Internet and we are seemingly moving backwards – to everything being written in third generation languages again.”
“At Contracts11 we are working to improve this now and we are working on sixth-generation programming languages (6GL). What does this look like? Imagine computing where you only have to say what needs to be done, in the language of the problem area, not in the language of code.”
Though there is also no standard view about sixth-generation programming languages Doornbos’ view is they are declarative like the previous generation but they are designed additionally to be understandable by domain experts. Their meaning (semantics) is clear for people who know the problem to be solved but are not programmers. They are related to, but not quite the same as, domain specific languages (DSL). DSL’s are not understandable by non-programmers and are often not even of the fifth-generation because they are not necessarily declarative.
“At Contracts11 we call such (sixth-generation) languages ‘semantic languages’ and also introduced semantic programming (which is the same as semantic analysis and design because of the declarative nature of these languages).
And semantic languages can indeed be like (structured) natural language. However, sometimes more graphical languages can be useful too.”
They have designed and implemented various such languages and proof of concept compilers for them:
- OLE a language that can be used to express data models in a natural language.
- A partially graphical language to express business processes.
- A language to express smart contracts which is again natural and designed to be understandable by lawyers.
Of these OLE is the most mature and they currently are using it successfully in production.
The contract language is in Alpha stage but there is already a compiler (ACE) that can translate it to skeleton Ethereum contracts. And at the moment, a programmer still has to fill in the details – but during that process bugs can not be introduced as the compiler also generates test code. The test code can be used to check that the working Ethereum contract implementation conforms to the intended contract.
Beute was CTO and a co-owner at Paylogic while Doombos was Head of Tech and Senior Software Architect. Doombos picked us his Ph.D. in Computer Science at the renowned Eindhoven University of Technology.
Kunnis Manifesto and Building a Better Web
The work they are doing on Blockchain, smart contracts and improvements to the field of software engineering are aimed at one thing:
“Everything we do fits our ultimate dream of building a better web”, Beute said.
Nigel Tufnel: What we do is, if we need that extra push over the cliff, you know what we do?
Marty DiBergi: Put [the volume] up to eleven.
Nigel Tufnel: Eleven. Exactly. One louder.
The new company’s ethos comes down to a portmanteau heading followed by a short, simple manifesto.
The word ‘Kunnis’ is a combination of the Dutch words ‘kunnen’ (ability/functionality) and ‘kennis’ (knowledge/data) and stands for more than the sum of its constituents.
And for their Dutch startup Media2B this word Kunnis is defined by the following:
“We are unlocking digital resources by enabling their providers to easily and safely transact, while avoiding power centralization and we do this by developing software for resources to connect, negotiate, commit, and exchange value.”
Beute goes on to explain Kunnis more in detail:
“Our goal is to unlock the Kunnis of this world, but the current tools, methods and attitude towards building networked software systems are insufficient. Still, there is an increasing demand for such systems – the IoT trend being a prime example.
Problems are already increasing since the industry is already unlocking the kunnis with insufficient tools. And these are real problems. Sensitive data stolen, every connected device hacked (from baby phones to nuclear power plants), etc. Continuing on this road will certainly lead to disaster.
The difficulty is… that getting out of this dead-end requires a holistic approach towards building connected software. An approach that includes innovation in different areas and at many abstraction levels.
Media2B is the centre of a hub of companies Beute and Doornbos have set up to work on building a new web they call Web11, an open source community effort to build a decentralised internet. Building smart contracts is the starting point for Media2B in the journey to improve their software engineering methodologies and tools to make the next step.
Past technologies led to an internet that depends on an ever shrinking number of centralised, power-hungry authorities. This had a number of seriously negative consequences with regards to security, privacy, transparency, dependency, scalability and maintainability.
It takes a decentralized network to tap into the collective value of the smallest connections and unleash its emergent power on large scales.
Recent technological developments make this possible. Benefits that used to require central authorities are now achievable in peer to peer networks without relying on third parties.
Decentralised trust, accountability, identification, allow for transactions that cannot be accommodated centrally because of privacy concerns, latency issues, large-volume but low-value or complex one-of-a-kind transactions, etc.
The result is a (re)decentralized internet consisting of autonomous entities that can securely transact in a peer to peer fashion. That is what we call Web11.
Contracts11 enables businesses to formulate their processes/data needs in a language that business people understand and their methods and tools and they have developed tools that start with a process and data model that can be understood by non-technical domain experts. Process-oriented development is their main focus and they create smart contracts that can take preventive measures to deal with potential violations of its own contract..
B11 builds better, autonomous supply and demand systems using advanced online marketing technologies. which starts where most digital marketing companies stop due to their non-technical nature.
XIThing helps companies lower costs and explore new opportunities through the application of Internet of Things technologies. Through our extensive experience and network of partners we are able to create any product and guide it from prototype to production street. We differentiate ourselves through our unique knowledge of intelligent data processing and security, and the application of the latest in (wireless) technologies, such as LoRa and the blockchain.
In terms of Blockchain, Contracts11 is currently working with a major Dutch insurance company on smart contracts and have a few projects in the pipeline. If interested please contact Berco Beute or Henk Doornbos here by email.
- Humaniq Opens Pre-order Fund for ICO - March 27, 2017
- OpenLedger’s Apptrade (www.apptrade.io), the platform creating “Kickstarter for Apps on the Blockchain”, has received a $100,000 USD boost from OpenLedger ApS, the world’s first blockchain powered conglomerate. Powered by the digital token APPX, Apptrade creates portfolios, or groups, of apps, where if one of those apps becomes the next Instagram or Angry Birds, then the value of the portfolio rises. Ronny Boesing, CEO of OpenLedger ApS, explained that Apptrade’s initial token offering (ITO) changed its valuation in the middle of its crowd sale as an immediate response to the result of its preliminary offering. Boesing said, “The Apptrade platform is much too important to not succeed, and it was clear that we needed to adjust the valuation to make it more appealing to anyone deciding to participate. In addition, we wanted to show our belief in this project, and felt that there was no better way to show this than putting our money where our mouth is. OpenLedger will be adding a total of $100 000 USD to the Crowdsale over the next 7 days.” The minimum fundraising goal is $1M USD with a cap of $5M USD. With a total of 8.25M APPX tokens on offer, OpenLedger’s Apptrade ApS will back these tokens with 20% of the future revenue from the Apptrade platform, and any unsold tokens will therefore be distributed proportionally to all participants. All early bird participants, as well new participants, will receive the extra tokens according to the published Stage 1 structure, plus benefit from the additional tokens to be divided. Daniel Pineda, Founder of Apptrade says, “After listening carefully to feedback from public and private supporters, and with great consideration, we decided to update our master token valuation. We firmly believe that our platform, built on the ecosystem of OpenLedger and powerful BitShares financial trading technology, is a strong Blockchain project that will be a success for years to come. We feel that this is the right action to ensure a satisfactory outcome for all.” Apptrade’s final valuation is going to be based on the amount raised, whether $1M USD as its threshold or money back guarantee, or the maximum of $5M USD. The valuation of the Apptrade platform will be determined on what is raised. The deadline according to the escrow agreement is set to end on April 30 2017. Boesing continued, “This approach and change of valuation resulted from requests from within the community, and we hope to accommodate many more participants. But one thing is clear to all of the Early Birds – this is your lucky day!” - March 27, 2017
- Factom Launches Revolutionary Blockchain Suite of Mortgage Products - March 24, 2017
- Qtum Shatters ICO Records Raising $15.6 Million - March 24, 2017
- Blockchain Startup Sphre Announces ICO (Crowdsale) for Digital Identity Platform Called Air - March 22, 2017
- Kestrel sign ups to MTI’s blockchain driven solutions to deliver global growth - March 22, 2017
- The G20 Countries Should Investigate Blockchain Technologies to Build an Inclusive, Transparent, and Accountable Digital Economy for All - March 21, 2017
- Particl, a Distributed Marketplace Rethinking Privacy’s Future – Announced Seed Round - March 21, 2017
- ZrCoin To Do Initial Coin Offering (ICO) to Crowdfunds Commodities Option - March 21, 2017
- Canada’s Scotiabank and AlphaPoint Announce Successful Blockchain Trial - March 21, 2017
- Canada’s SecureKey taps IBM to put identity on the Blockchain - March 21, 2017
- Blockchain Startup Humaniq Launches London Office - March 21, 2017
- QRL Recruits Testers for High Security Quantum-Resistant Blockchain - March 20, 2017
- Blockchain of Things, Inc. Releases Paw Advanced REST Client Integration - March 19, 2017
- ConsenSys Named Official Blockchain City Advisor for the City of Dubai - March 16, 2017
- Bloq Launches BloqLabs to Connect Enterprises with Open Source Blockchain Innovations - March 16, 2017
- Multi-Million Dollar Research Institute Launched to Explore Blockchain Use Cases, Opportunities and Challenges - March 16, 2017
- Chamber of Digital Commerce Forms the Blockchain Intellectual Property Council - March 16, 2017
- Orebits & Symbiont Deploy Blockchain Technology to Digitize Gold Ownership - March 16, 2017
- Blockchain Capital to Raise its Third Fund via a Digital Token Offering in The First Liquidity-enhanced Venture Capital Fund - March 16, 2017
- The Exscudo Channels App Is A New Mobile Wallet And Secure Messenger - March 14, 2017
- Dao.Casino – Decentralising the Gambling Economy - March 14, 2017
- Chain of Points Adds American Internet Entrepreneur Jeff Pulver to Board of Advisors - March 14, 2017
- Nasdaq Releases NYIAX – A Blockchain-Enabled, Cloud-Based Media Trading Platform - March 14, 2017
- Lunyr Announces Crowdsale for the First Decentralized World Knowledge Base on Ethereum - March 14, 2017
- Coinsource, World’s largest bitcoin ATM network, Completes Historic Bulk Installation on US West Coast with 35 ATMs - March 14, 2017
- Bitwala Offers Bitcoin to M-Pesa Services in Kenya, Nigeria, Uganda, and Tanzania - March 12, 2017
- US SEC Regulators Reject Bitcoin ETF, Price Plunges, Recovers - March 11, 2017
- Google’s DeepMind plans Blockchain Health Record Tracking for Hospitals - March 10, 2017
- Coalition Forms to Address Digital Asset Taxation Uncertainty - March 10, 2017
- Livecoin, the Fourth Largest Altcoin Exchange Is Now Available in Eight Languages - March 9, 2017
- Australia Releases Blockchain Standards Roadmap - March 6, 2017
- Hyperledger Fabric Graduates with Honours – It’s Live! - March 4, 2017
- TaaS, the First Fully Transparent Closed End Fund Dedicated to Blockchain Assets, Adds International Banking and Marketing Experts as Advisors - March 2, 2017
- Kraken Acquires Cryptowatch and Launches New Trading Platform - March 1, 2017
- Switzerland’s Crypto Valley Association Founded To Build World’s Leading Blockchain and Cryptographic Ecosystem - March 1, 2017
- Massive Launch by Blockchain Industry for New Enterprise Ethereum Alliance - March 1, 2017
- Monax Joins Hyperledger Project, Brings Ethereum Technology - February 28, 2017
- Chain of Points Adds Internet Pioneer and iPayYou Founder Gene Kavner to Board of Advisors - February 27, 2017
- Chamber of Digital Commerce and Structured Finance Industry Group Partner to bring Blockchain to Securitization - February 27, 2017
- Blockchain Startup Bloq Acquires Blockchain Analytics Pioneer Skry - February 27, 2017
- Edgeless.io Launches its ICO to become the first fully transparent Casino, Offering 0% Edge - February 27, 2017
- Storj Labs Raises $3 Million in Seed Funding - February 26, 2017
- Northern Trust And IBM Pioneer Use Of Blockchain Technology To Help Transform Private Equity Administration - February 26, 2017
- 0x – An Open Protocol for Decentralized Exchange on the Ethereum Blockchain - February 26, 2017
- Global Blockchain Project FERMAT Announces Significant Alpha Release for the “Internet of People” - February 26, 2017
- Blockchain Startup Peerplays Raises $4m Before ICO Even Kicks Off - February 26, 2017
- Numerai Launches Cryptocurrency and New Hedge Fund Built By Data Scientist Network - February 26, 2017
- Disrupt the VC Industry? Brock Pierce and Blockchain Capital to Launch Own Cryptocurrency and ICO - February 26, 2017
- SoftBank, Sprint and TBCASoft Partner in Blockchain Technology for Telecom Carriers - February 25, 2017