blockpqr
@blockpqr
参加 August 2026
14 フォロー中 79 ファン
New on the blog: a primer on Cardano's extended transaction output model – how it works, why transaction validation stays predictable, and how the Agda formal ledger specification turns those properties into machine-checked proofs.
Learn more:
もっと見る
