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…

Imagine buying a bottle of super premium spirits. Scan it with an app on your phone, and you know for certain that it is a genuine product, never opened or tampered with, and every ingredient can be traced to its source. All this without needing to trust the retailer or anyone in the supply chain.

That’s authentication security, and it will soon be a reality for customers of Strait Brands, an Australian producer of international award-winning spirits…

Cardano is designed to serve millions of users in a globally distributed way. As with any other decentralized blockchain, this means that we need to produce a predictable and consistent supply of new blocks that collectively grow the chain and transparently record transactions between users. In order to ensure that new blocks are propagated across the network as a whole in an…

At first glance, the deal between Cardano and Oasis Pro Markets announced at the Cardano Summit may sound like a specialist application of blockchain technology to the rarefied world of finance – of interest to bankers, perhaps, but not to the person on the street. But it could turn out to be a game changer for millions of people throughout the world.

Many countries struggle to…

At the Cardano Summit, IOHK announced a collaboration with Ergo, Nervos, and Topl to create the UTXO alliance. Today, we’re delighted to welcome a new alliance partner – Komodo.

Komodo is an open-source technology provider that offers all-in-one blockchain solutions for developers and enterprises. Komodo works closely with organizations that want to launch branded decentralized…