What if you could take a smart contract, written using a modern language like Python, TypeScript, or Scala, and run it on Bitcoin without modifying Bitcoin itself?

Thanks to a novel compilation pipeline being developed at Input | Output (IO), that idea is becoming a reality. By combining a serialized smart contract format (Untyped Plutus Core – UPLC), a clever interpreter architecture (Control, Environment, Continuation (CEK) machine), and a widely supported open-source reduced instruction set architecture (RISC-V), IO…

On Cardano, smart contracts are written in powerful surface languages, such as Plinth, Aiken, and Plu–ts, among others. These contracts control real, valuable assets. If they fail, funds could be stolen or permanently locked.

Input | Output (IO) is developing a new tool to bring formal verification to Cardano smart contracts. While existing tools in the ecosystem – based on…

In the second installment of the Cardano R&D Sessions – a monthly series exploring the forefront of blockchain research and development – Input | Output Research (IOR), in collaboration with the Intersect Research Working Group, hosted a dynamic discussion on one of the ecosystem’s most pressing and complex topics: tokenomics.

Bringing together leading researchers and…

数学的基礎と形式的検証アプローチによって、Cardanoはブロックチェーンのセキュリティと信頼性の第一人者としての地位を確立した。しかし、卓越したセキュリティを保証するこれらのアーキテクチャーの選択は、専門知識、ツール、インフラへの多額の先行投資を必要とする開発者エクスペリエンスを生み出した。その結果、技術的に最高レベルの堅牢性を誇るブロックチェーンは、多くの開発者にとって構築が困難であり、その強力な技術的優位性にもかかわらず、エコシステムの成長が妨げられている。

これを受けて、Input | Output (IO)は現在Project Acropolisに取り組んでいる。これはCardanoノードアーキテクチャーの根本的な再構築である。Acropolis…

本学会のための論文選考は熾烈を極め、応募論文624本中受理されたのはわずか123本だった。これらの研究はSpringerのLecture Notes in Computer Science全8巻にまとめられ、セキュアなマルチパーティコンピュテーション、公開鍵暗号、高度な暗号プロトコル、ゼロ知識証明、応用暗号などの重要な分野に及んでいる。

注目すべき点としては、IBMによるSNOVAの暗号解析や、より高次元のアイソジェニーを利用したコンパクトな公開鍵暗号方式の開発などが挙げられる。このイベントは、IMDEA Software Institute、マドリードカルロス3世大学、マドリードコンプルテンセ大学が共催し、Apple、Google、Huawei、IBM、Midnightなどの主要なテクノロジースポンサーから惜しみないサポートを受けた。

CTB…