Category Archives: IOHK

Cardano launches AGIX ERC20 converter testnet

In the announcement made on December 7, it was reported that the AGIX ERC20 converter now launches in testnet mode. ERC20 tokens can be converted to the new format and transferred to EMURGO’s Yoroi or Input Output’s Daedalus.

Working initially with SingularityNET and their AGIX token, Cardano shared how it would support ERC20 token migration from Ethereum. Today AGIX announced that its ERC20 converter testnet is live and ready for community evaluation.

SingularityNET is the first partner to this initiative. Transformer is an important step in our shared journey towards a much deeper collaboration with the SingularityNET community.

For detailed information on exactly how the AGIX ERC20 converter tool works, go here.

source: iohk.io

Hoskinson, Layer-2 Cardano “a necessity”

Layer-2 Cardano “a necessity” as Hoskinson predicts a huge spike in network traffic.

Cardano founder Charles Hoskinson describes Hydra as a “high commercial priority” due to the expected increase in traffic scale in the coming months. Especially in the near term, when projects in Africa start to spread.

He added that research on Hydra is currently ongoing. However, generally speaking, things are getting “closer” to a (version) “1.0”. Hydra is a layer 2 scaling solution that can theoretically deliver speeds up to 1 million transactions per second (TPS).

Speaking from Ethiopia, Hoskinson hosted an AMA at the weekend. As usual, it was filled with a wide variety of topics, including points about the ERC-20 converter and a brief mention of a possible deal in Egypt.

However, of more interest was talk of Hydra, Cardano’s tier 2 solution. Hoskinson said the IOHK team is busy working on it right now. He also said that they are considering recruiting other parties to accelerate its development from a commercial perspective.

Disclaimer: What is written here is not investment advice. Cryptocurrency investments are high-risk investments. Every investment decision is under the individual’s own responsibility.

New certification levels for smart contracts on Cardano

High assurance is paramount when developing and working with smart contracts. You want to be confident that the source code is of a high quality, that the contract is secure and will behave as it should, and that it utilizes good properties and behaviors in the process. Certification ensures that security checks are performed prior to any deployment, and that smart contracts can be continually audited as they are updated. It provides benefits to both smart contract developers and end users, helping protect user funds and project reputations alike from coding errors or exploits.

At September’s Cardano Summit 2021, we laid out our plans on the introduction of new levels of certification for decentralized applications (DApps) running on Cardano. This certification program will provide levels of quality for DApps and their internal smart contacts.

This initiative has been led by Professor Simon Thompson, technical project director at IOG, and Shruti Appiah, head of product at IOG. It will help us comply with the best practices we’ve seen around the industry. We are working with Runtime Verification, Tweag, Well Typed, Certik, and others to roll out this new certification program that will link in with the new dAppStore, also unveiled in prototype form at the summit. This will be released in conjunction with the new light wallet.

What are the different certification levels?

There are three levels of certification, each of which is complementary to the others, rather than being progressive in terms of assurance and auditing purposes.

Level one: Automated tooling

This certification level gives continual assurance about a range of properties for smart contracts. It covers the discovery of different types of issues or bugs and is characterized as low cost, low effort, accessible to everyone while providing a substantial level of assurance.

It can be applied repeatedly and automatically, so each time there is a release or a sub-release of an application, we can test to ensure that the application still has the properties that we expect.

Level two: In-depth audit

This level involves looking at the technology and processes that led to it being produced. It is characterized by the fact that it involves a manual audit and verification of smart contracts within the DApp itself.

The testing is performed at a much more in-depth level and involves more manual effort that can address a DApp in its entirety, even if it is written in a variety of languages.

Level three: Formal verification

This level is more specialized where we aim to provide full assurance of critical aspects of applications through formal verification of smart contracts. Formal verification involves ensuring that a smart contract serves the specific business or technical requirements defined at the outset.

What kind of assurance can we expect?

Certification will ensure the correctness, compliance, and consistency of requirements by both application developers and auditors. It will also guarantee the absence of common security vulnerabilities and provide a level of robustness, reliability, and maintenance of DApps deployed on Cardano. While certification will be strongly encouraged and the store curated accordingly, it will not however be mandatory or act as any kind of ‘gatekeeper’ thus maintaining a balance between the need for user assurance and decentralized principles.

By auditing the specifications and design and ideation phases, you can present evidence to the community and guarantee that things will work as expected. This evidence includes documentation of requirements to a detailed level, thereby creating a reference point for the future.

Certification status in the dAppStore

We plan to integrate this certification with the new dAppStore that we are building to provide cryptographically secure non-fungible tokens (NFTs) that give evidence of the levels of certification that we will guarantee. The dAppStore will be part of a light wallet that IO is developing, and users will be able to access the light wallet and dAppStore using a web browser, and in the store to view the certification status of each DApp as they browse through the categories and individual applications. Making the relevant certification status visible to users during the selection process will offer reassurance on quality and safety for users in their choice of DApps.

What is next for certification?

Professor Thompson says: We want to build support from the industry for emerging standards of certification. In the longer term, we will work with our partners and others to articulate best practices, which may involve forming an umbrella industry body to define new standards and practices for this domain.

We also plan to work with our ecosystem of partners to support certification of the first DApps on Cardano; one of a number of DEXs looking to launch on Cardano this year SundaeSwap also announced their plans at the summit to certify.

It is still early days. There are some technical challenges that we are busy working through about how we support versioning of DApps, how they will be packaged, and how to make them available to automated tooling. However, we are very excited about this journey with our partners and the general community to deliver a secure platform and applications built on top of it.

To learn even more about certification levels, and meet some of the partners on the program, make sure you watch the certification session from the Cardano summit.

source: cardano.org

Disclaimer: What is written here is not investment advice. Cryptocurrency investments are high-risk investments. Every investment decision is under the individual’s own responsibility.

ADALend topped the Core Cardano list

ADALend has been included in the “Essential Cardano list” by IOHK. It has listed ADALend, which consists of projects considered as part of the ecosystem that provides and supports products and services to Cardano users, in its Essential Cardano List.

The “Essential Cardano List” provides an overview of the Cardano ecosystem with an accompanying map, a central library of materials, Cardano Foundation and Emurgo resources, as well as community-created materials and a list of available share pools.

The inclusion of ADALend in the list is a milestone for the project and its plans to broadcast consumer awareness about the project and its features.

About ADALend

Cardano ADALand

Disclaimer: What is written here is not investment advice. Cryptocurrency investments are high-risk investments. Every investment decision is under the individual’s own responsibility.