IOHK received both Bitcoin and Ada for its contract to work on the Cardano project. IOHK converted most of its Bitcoin at the time of receiving it to fiat in order to ensure project stability. With respect to IOHK's holdings of Ada, IOHK does not expect a need to liquidate any of its Ada to cover immediate costs related to the Cardano project until 2019. However, like most ventures in the cryptocurrency space, we have made certain payroll commitments in Ada to several IOHK personnel, contractors and third party firms.

Therefore, IOHK will voluntarily adopt the following vesting schedule for its Ada. A third of IOHK's Ada holdings will be immediately available to IOHK. A third will be made available after June 1st of 2018. The final third of IOHK's Ada will be made available after June 1st of 2019.

Charles Hoskinson will not receive any Ada until the final third of supply unlocks in June of 2019. When the computation layer of Cardano is released next year, IOHK will move its total Ada supply into a custom vesting contract to reflect the above policy.

In the spirit of full disclosure, IOHK's initial Ada address is:

As for Emurgo and the Cardano Foundation, we have requested both partners to make a similar statement about use of funds. As they are independent businesses, they will do so at a time and manner of their choosing.

The technology was conceived in an Osaka restaurant more than two years ago and from that small beginning Cardano has been built into a leading cryptocurrency. The project has amassed a team of experts in countries around the world, has generated more than 67,000 lines of code, and has a strong and growing community in countries across Asia and beyond. Along the way, Cardano has set new standards for cryptocurrencies with best practices such as peer review and high assurance methods of software engineering. The official launch was held in the district of Shibuya in Tokyo on Saturday October 14 for an audience of about 500 people, who had each won a ticket through a lottery held on social media. Excited cryptocurrency enthusiasts, Ada holders and business people from across Japan queued to get Cardano t-shirts and souvenir physical Ada coins, before going into the main hall to hear about how Cardano was created and the vision for its future. "The first thing we did when we knew the project was real was to build great partnerships," Charles Hoskinson, founder and CEO of IOHK, told the audience. "Our chief scientist is based at University of Edinburgh, it is a wonderful place, where they built the heart of Cardano. We have a lot of wonderful people at the University of Athens, they are rigorous, making sure that the theory works. And we have people at Tokyo Tech who work on multi party computation and look to the future, and work out how to make Cardano last a long time." The vision for Cardano, Hoskinson said, was that it would pull together academic research and bright ideas from computer science to produce a cryptocurrency capable of much more than its predecessors.

This "third generation" cryptocurrency would be able to scale to a billion users, using a proof of stake algorithm, Ouroboros, which avoided the huge energy consumption of proof of work cryptocurrencies. Features that would be added to Cardano to help it scale included sidechains, trusted hardware, and RINA, or recursive internetwork architecture. Sustainability would be part of the design by way of a treasury system to fund development indefinitely, allowing stakeholders to vote on proposed changes to the protocol. Meanwhile, the computation layer of the technology, would be innovative in using a tool called K Framework to allow developers to write smart contracts in the programming language of their choice, he said. Security is paramount to cryptocurrency because flaws in code increase the risk of hacks and the loss of coin holder funds, unfortunately witnessed too often. With that in mind, Duncan Coutts, head of engineering at IOHK, explained how the company approaches software development: cryptography research papers are translated into code using the technique of formal specification. This involves a series of mathematical steps that progressively take the cryptography closer to the code that the developers write, a process that allows checks to be made that the specifications are indeed correct.

Duncan Coutts, IOHK Director of Engineering, presenting at the Cardano launch event

"I’m passionate about bringing clever ideas from computer science and using them in Cardano," Coutts said. "And I’m obsessive about software quality. Beautiful software is like beautiful mathematics or poetry." Aside from engineering, the other twin pillar of IOHK is research, and Bernardo David went on stage to talk about the rigour supporting the papers that IOHK produces. David is an assistant professor at Tokyo Tech where IOHK has a research partnership, and was one of the team that produced Ouroboros, a provably secure proof of stake algorithm. On the question of whether people should accept the quality of the research, he pointed to the paper’s peer review through its acceptance to Crypto 2017, the annual cryptography conference held in California. "This is the first proof of stake paper that was published in a big conference so you can trust the largest and most respected cryptography conference in the world," he said. "You don’t have to take my word, you can trust all the other cryptographers."

