ブログ > 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日 7 分で読めます
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日 6 分で読めます
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チームは、IOHKのウォレットのテストプログラムをADA保有者に開放します。この目的は幅広い人々からの協力を得て、段階的に次のDaedalusリリースに搭載予定の最新インターフェイス機能をテストすることです。これは、Daedalus Flight(ダイダロスフライト)と呼ばれるフル機能搭載のウォレットバージョンで、通常通りADAの送受信を実行できることに加え、チームが各リリースでユーザーエクスペリエンスを向上させるための貴重なフィードバックを得ることを可能にします。
参加を希望者へその詳細をお届けするため、DaedalusプロダクトマネージャーのDarko Mijićに質問してみました。
Darko、このプログラムの基になったアイデアを聞かせてください。
私は4年ほどIOHK…
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日 10 分で読めます
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…
最新の記事
Input | Output chief scientist receives prestigious Lovelace computing award 筆者: Fergie Miller
3 December 2024
Delivering change in Ethiopia: lessons and reflections 筆者: Staff Writer
28 November 2024
Applying formal methods at Input | Output: real-world examples 筆者: James Chapman
26 November 2024