{"id":139548,"date":"2021-09-23T10:10:16","date_gmt":"2021-09-23T10:10:16","guid":{"rendered":"https:\/\/precoinnews.com\/?p=139548"},"modified":"2021-09-23T10:10:16","modified_gmt":"2021-09-23T10:10:16","slug":"cardano-ada-development-company-iohk-on-upcoming-plutus-dappstore","status":"publish","type":"post","link":"https:\/\/precoinnews.com\/crypto\/cardano-ada-development-company-iohk-on-upcoming-plutus-dappstore\/","title":{"rendered":"Cardano ($ADA) Development Company IOHK on Upcoming Plutus dAppStore"},"content":{"rendered":"
Yesterday (September 22), blockchain technology company\u00a0IOHK\u00a0(aka \u201cIOG\u201d), which is responsible for the research and development of the Cardano protocol, talked about\u00a0the upcoming store for decentralized applications (dApps) written for the Plutus Platform.<\/p>\n
In an IOHK blog post published on September 22, Shruti Appia, Head of Product (Smart Contracts) at IOHK, started by saying that \u201caddressing discovery and quality assurance issues is key to early ecosystem growth.\u201d<\/p>\n
She then said that this weekend \u2014 at Cardano Summit 2021 (September 25-26) \u2014 IOHK will \u201cintroduce a certification program to assess applications developed on top of Cardano\u201d and preview a prototype of the upcoming Plutus dAppStore, which is \u201cwhere developers will be able to upload their DApps running on Cardano and make them available to others.\u201d<\/p>\n
Appia says that the Plutus dAppStore aims to provide a solution for the following two problems:<\/p>\n
Access to the Plutus dAppStore will be via a web browser. It is important to point out that this store will accept both certified and uncertified apps and it does not aim to \u201cact as gatekeeper (or judge).\u201d<\/p>\n
She then went on to talk about the certification program, which aims to prevent \u201ccode-level security vulnerabilities.\u201d It will do so by \u201cdeploying different levels of \u2018defense\u2019, as outlined below:<\/p>\n
\u201cThere will be several tiers. At the simplest level, automated logic checks will enable us to detect certain types of malicious code. For example, these will be able to check if the contract does not contain a way for locked up funds to be recovered. In a well composed contract, locked funds need to be retrievable.<\/em><\/p>\n \u201cBeyond that, manual smart contract auditing will help us verify any DApp\u2019s integrity. Ultimately full formal verification will test the mathematical model to prove that a smart contract satisfies the formal specification of its behavior.<\/em>\u201c<\/p>\n Appia concluded her blog post by saying that in the long term IOHK \u201cwould like to see user-designed tools, the deployment of those tools to the store, and the evolution of the Plutus dAppStore to include new features such as upvoting, reviews, and even Atala PRISM integration etc., giving users the opportunity to feed back on the range of DApps in the store.\u201d<\/p>\n The views and opinions expressed by the author, or any people mentioned in this article, are for informational purposes only, and they do not constitute financial, investment, or other advice. Investing in or trading cryptoassets comes with a risk of financial loss.<\/em><\/p>\nDisclaimer<\/h2>\n