Ethereum, custom (user-defined) tokens are implemented using smart contracts to simulate the transfer of custom assets. Our approach with Cardano does not require smart contracts, because the ledger itself supports the accounting of non-ada native assets.

Another difference is that Cardano’s multi-asset ledger supports both fungible and unique, non-fungible tokens without…

I started with IOHK in May 2018 as a formal methods developer working on two components of Cardano, neither of which involved writing Haskell code. Because of my expertise in logic, type theory, proof assistants, and theoretical computer science, I became part of the team without having much Haskell experience, even though it is the main language we use. So, I was surprised…

前稿では、トランザクションのオンチェーンへの適用とスクリプトの検証結果が、トランザクションを送信する前にローカルで正確に予測可能となることを保証する、Alonzo台帳におけるトランザクションおよびスクリプト検証の決定性について考察しました。

Alonzo台帳の決定性設計が提供する保証を前提に、私たちは独自の二段階検証スキームを実装しました。これは、ノードがネットワークのトランザクションを検証するために使用するリソースを最小化するとともに、ユーザーにとって予想外となるコストを排除することを意図して設計されています。本稿では、この二段階検証の仕組みについて掘り下げます。

Shelley期、Allegra期、そしてMary…

AlonzoハードフォークによりPlutusスマートコントラクトのコア機能がCardanoにもたらされるに連れ、ますます高まる分散型ソリューションデプロイのニーズに応えるために台帳も進化します。Cardano台帳の設計は、高保証性、セキュリティ、証明されたフォーマル検証に焦点を当てています。この戦略と併せて、トランザクション処理の決定性（determinism）、すなわち、トランザクションの実行前にユーザーがその影響と結果を予測できることも重要です。

トランザクションの実行コストを保証できる機能性、そして、トランザクションが台帳上でいかに動作するかを送信前に知ることの重要性は、スマートコントラクトサポートの導入とともにさらに高まっています。Cardanoのような未使用トランザクションアウトプット（UTXO）ベースのブロックチェーンは、このような機能性を提供します。イーサリアムなどのアカウントベースのブロックチェーンは非決定性…

Ethereum, custom (user-defined) tokens are implemented using smart contracts to simulate the transfer of custom assets. Our approach with Cardano does not require smart contracts, because the ledger itself supports the accounting of non-ada native assets.

Another difference is that Cardano’s multi-asset ledger supports both fungible and unique, non-fungible tokens without…