My Little Token (Part 2)
summary
Builds a collectible smart contract in Pact (Kadena’s Haskell implementation) with hands‑on examples: module and table setup via repple files, schemas and keyset auth, using end data for runtime environment, and Pact’s formal verification, governance and multi‑party escrow features. Demonstrates critter creation and a working three‑step safe transfer pattern (initiate, complete, cancel) plus simple breeding ideas using transaction hashes and blake2b512 as pseudo‑randomness. Notes limits: no bitwise ops, time/blockheight hooks are incomplete.
AI-written summary · about
chapters (5)
- 0:00Start
- 2:29Nested Schemas
- 17:15Ownership Transfers
- 20:43Permissioned Ownerships Transfers
- 30:42Simple Breeding
related talks
33mTypesafe Client for Smart Contracts
27mProtocolizing Tokenized Communities
51mA Deal with the Devil: Breaking Smart Contracts
22mStructure Without Capture
38mThe Duality of Smart Contracts and Electronic Rights
25mCommSec D2 - Smart Contract (In)Security
19mThe Pod: p-token: The Road to Mainnet
25mAsset Rights Abstractions - a Case for Smart Contract Wallets