Mongolia - great for Atala and Cardano pilots
Ministers and businesses are enthusiastic about blockchain
2019年 5月 16日 5 分で読めます
Think about Mongolia and the image that’s likely to spring to mind is of sweeping grasslands, mountains, freezing winters and nomads. An unlikely place you might think for ground-breaking technology, but in fact it’s a great country to do blockchain pilots. The capital, Ulaanbaatar, has almost tripled in size since 1990 and now accounts for half of the country’s three million…
Cardano 2020: delivering on the vision
New roadmap, product demos, and regular updates will highlight progress
2019年 5月 7日 4 分で読めます
Cardano is in an exciting transition stage. The project has long combined thoughtful product vision with research-driven specification and evidence-based development processes. Still committed to that rigor, we’re now making the jump to a new stage of development where first-ever-in-the-world new capabilities are delivered. The rubber is starting to hit the road. As we are…
Hundreds attend the IOHK Summit 2019 in Miami
New products, Cardano progress and industry issues in focus at event
2019年 4月 29日 7 分で読めます
Government ministers, industry professionals, and Cardano fans were at the IOHK Summit 2019 in Miami this month, excited to hear IOHK CEO Charles Hoskinson outline the future for Cardano and launch Atala, the company’s enterprise offering for business. Hosted at the Miami Beach Convention Center, the summit saw renowned speakers such as computer scientist Stephen Wolfram and…
New Shelley formal specifications complete
Formal specifications for delegation and incentives published
2019年 4月 16日 3 分で読めます
The goal of the Cardano Shelley era is to bring full decentralization to Cardano, moving beyond the federated epoch and handing control of the ledger over to the community via stake pools. As part of the process of delivering Shelley, we create formal specifications which allow us to verify that the final code is in line with what the researchers initially envisaged in their…
In at the deep end in Addis
Keen students beat challenges to discover smart contracts
2019年 4月 8日 4 分で読めます
I started with IOHK in May 2018 as a formal methods developer working on two components of Cardano, neither of which involved writing Haskell code. Because of my expertise in logic, type theory, proof assistants, and theoretical computer science, I became part of the team without having much Haskell experience, even though it is the main language we use. So, I was surprised…
最新の記事
暫定憲法委員会選挙におけるIOGの投票 筆者: Tim Harrison
27 June 2024
Ouroboros Genesisの設計更新情報 筆者: Nicolas Frisby
8 May 2024
フルP2Pノード稼働に向かって 筆者: Marcin Szamotulski
14 March 2024