ブログ > 2020

Merging formal methods and agile development to build Cardano

IOHK formal methods director Philipp Kant lays out our methodology for building software with flexibility and precision

2020年 4月 9日 Philipp Kant 7 分で読めます

Merging formal methods and agile development to build Cardano

Form and function

IOHK is building Cardano into a global financial and social operating system. This enormous task requires both quick iteration and absolute precision. It is why IOHK has chosen to combine the speed of agile development with high assurance code and formal methods. Fusing flexibility and formality led our engineers to pioneer this modern development philosophy.

Architecting Shelley: an interview with Duncan Coutts

A fireside chat with Duncan Coutts, Cardano's chief technical architect, about Haskell and delivering Shelley

2020年 4月 7日 Eric Czuleger 6 分で読めます

Architecting Shelley: an interview with Duncan Coutts

Duncan Coutts has been an important guide on the road to the Cardano Shelley mainnet. Long time supporters of IOHK are likely familiar with his signature long hair, beard, and penchant for drinking tea while discussing decentralization in front of a white board. He recently sat down for an interview to discuss the upcoming Byron reboot, the Haskell Shelley testnet, and the…

Daedalusのテストプログラムにご協力ください!

CardanoコミュニティにShelley期用IOHK ADAウォレット開発の協力求む

2020年 4月 1日 Anthony Quinn 8 分で読めます

Daedalusのテストプログラムにご協力ください!

Daedalusチームは、IOHKのウォレットのテストプログラムをADA保有者に開放します。この目的は幅広い人々からの協力を得て、段階的に次のDaedalusリリースに搭載予定の最新インターフェイス機能をテストすることです。これは、Daedalus Flight(ダイダロスフライト)と呼ばれるフル機能搭載のウォレットバージョンで、通常通りADAの送受信を実行できることに加え、チームが各リリースでユーザーエクスペリエンスを向上させるための貴重なフィードバックを得ることを可能にします。

参加を希望者へその詳細をお届けするため、DaedalusプロダクトマネージャーのDarko Mijićに質問してみました。

Darko、このプログラムの基になったアイデアを聞かせてください。

私は4年ほどIOHK…

CardanoにおけるByronリブートの意義

Shelley準備に向けて、ネットワークとDaedalusユーザーに大きな利益をもたらす新コード

2020年 3月 30日 Tim Harrison 6 分で読めます

CardanoにおけるByronリブートの意義

Byronリブートとは、Cardanoネットワークにおける複数コンポーネントの一連の更新を指します。ここにはすなわち、Cardanoノードのみならず、Cardanoエクスプローラー、ウォレットバックエンド、そしてDaedalusウォレットそのものが含まれます。まったく新しいノード実装を行うByronリブートの第一段階は、既にネットワークの一部のリレーノードにデプロイされ、今後数週間内にコアネットワークノードとより多くのリレーが徐々に新システムにアップグレードされます。まもなく、ユーザーは新バージョンのDaedalusウォレットを通じて、ノードの向上を直接体験できるでしょう。

リブートが必要な理由

これは将来、そしてShelleyに向けた準備です。Byron…

Enter the Hydra: scaling distributed ledgers, the evidence-based way

Learn about Hydra: the multi-headed ledger protocol

2020年 3月 26日 Prof Aggelos Kiayias 10 分で読めます

Enter the Hydra: scaling distributed ledgers, the evidence-based way

Scalability is the greatest challenge to blockchain adoption. By applying a principled, evidence-based approach, we have arrived at a solution for Cardano and networks similar to it: Hydra. Hydra is the culmination of extensive research, and a decisive step in enabling decentralized networks to securely scale to global requirements.

What is scalability and how do we measure it?

Scaling a distributed ledger system refers to the capability of providing high transaction throughput, low latency, and minimal storage per node. These properties have been repeatedly touted as critical for the successful deployment of blockchain protocols as part of real-world systems. In terms of throughput, the VISA network reportedly handles an average of 1,736 payment transactions per second (TPS) with the capability of handling up to 24,000 TPS and is frequently used as a baseline comparison. Transaction…