Smart contract news

A smart contract is a computer protocol intended to digitally facilitate, verify, or enforce the negotiation or performance of a contract.

World latest news

Quadrant Protocol officially launches Data Smart Contracts Payment Module

CryptoNinjas - Bitcoin, Cryptocurrency & Blockchain Asset SourceQuadrant Protocol, the technology that maps and authenticates data making it easier to buy and sell quality, authentic data feeds, has announced the launch of its Data Smart Contracts Payment Module to be released on the Quadrant.io platform. The Data Smart Contracts Payment Module brings enterprise data subscriptions onto the blockchain and facilitates the production […]https://www.cryptoninjas.net/2019/07/16/quadrant-protocol-officially-launches-data-smart-contracts-payment-module/
CryptoNinjas

Elrond partners with Runtime Verification to take smart contracts to the next level

CryptoNinjas - Bitcoin, Cryptocurrency & Blockchain Asset SourceElrond, the recently launched sharding-based public blockchain network, has announced a new cooperation agreement with Runtime Verification for research and development in core areas of formal verification methods. Elrond is using the K Framework, developed by Grigore Rosu while at NASA and the University of Illinois at Urbana Champaign, as the backbone for all of its smart […]https://www.cryptoninjas.net/2019/07/16/elrond-blockchain-partners-with-runtime-verification/
CryptoNinjas

Introducing Smart Contracts for Bitcoin With GearSV

Bitcoin developers and members of the community have been some of the most constructive kinds when it comes from Bitcoin. The latter, including such individuals like neon Planaria, Bitbus Library, and underwriter have provided a new an interesting way for mining nodes to be easily synchronized with the off-chain application state. It's thanks to this […]
Bitcoin Exchange Guide

Should Smart Contracts be Non-Turing Complete?

