ByronからShelleyへ:Part1 テストネット
2020年 4月 29日 9 分で読めます
CardanoのByron(バイロン)リブート成功を受けて、Shelley(シェリー)メインネットへの段階的な移行が始まりました。これは、静的な連合システムから動的な分散型Cardanoブロックチェーンへの移行を意味します。
このプロセスは、ハイブリッド型Shelleyへのアップグレードを最終地点とする、一連のHaskell Shelleyテストネットから始まります。
Haskell Shelleyテストネットは、ステークプールオペレーターおよび一般ユーザーすなわちADA保有者の双方にとって、これまでのインセンティブ付きテストネット(ITN)とは異なる体験となります。これは、ITNとHaskellテストネットが異なるゴールを念頭において作成されているためです。
ITNはステークプールオペレーターに重要なインフラを構築する経験を提供し、その間IOHK…
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…
最新の記事
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