Michael Parsons, Chairman of Cardano, speaking at the Cardano launch event

The launch event introduced the other important organisations supporting Cardano, such as the Cardano Foundation. The Swiss-based standards body acts as the guardian of the protocol and its duties include providing information to the community and working with governments to shape regulation. Michael Parsons, chairman, announced that Ada holders would be able to store their coins in the Ledger hardware wallet and integration was being worked on. Plans for the future included working with a respected London think-tank to produce blockchain research. Thanking the community, he said: "Cardano is a blockchain protocol with integrity. We are dedicated to helping it derive its full potential and make the world a better place. You supported us to help make Cardano what it is, so thank you." The third organisation supporting Cardano is Emurgo, which is based in Japan and extends support and advice to anyone wishing to build applications on the software.

Ken Kodama, CEO of Emurgo, emphasised the advantages of Cardano’s technology over older cryptocurrencies, and said: "Emurgo sees a bright future that Cardano will provide a more trustable way of identifying individuals and also a reasonable, and faster payment method to people who don't have them now. Emurgo will play an important role in plugging developers and startups to the Cardano ecosystem." Kodama, along with Darren Camas, senior adviser to Emurgo, spoke about how a network was being established in other Asian countries to support its growth. Camas said: "The question for us is how do we help Ada become the fuel that powers financial technology, not only in the developed world but in Malaysia, Vietnam, Argentina, Nigeria… How do we bring more people from across the globe to transact in the Cardano ecosystem?"

After the presentation crowds formed outside the hall to have their photos taken with the Cardano team. Some people who came along were longstanding supporters of the project, such as Naomi Nisiguchi, from Mie Prefecture. She works as a manager in the construction industry and has had an interest in cryptocurrency for four years. "Around two years ago I heard about Ada and that Charles Hoskinson was involved," she said. "I’ve been following the news on Facebook and I’m very interested to learn how the project will move on."

Ken Kodama, CEO of Emurgo, speaking at the Cardano launch event

Many people had plans regarding Cardano. Takashi Kawaguchi set up Fintech Academia last month to give Japanese people information about cryptocurrencies, and came along because he believes Cardano has the potential to rise up and be on par with Bitcoin and Ethereum. His website would provide educational resources that would help people understand and trust crypto, he said, and learn that it wasn’t an enemy, but represented the future.

Other people at the event were planning business interests, such as Nobuyoshi Hayashi from Tochigi prefecture, who owns a consultancy and wants to begin offering cryptocurrency advisory services. The launch itself is only the beginning for Cardano, with many new features to be added during the next three years that will cement its position as the leading cryptocurrency. Mario Larangeira, specially appointed associate professor at Tokyo Tech, was in the audience, and said it was a great time to be working in cryptography. "To be part of this project is challenging, complex but also very exciting," he said. "Now we are working on multi party computation and putting even more cryptography into Cardano, for example with Kaleidoscope, new research that is being produced at Tokyo Tech with Bernardo David and Rafael Dowsley."

Bernardo David, IOHK Research Fellow, speaking at the Cardano launch event

There was much hard work ahead, agreed Charles Hoskinson, and holding an event in Tokyo with Cardano partners was a very special occasion. "This is a really fun event," he said. "Cardano has its largest community here in Japan and we felt it was so important to have a launch event to thank the community for being so supportive, loyal and patient. The point of this event has been to talk about where we came from and where we plan on going, and meet some new people and make new friends."

The launch of Cardano brings to an end an exciting first phase of development for us at IOHK, after more than a year spent planning and developing the technology. Now we’ve handed the product over to users and they are getting to know how it works. Using new software can be tricky – some people won’t need any help, but there will be those who need a little assistance. To make sure that people know how to use the software and aren’t experiencing any problems, IOHK and Cardano Foundation organised a help desk tour around Japan. As far as we know, this is the first time there has been a customer service tour for a cryptocurrency.

