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:
더 보기