Everyone has their favorite programming language, just as everyone has their favorite shoes or favorite food, but I’m not here to tell you to give up your favorite language (trust me, I would never dream of such a thing). Instead, I want us to take a journey together, a journey will take us through many things. We’ll discuss Turing completeness, evaluate its usefulness in regard to smart contracts, look at alternatives, and hopefully we’ll come to the same conclusion together at the end. Spoiler alert: the conclusion is that giving Solidity a monopoly on smart contracts is a terrible, foolish idea.So let’s jump right in. (Real quick: TC = Turing Complete and NTC = Not Turing Complete)Turing Completeness, the briefest explanationIf you don’t have any idea what TC is, I’m going to give you a brief explanation to keep you up to date. If you’ve heard of it before, but don’t quite remember exactly what it is, this will refresh your memory. Let’s jump into it!Alan Turing was a mathematician (among many other things) who created a theoretical machine called, of course, the Turing Machine. This mythical machine has access to an infinite amount of RAM and runs using a finite program that determines when it should write, read, and move within its memory. Its programming also dictates under what conditions it should terminate and what it should do next. Programming languages that fit these conditions are known as TC languages.A quick breakdown of what a TC machine can and can’t do is in order, so let’s look at some examples.Is complete:Has the ability to implement any computable function.Always includes a function that won’t terminate by itself.Includes a function that, theoretically, could use an infinite amount of memory.Isn’t complete:Doesn’t support loops, recursions, or other goto variants that tend not to terminate on their own.According to the Tiobe Index, nearly all modern, popular programming languages are TC by default (or have the ability to be TC when needed). The languages that are purposefully NTC are extremely domain specific languages like BicoinScript and Coq (an interactive theorem program that mechanically checks proofs). These languages lack recursion, intentionally, either as a security feature or because they can function without recursion and the developers decided that creating a TC environment was overkill.Basically, an NTC language is more specialized, while a TC language is a multi-purpose tool that can handle diverse situations. At first you might think, “Well, we should use TC languages for everything, right?” After all, it is flexible, but just as a multitool is a great thing to keep on your belt because it’s handy in many situations, you would probably prefer having the proper tools when repairing something like your car.http://themetapicture.com/have-you-never-opened-chardonnay-under-fire/To roll with the above analogy, TC languages can be applied more broadly, while NTC languages have specific uses. I don’t know about you, but personally I consider smart contracts to be a specific use case. “But,” you may be thinking, “there are so many different types of smart contracts, and the majority are written in Solidity with no problems.”Good point, dear reader. I’m glad you brought that up.Smart Contracts, Solidity, and Turing CompletenessI find that it is always best to turn to the experts in regard to complicated questions, which is what led me to a paper from the Computer Science Institute at the University of Applied Science Ruhr West, in Germany. This paper, aptly titled “Do Smart Contract Languages Need to be Turing Complete?” brings to light a lot of very interesting statistics concerning the journey you and I are on together.But before we dive too deeply into those stats, let’s quickly examine some of the common flaws that exist because Solidity is a TC language. We have the security flaws that allowed the DAO hack to happen (recursive call exploit), the possibility of attacking poorly implemented smart contracts (reentrancy attacks), and the fact that fees cannot be accurately predicted thanks to recursion (and the Halting Problem). These things only exist because Solidity is a TC language, but it is certainly worth suffering these flaws since we gain so much from TC languages, right?Right?!Unfortunately, the folks over at the University of Applied Sciences Ruhr West in Germany tell us a different story. They downloaded 53,575 smart contracts and analyzed the type of coding within each of them. They explain in their paper that “the performed analysis identified the flow control mechanisms used by the extracted smart contracts and assigned each smart contract to a corresponding computability class in order to check for the percentage of smart contracts that actually need a Turing complete smart contract for their implementation and by this answer the raised research question.”The results were as follows:35.3% — use “for-loops and primitive recursive functions and the problems related to the halting problem associated with this type of function.”A further breakdown within that 35.3% includes:24.8% “verified contracts use for-loops”3.6% are “contracts that use recursion”6.9% of all analyzed smart contracts made use of a control flow mechanism that usually demands a Turing complete programming language.There are two ways we can look at this data. Strictly speaking, the last 6.9% (about 3,697 out of 53,575) are the only category that technically require a TC language to function. Even if we are super liberal with our generalizations and assume the whole 35% needs a TC language, is that any better? Heck, I’d go so far as to say that even if half of them required TC it wouldn’t be worth the trade off. So why is Solidity TC?Solidity’s creation was heavily influenced by JS, C++, Python, and PowerShell, all of which TC languages themselves. To say that Solidity was created as a TC language through 100% intention might be a bit of a stretch. After all, why would you intentionally introduce flaws into your programming language when the benefits aren’t even being utilized? Philip Daian, a PHD student at Cornell, wrote in a rather interesting blog article after the DAO hack that “this was actually not only a flaw or exploit in the DAO contract itself: technically the EVM was operating as intended, but Solidity was introducing security flaws into contracts that were not only missed by the community, but missed by the designers of the language themselves.”We have other options… right?Monopolies are bad and stifle growth. Period. We fight against, we support government actions that disband them, yet for some reason we are willing to accept them when it comes to smart contracts? With this in mind, there are two possible futures that I see unfolding in front of us.Future one, we use our experience with Solidity and grow from it. We expand on Solidity, expand with other languages, like Vyper (an NTC language designed to be used next to Solidity), and continue to ignore the obvious flaws that a TC language brings to the smart contract world.Future two, we diversify our portfolios. Look, I said earlier that I’m not going to tell anyone to give up their favorite programming language, I lied. The problem in the smart contract community right now is that everyone insists on using Solidity, and I’m just hoping that it’s out of necessity and not desire.Let’s talk about serious contenders in regard to programming languages in the smart contract world. Let’s talk about Waves’ RIDE.There are a few reasons why I consider Waves to be a serious contender in this fight, one of the major ones being that Waves showed up, built a system, and has been running it since 2016. Too often you see speculative articles about “this new company” that is going to “revolutionize the space”. When Waves entered the ring, they came in swinging, and they have a showcase of products to show for it.They’ve got their own blockchain, wallet, and secure browser extension to manage dApp connections, DEX, and now RIDE, their own purpose-designed programming language to build dApps. The reason I bring this up is because Waves is a strong company doing serious things, and this makes their Solidity alternative a significant contender for dApp developers. Honestly, the main problem I have with this company is that the landing page of their website is nauseating, it just… keeps moving.RIDE is a purposefully NON Turing Complete language that is designed for developers to build smart contracts in a no-nonsense environment. RIDE takes a two-prong approach to this: first, their language provides the basic scripting functionality necessary to create dApps (while at the same time reducing security related errors). Secondly, because the language does not support any recursion or complex loops, it can be easily tested for security flaws.But the lack of recursion doesn’t just benefit security testing, it also comes into account when calculating gas fees for executing smart contracts on the Waves blockchain. Because it is possible to calculate how long the program should take to run and how complex it will be, prices can be estimated and fees are never charged without executing the dApp (I’m looking at you, Ethereum).You may be thinking that because RIDE is purposefully NTC, that it can’t handle the majority of smart contracts being written for the EVM. Remember that study from earlier though, the one with the German Computer Scientists? Less than 7% of tested smart contracts used a loop and needed TC to run.The real question (the whole purpose of this journey) is: why are we using Solidity, a TC language, when less than 7% of dApps written in Solidity are using its TC features?That 7% of dApps that require TC smart contracts could theoretically, according to the paper “Self-Reproducing Coins as Universal Turing Machine,” be served by implementing TC features across many different transactions. In their study, they were able to construct a simple TC machine by using a small, specific set of language features that utilized the UTXO (unspent transaction output) model. These transactions were heavily restricted by both input and output transaction states, for safety, and both unbounded and infinite loops were intentionally impossible to trigger in their case. In the same way, RIDE as an NTC programming language can be used to write TC smart contracts without the issues that an underlying TC programming language can bring.Issues that we are seeing with Ethereum and which are only going to get worse unless they change something major, and since we can see their roadmap for the next few years we know that none of these crucial changes are in the works. They will eventually move to POS instead of POW, and they have Vyper which you can opt to write in if you want increased security. But the bottom line is that TC was a selling point. Heck, Vitalik Buterin even admits in the Ethereum white paper that:“Turing-incompleteness is not even that big a limitation; out of all the contract examples we have conceived internally, so far only one required a loop, and even that loop could be removed by making 26 repetitions of a one-line piece of code. Given the serious implications of Turing-completeness, and the limited benefit, why not simply have a Turing-incomplete language? In reality, however, Turing-incompleteness is far from a neat solution to the problem.”https://xkcd.com/329/So, dear reader, as we have reached the end of our journey together, I ask you this, “What is more important to you as a developer: the ability to write clear, concise code that is automatically resistant to hacks and malicious intent OR the ability to write code in a TC language that is more “neat”?Ethereum and Solidity undeniably opened the doors to a new world with smart contracts and dApps, but it is long past time we diversify our programming skill sets and break up this monopoly before it takes too strong of a hold. For a developer, switching to a NTC alternative is not such a big leap. In order to make it even easier for you, I’m planning to run you through the entire process and show you specific examples of code in one of my next posts. Stick around because the shift is happening and you have seats in the front row!https://medium.com/media/3c851dac986ab6dbb2d1aaa91205a8eb/hrefShould Smart Contracts be Non-Turing Complete? was originally published in HackerNoon.com on Medium, where people are continuing the conversation by highlighting and responding to this story.
Hackernoon
More news sources