Over two weeks, starting from the end of September, the team visited five cities in Japan: Osaka, Nagoya, Hiroshima, Fukuoka and Tokyo, where we are holding three days of seminars. To figure out where we should go, the Cardano Foundation had previously sent out a questionnaire to find out who needed our help, and what kinds of questions people had. This helped us plan the tour accordingly.

We started out on a Saturday at the end of September in Osaka before moving on to Nagoya and making our way around Japan. Being able to meet and talk to the community of Ada holders was a really good experience. People were excited, eager to learn and had lots of positive comments and feedback. There was a mix of different ages, with the youngest people aged about 20 and the very oldest about 70. There were men and women, and there was a good turn out – sessions were nearly always just about full. Kondo, aged 45, heard about Cardano through Facebook and joined the online community to learn more. "I think Cardano’s future is very bright," Kondo said at a help desk seminar. "I brought my PC today and managed to redeem my Ada. I don’t think I could’ve done that without the staff’s help. I’m glad that everything’s solved."

Some people came along to meet other members of the community. New "crypto friends" swapped details so they could use talk about cryptocurrency using Line. Others were excited and wanted to share their thanks with the team and good wishes for the future of Cardano. Each Cardano help desk programme lasted a full day, over which we ran several sessions. The most popular presentation was on exchanges, and explained cryptocurrency markets and Bittrex, the exchange that Ada launched on. That session included a demonstration of how to use Bittrex, given by Daniel Friedman, a Japanese speaking IOHK staff member based in Osaka, and Toshiaki Miyatake, a Cardano community moderator from Tokyo, and the presentation was followed by a question and answer session. Aside from making sure that people had no technical problems, another objective of the help desk tour was to inform and educate. Cardano has attracted many people who are discovering an interest in cryptocurrency, so we want to help them get started by providing them with high quality resources and information.

Another presentation covered the Daedalus wallet. This wallet is where Ada is stored, and where users send and receive Ada. Step by step, we walked people through using Daedalus, including showing them how to store their private keys, how to add their Ada to the wallet and send it to the exchange. This session included offering one-to-one technical help, for anyone who needed personal assistance. People brought their laptops and we had memory sticks to install Daedalus for them if they hadn’t installed it already. There was also a popular presentation for people who wanted to join the growing Cardano community on social media. Miyatake showed people the Twitter accounts, the official Facebook group and how to join the conversation taking place in channels on Slack, with both Japanese and English language accounts available to join. Meeting Cardano users was enjoyable and hopefully provided them with all the help they needed, but it was also helpful for us too.

IOHK founder Jeremy Wood at the help desk tour

During the course of the sessions and meeting and talking to so many users, we uncovered a couple of small bugs in Daedalus, which our developers could begin work on fixing. Some of the bugs or issues we discovered were:

• Using Japanese characters when naming the wallet could cause the wallet to crash. A fix for this is due to be made soon.
• Daedalus now requires Windows users to synchronise the clock on their PC to the time on the internet.
• Windows users may find that when they try to connect to the network for a second time after quitting the application, they are stuck connecting to the network. Developers are looking into issue, which can sometimes can be fixed by restarting the computer.
• For a small number of people, transactions may not seen in the wallet despite being registered on the blockchain when they try to make a withdrawal from Bittrex. A fix for this is being worked on by developers.
• We have had reports that Daedalus may be wrongly identified as malware by the machine leaning algorithms used in some anti virus software. With time, this should change. Please be cautious if you are unsure and file a bug report. If you have a problem, first make sure your wallet is backed up, then download Daedalus again and reinstall it on your computer.
• Windows users may not be able to use a tablet and instead should use a desktop computer.

It was a busy but rewarding two weeks, now finishing up in Tokyo, where high demand means we had three full days booked at TKP Garden City in Shibuya. Now that Cardano is in the hands of the community there will be a special event in Tokyo this week to mark the successful launch. All three partners who are responsible for Cardano – IOHK as its developers, the Cardano Foundation as the standards body and guardian, and Emurgo, the venture builder for decentralised applications – will come together to talk about what users can expect to see with Cardano over the next three years. For coverage of the event, and to join the community, follow our social channels on Facebook, Twitter, and Slack.

