blockpqr(@blockpqr):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: https://t.co/J2dvaiGfTG

2026.11.05 12:51

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:

轉發到社區

熱門用戶

4.3M 粉絲

26.5M 粉絲

2M 粉絲

579.2K 粉絲

28.3K 粉絲

101.8K 粉絲

260.1K 粉絲

40.7K 粉絲

3.4M 粉絲

182.9K 粉絲

549.8K 粉絲

140.2K 粉絲

233.2K 粉絲

111K 粉絲

2.1M 粉絲