Logical contracts based on business-adaptive linear logic SHARNELL (Shared Noncommutative Exponential Linear Logic)
Smart contracts Ethereum are far from perfect and have a number of problems (susceptibility to hacker attacks, volumetric and system overloading code, mistakes in smart contracts, limited functionality and capabilities, low ability to pre-test).
Instead of the usual smart contracts in the blockchain, the Enecuum uses logical contracts of a new type, consisting exclusively of mathematical formulas and business oriented linear logic (SHARNELL). Linear logic is completely predictable, so it can more confidently interact with the blockchain branch.
The logical SHARNELL smart contract consists of a form (a description of the values in the formula) and the formula itself (taking into account any given conditions and probabilities, with the possibility of full or partial achievement and operation). Each condition of a logical contract is placed in the form and receives the corresponding symbol that will be used in the formula. After that, a mathematical formula is created, fully reflecting the terms of the contract.
Special advantages of logical SHARNELL contracts
1. Predictability — SHARNELL logical contracts are completely predictable under any number of conditions;
2. Multifunctionality — you can write down any conditions and the likelihood of achieving an accomplishment, while retaining the original meaning, without the possibility of incorrect interpretations;
3. Increased security — SHARNELL’s logical contracts are absolutely safe, because maths helps to avoid any possible errors;
4. Widespread usage — the possibility of using in pairs with tokens / marks;
5. Testing — any logical contract SHARNELL is tested automatically 100% before use, to prevent any unplanned situations;
6. Templates — you can create and save reliable contract templates for any business or service;
7. Simple creation — smart contracts SHARNELL are created on Javascript, so any programmer can create them;
Examples of the SHARNELL smart contracts will soon be added for study at github.com
