This allows logical proof of the correctness of code and smart contracts, for those applications where value is high and security is paramount. Cardano combines this with an innovative layered approach that separates accounting of value from all other smart contract and computation activity. After more than two years of planning and development, we’re delighted to announce that the Cardano blockchain was publicly launched on the 29th September 2017. Cardano’s Ada token was then made available for trading on the 1st October at Bittrex exchange. The entire Cardano blockchain is completely open source software and is available to see on Github.

Welcome to r/Cardano, the reddit home of the Cardano blockchain. Read this to get started.

Cardano’s technology is built from peer-reviewed research at some of the world’s foremost universities. Cardano’s development partner IOHK has built the Daedalus wallet, allowing users to securely store their Ada. Haskell is considered to be one of the most secure programming languages, minimizing the number of errors and adding extremely robust security to the platform. This includes use of a technique called formal verification, which allows mathematical proof of the correctness of code. Cardano has a very strong academic heritage and is the first cryptocurrency to have one of its academic papers accepted at Crypto 2017, the leading cryptography conference.

How do I send/receive Ada?

There is also extensive technical documentation produced by IOHK which can be viewed here. Right now the only exchange that Cardano has partnered with is Bittrex.com. More exchange partnerships will be announced in the coming weeks and months. Bittrex currently only offers a Bitcoin to Ada trading pair, but others will be added soon.

What is unique about the project?

Create your account and connect with a world of communities.

• Cardano has a very strong academic heritage and is the first cryptocurrency to have one of its academic papers accepted at Crypto 2017, the leading cryptography conference.
• This includes use of a technique called formal verification, which allows mathematical proof of the correctness of code.
• The entire Cardano blockchain is completely open source software and is available to see on Github.
• Right now the only exchange that Cardano has partnered with is Bittrex.com.

Join the Cardano Community!

• Cardano is a security focused blockchain that harnesses the latest research and engineering insights to build a platform suitable for the highest value applications.
• Join a community of critical thinkers, engineers, and builders.
• This subreddit is the central hub for education and discussion on its core technology, security protocols, and the growing ecosystem of DeFi, NFTs, and real-world solutions.
• IOHK have research centres or partnerships with many of the top global academic institutions including the University of Edinburgh and the Tokyo Institute of Technology.
• After more than two years of planning and development, we’re delighted to announce that the Cardano blockchain was publicly launched on the 29th September 2017.

Cardano (ADA) is the world’s leading provably secure, scientifically developed blockchain. Built upon layers of peer-reviewed research, its short term strategies aim is to provide a truly sustainable and scalable infrastructure for decentralised applications. This subreddit is the central hub for education and discussion on its core technology, security protocols, and the growing ecosystem of DeFi, NFTs, and real-world solutions. Join a community of critical thinkers, engineers, and builders. It allows formal verification of code, and easy extensibility through a layered architecture.

How do I send/receive Ada?

IOHK have research centres or partnerships with many of the top global academic institutions including the University of Edinburgh and the Tokyo Institute of Technology. Cardano is the first blockchain project to be built on peer reviewed academic research. Cardano is a security focused blockchain that harnesses the latest research and engineering insights to build a platform suitable for the highest value applications. This means functionality can be added to smart contract capabilities without changing the protocol responsible for the cryptocurrency.