[ad_1]
Research conducted has found that distributed registries pose some challenges; therefore, this makes the traditional programming languages a bit inadequate, this is from Blockstream on Simplicity. Simplicity has been designed as a blockchain application language.
What is a little more interesting is that the script language in Bitcoin has been limited in some combinations of signature controls, time blocks and hashocks. Without forgetting that the second level solutions, like the lighting network, are built on the primitive and therefore lack the expressiveness necessary to manage the complicated smart contracts.
It has a lot to offer
Some researches have been conducted and they have found it Simplicity it is more than able to demonstrate the flexibility needed for most of the complications that can be seen in the industry. While still being able to allow the various users the ability to quickly verify current security, contract security and overall costs.
Simplicity has been designed with a low-level programming language, which is still able to solve some of the previous compromises that occur between reliability and expressiveness.
At the moment with the developers on the market, they are able to build a complex and unreliable intelligent contract; in this case, think of the DAO, or they could go on the other path and build one that is very simple but reliable for users. This is where simplicity comes into play, as it is able to create a complicated contract that is still reliable at the end of the day.
More on Simplicity
Simplicity has been considered the answer to several problems that are faced on the market, especially when trying to code sophisticated smart contracts in blockchain technology. Before the development of simplicity, programming languages on the market would compromise reliability and expressiveness, making the work of the developer a little complicated.
Simplicity has been developed to make it compatible with the Blocksteam Elements platform. This means that developers who are building independent blockchains or just sidechain on the element platform will be able to take full advantage of the features that have been enabled by simplicity.
What exactly is simplicity?
It has been designed as a low-level programming language plus a machine model that can be used on blockchain-based smart contracts. It is a program that has been designed from the ground up to ensure that it has all the simple semantics that will be able to lend itself to further analysis and reasoning with formal methods.
The language used in Simplicity has been defined by the implementation that takes place in the Coq proof assistant. Without forgetting that they ensured that the main language was designed to be simple. But it is important to note that the simplicity of the language used in programming does not translate into the simplicity of its development.
What new features does it offer users?
The company has worked on the transition from the type of experimental language used in the market to a more formal language specification. Therefore, they were able to implement the language of Simplicity with favorable characteristics such as having a denotational semantics that is completely simple language
This includes the extension of the language that is able to support witness data, delegation and assertions. There is also a modular approach that has been included in the Simplicity language, one that is able to easily allow you to ignore the effects that exist in language extensions when you do not use them.
Simplicity software is still in progress and is optimized to ensure that the best is offered to the market. However, the company has reached the point where developers are able to explore the language of simplicity very easily, so the time has come for this software to be moved into the open for further information.
[ad_2]Source link
