How we use Nix at IOHK
2019年 2月 6日 10 分で読めます
IOHK has a history of putting great research into practice. This includes the use of functional programming languages, adoption of formal methods, and — of course — implementing our own peer-reviewed research into blockchain consensus algorithms. We approach the problem of software deployment in similar vein, using ideas which have emerged from recent academic work. This system…
How we use Nix at IOHK
2019年 2月 6日 10 分で読めます
IOHK has a history of putting great research into practice. This includes the use of functional programming languages, adoption of formal methods, and — of course — implementing our own peer-reviewed research into blockchain consensus algorithms. We approach the problem of software deployment in similar vein, using ideas which have emerged from recent academic work. This system…
最新の記事
Input | Output Researchがコミュニティに年度中間研究報告へのフィードバックを呼びかけ 筆者： Ivan Irakoze
29 August 2025
アイデアから実装まで：IO研究開発の考察 筆者： Nicolas Biri
26 August 2025
Cardanoのためのゼロ知識証明が実現：Halo2-Plutus検証ツール 筆者： Kris Bennett
26 August 2025