Smart contract news by Finrazor

ESSENTIAL

Basic information about Ethereum and description of its working process, problems of the Internet and the way Ethereum tries to solve them as well as the explanation of smart contracts.

Read more
ESSENTIAL

Everything you need to know about blockchain oracles, their importance and benefit for blockchain, the structure of oracles which consists of different components as well as their types and the list of oracle developers

Read more
ESSENTIAL

Blockchain as an effective provider of privacy and security, the meaning of smart contracts and their role, major aspects of blockchains and distributed ledgers and their use cases as well as the idea of Blockchain 3.0

Read more

Trending

Hot news

Hot world news

Fan tokens draw new users to crypto with the latest club addition, AS Roma

Blockchain is stepping further into the sports arena, as cryptocurrency company Socios partners with soccer team AS Roma to offer a fan token, according to a statement from the club.  The token will find its way to fans through the Socios app. There, it'll be tradeable against the Socios native token, $CHZ, currently listed on BitMax and KuCoin, as well as Binance DEX - Binance's decentralized exchange. The tokens are accessed on Socios.com, but housed on a separate permissioned side chain, where each club becomes a Node with Proof Of Authority (POA) from $CHZ. In order to access the club token through a Fan Token Offering, fans must first hold $CHZ. The move could open crypto to a wider user base, since the tokens allow fans to have a voice in their club. The tokens five supporters the right to vote on certain club decisions. They'll be set at a price of two euros, but fans can also earn them by interacting with AS Roma on the Socios app. Fans can also "hunt" tokens for free through the app's augmented-reality geo-location feature Token Hunt. However, AS Roma isn't the only club interacting with fans through crypto. Indeed, clubs from different leagues including Paris Saint-Germain, Juventus and West Ham United have all created fan tokens for supporters. Alexandre Dreyfus, chief executive & founder of Socios.com, said AS Roma's fan base along with other participating clubs draw hundreds of millions of users.
The Block Crypto

What does it take to be part of the next wave of Bitcoin Billionaires? Tim Draper answers

As crypto ecosystem consistently redefines its new peak in terms of adoption, fiat investors and new players are seeking opportunities to be a part of the next wave of Bitcoin Billionaires. One of the early birds, Tim Draper leads this space in terms of making sizable investments and returns in Bitcoin. Having complete faith in Bitcoin’s […] The post What does it take to be part of the next wave of Bitcoin Billionaires? Tim Draper answers appeared first on AMBCrypto.
AMBCrypto

Bitcoin Law Review - Blockstack's Reg A+, CFTC vs Bitmex, Gov't vs Libra/Crypto

