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.
Welcome to r/Cardano, the reddit home of the Cardano blockchain. Read this to get started.
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.
How do I send/receive Ada?
- Cardano combines this with an innovative layered approach that separates accounting of value from all other smart contract and computation activity.
- 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.
- 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.
- 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.
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 start crypto mining 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.
What is unique about the project?
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.
Join the Cardano Community!
- 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.
- Right now the only exchange that Cardano has partnered with is Bittrex.com.
- The entire Cardano blockchain is completely open source software and is available to see on Github.
- This includes use of a technique called formal verification, which allows mathematical proof of the correctness of code.
Create your account and connect with a world of communities.
Cardano (ADA) is the world’s leading provably secure, scientifically developed blockchain. Built upon layers of peer-reviewed research, its 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.