Over two years ago IOHK joined a movement to build a truly unique collection of technology that married the best engineering principles with the dreams of scientists in far removed universities. It was a tremendously ambitious and complex project to grasp. Tens of millions of dollars would need to be gathered, long term roadmaps developed, research institutions established and properly managed as well as numerous entities staffed. In short, it was an insane project to attempt. Yet we attempted it.

Now there are well over 100 people working full time on the Cardano project, three research centers drafting peer reviewed papers, a legion of haskell developers pushing the limits of the language and three well capitalized entities with a mandate and funding to build Cardano until 2020 - IOHK, the Cardano Foundation and Emurgo.

It’s both unbelievable and humbling to see how far we have gone in such a short time. Cardano is literally evolving computer science from semantics based compilation to entirely new cryptographic protocols to formal verification of code. Cardano also managed to build an amazing community more than 10,000 strong in a slow and methodical way.

We launched the mainnet recently with very little fanfare and marketing. Rather it seems to be a small stop on a much longer and more elegant journey. While it’s certainly a challenging sojourn, I’m confident that we have come to know it and have developed the endurance to survive.

In reflection, I’ve been to over 30 countries since we started our journey. I’ve met thousands of people ranging from the bizarre to the saintly with a few notorious ones littered in between. The most remarkable thing so far has been experiencing the near unlimited excitement and youth regardless of where I went.

The world really does seem like it’s ready for a new financial system. It’s hard to say if Cardano can get us there, yet we aren’t alone any more. There’s now an army of some of the best throughout the world on this journey. Leaderless, inspired and brilliant, it’s an honor to be among them. I never believed I could be part of something like this movement.

Thank you all for being part of Cardano. Thank you for your patience when we have fallen. Thank you for your support and kind words. Thank you for your dreams. Now let’s get back to the road ahead. I’ve come to know this place for the first time.

No taxes, no government and the principle of doing others no harm are the founding ideals for a proposed new sovereign country where citizens can live as they choose. This vision of a libertarian utopia created through the purchase of sovereign land was laid out last week in Aspen, by early bitcoin investor Roger Ver, who told an audience that he was in talks to buy land. Rules for the proposed sovereign territory were few, such as no exporting of weapons or drugs and that there would be an age of consent. There would be no membership of the United Nations and no nuclear weapons. "As long as it’s peaceful, you can do whatever you want," said Ver, calling for libertarians and constitutional experts to join his plan. "Even if you love government control, you should love our project," he said, "so all us crazy libertarians can go off and create our own land. All you government loving people can sit back and say to us ‘look how you screwed things up’. But I don’t think we are going to fail," he concluded to applause from the audience.

Ambitious ideas like Ver’s Free Society weren’t in short supply during the three-day Nexus conference at Colorado’s Aspen Institute. The institute – surrounded by mountain peaks carpeted in red and gold fall colours – is more used to hosting the global elite rather than the dreamers and doers pushing for new ways of doing things at Nexus, whose conversations centred around liberty, decentralisation and the future of finance. Blockchain was a core theme of the event, with a predictable number of attendees planning an ICO, but there was also discussion of the future of cryptocurrencies.

Panel at Nexus 2017. Left to right: Roger Ver, Stacy Herbert, Max Keiser, Charles Hoskinson.

Charles Hoskinson, CEO of IOHK, explained how cryptocurrencies would have to develop before they could fulfil some of the transformative roles that have been predicted for them. "The third generation of cryptocurrencies that are coming are really going to be valuable, to change things and allow us to grow," said Hoskinson. "And allow these things to get enough users where they can really start influencing law and governments and central banks. Those cryptocurrencies will require governance, scalability, interoperability." Governance would mean that there would be a democratic way to make improvement proposals and changes to the blockchain, Hoskinson said. And cryptocurrencies of the future would have metadata attached to them, to allow financial transactions to reveal more about the story behind them than simply showing that A sent money to B. Interoperability would allow new blockchains to interact with legacy financial systems. "Interoperability’s incredibly important," he said, "otherwise you have two financial systems which are at war with each other."