https://ToneVays.com by @ToneVays https://twitter.com/ToneVays Topic 1: Reg A+ & Blockstack https://www.sec.gov/Archives/edgar/data/1719379/000110465919020748/a18-15736_1ex1a15addexhbd6.htm https://www.theblockcrypto.com/2019/07/12/blockstack-garners-reg-a-approval-but-that-doesnt-mean-crypto-icos-will-boom/ Leads into Topic 1a on Broker-Dealers & Custody https://twitter.com/philipliu/status/1149907881061302272?s=12 https://www.sec.gov/news/public-statement/joint-staff-statement-broker-dealer-custody-digital-asset-securities https://bitcoinmagazine.com/articles/op-ed-latest-finra-sec-security-token-custody-rules Topic 2: Government vs Libra/Crypto https://twitter.com/realDonaldTrump/status/1149472282584072192?s=09 https://www.cnbc.com/2019/07/18/first-on-cnbc-cnbc-transcript-treasury-secretary-steven-mnuchin-speaks-with-cnbcs-squawk-box-today.html https://www.cnbc.com/2019/07/18/mnuchin-says-us-will-ensure-bitcoin-doesnt-become-like-anonymous.html https://www.cnbc.com/2019/07/18/first-on-cnbc-cnbc-transcript-treasury-secretary-steven-mnuchin-speaks-with-cnbcs-squawk-box-today.html https://brianoflondon.me/2019/07/facebook-lied-about-the-cryptocurrency-industry-to-destroy-it/ https://www.youtube.com/watch?v=9-ZTkCNW0w8 https://www.cnbc.com/2019/07/16/i-like-bitcoin-says-house-gop-leader-mccarthy-hits-facebook-libra.html Topic 3: Crypto Exchanges https://www.bloomberg.com/news/articles/2019-07-19/u-s-regulator-probing-crypto-exchange-bitmex-over-client-trades https://twitter.com/notsofast/status/1151864421414838274?s=21 https://www.coindesk.com/ex-ceo-of-crypto-exchange-wex-arrested-in-italy https://www.coindesk.com/mt-gox-founder-hit-with-lawsuit-over-alleged-fraudulent-misrepresentation https://www.scribd.com/document/414569311/Steinmetz-Jones-v-s-McCaleb#from_embed https://www.thedailybeast.com/behind-the-biggest-bitcoin-heist-in-history-inside-the-implosion-of-mt-gox?ref=scroll Topic 3a - Update on Bitfinex vs NYAG https://ambcrypto.com/new-york-ags-court-filings-written-in-bad-faith-and-riddled-with-false-assertions-says-bitfinexs-rebuttal/ https://www.coindesk.com/bitfinex-ny-prosecutors-tether-850-million-allege https://iapps.courts.state.ny.us/fbem/DocumentDisplayServlet?documentId=vIexA1b0spKOnK_PLUS_ZUGTJ3A==&system=prod https://breakermag.com/crypto-capital-is-the-common-thread-between-bitfinex-quadrigacx-and-other-troubled-exchanges/ https://decrypt.co/6824/crypto-capital-follow-up-article Topic 4: Crypto & Taxes (Time Permitting) https://www.carltonfields.com/insights/publications/2019/how-state-remote-sales-and-use-tax-statutes-may-im https://twitter.com/cryptotaxgirl/status/1148370522775797760?s=21 Topic 5: Other - Time Permitting https://www.journalofaccountancy.com/news/2019/jun/virtual-currency-not-fbar-reportable-201921479.html https://www.justice.gov/usao-sdny/pr/us-attorney-announces-arrest-and-money-laundering-charges-against-dark-web-narcotics https://cryptoslate.com/chinese-court-upholds-legal-bitcoin-ownership-btc-protected-china-property-law/ Closing Moment of Zen: https://twitter.com/Horsebox_1/status/1117955111219867648 Honorable Mention: https://www.sec.gov/corpfin/framework-investment-contract-analysis-digital-assets Please Support via Affiliate Codes: Unlimited Trading for $9 a Month at LVL: https://lvl.co/?r=kDpHhBmS Deribit to save 10% on Trading: https://www.deribit.com/reg-3221.4686 Buy/Sell Bitcoin at Paxful: https://paxful.com/?r=or4dNEDBBQX Trading View: http://tradingview.go2cloud.org/aff_c?offer_id=2&aff_id=4905&url_id=3 TorGuard VPN 50% off code & link = tone50: https://torguard.net/aff.php?aff=3782 Ugly's Lifetime Subscription: https://uglyoldgoat.com/?rid=4xyuzu Audio Podcast: https://itunes.apple.com/us/podcast/the-tone-vays-podcast/id1390209454?mt=2 See Regulation overview in each state here: https://www.carltonfields.com/state-regulations-on-virtual-currency-and-blockchain-technologies/ Tone Vays is available for Corporate Consulting at the rate of 0.3 btc per hour. Please email Tone@protonmail.ch for additional info.
Tones Vays
By continuing to browse, you agree to the use of cookies. Read Privacy Policy to know more or withdraw your consent.