Summing up, Hoskinson said: "the good news is that within three to five years, almost all of these problems can actually be rigorously solved." And some of the most exciting developments would relate to the social aspect of cryptocurrencies, where people would have to find new ways to get consent, around issues like voting. "Cryptocurrencies are societal evolution happening in real time," he said. Later, Charles was also part of a lively panel that included the hosts of the Keiser Report show – Stacy Herbert and Max Keiser – as well as Roger Ver and Rob Viglione, founder of ZenCash. Discussion topics included why there was less drama about the Ethereum chain split compared to Bitcoin scaling, ICOs, and the claims from Jamie Dimon, CEO of JP Morgan, that Bitcoin was a fraud. Dimon was ridiculed for his lack of understanding of cryptocurrency, with Ver offering to give Dimon a tutorial. A focus on the future united most conference attendees, but equally important was the historical context that brought them to where they were. Ron Paul, who Hoskinson worked for during Paul’s 2008 bid for the Republican candidacy, came on stage to a standing ovation and chants of "End the Fed".

Despite admitting he had much to learn about how blockchain worked, the libertarian politician who is now in his eighties praised the industry’s creativity. Technology should not be an arm of the government, he warned, and the internet was being coopted by commercial interests. "Technology is helping us, in a free society it helps improve our living condition," he said. In a tour de force through libertarian thought, he recounted his early career in medicine eventually brought to an end by his interest in how the monetary system worked. Saying that there had been decades of monetary policy failure, from the collapse of Bretton Woods system in the 1970s, Paul attacked the march of Keynesian ideology and a system swollen with debt, leading to the 2008 global financial crisis. "We do want to get rid of the Fed and we should start with auditing the Fed and understanding why we need to know about it," Paul said. "The American people deserve to know what’s going on." Central banking was a relatively new concept, he said, predicting the end of a system that would self destruct as it sank under the weight of debt.

Jesse Ventura and Ron Paul

Backing what Paul said afterwards, Jesse Ventura, ex-wrestler and former governor of Minnesota, told IOHK that personal debt kept people from being free, in a system designed to lock people into debt. "If you are in debt you can be controlled," Ventura said. "If people ran their finances like the government run theirs you’d be a homeless person living on the street out of a bag. You can’t live in a world of negative money." Paul cut a humble figure as fans queued to have their picture taken with him, and later held a television studio discussion with Ventura, a tall and imposing presence sporting a Rolling Stones bomber jacket and a US Navy Seals cap – both former employers of his. Other speakers at the conference included early Bitcoin adopter and investor Eric Voorhees, and Patrick Byrne, CEO of Overstock, who spoke about his new blockchain exchange that would list ICOs, and which he said had approval to operate from the US Securities and Exchange Commission. Longtime gold bug and Bitcoin sceptic Peter Schiff debated with crypto advocate Max Keiser, who in trademark showman style tore up US dollar bills on stage.

Colin Cantrell, one of the organisers of the event, said that one of the aims of Nexus was to bring great minds together and inspire change. "We’re going through a very difficult time globally, there’s a financial crisis. At times like this we need to bring people together, to inspire people to see that we have options, not to worry about the problems but focus on the solutions. We wanted to keep it balanced, everyone has their own skills to bring to the table." Music was never far away, with bands playing on site, and in the evenings a roster of acts played at venues in the centre of Aspen. Some of those who walked round the compact town centre would chance across bears that had come down from surrounding mountains to search for food ahead of their winter hibernation.

On the last night the IOHK team saw a classic American taxi pull up in Aspen. A closer inspection into the cab revealed the unlikely sight of a keyboard, drum pad and a kaleidoscope of coloured beams, and an interior of multi coloured lights and naturally, lasers. Destination unknown, the music kicked in, with Jon Barnes drumming along with a twirl of his sticks, or hammering the keyboard, whilst also managing to drive and talk. Hunter S Thompson, Aspen's countercultural son had taken a ride in Barnes's Ultimate Taxi, of course.

"Remember what Hunter said," said Barnes. "Yesterday's weirdness is tomorrow's reason why", a quote that may resonate with many blockchain fans. We stepped out of the taxi, and he had one last trick. Holding a fan of one dollar bills, he snapped his fingers and instantly they each became 20 dollar bills. And with that he drove off into the night.