My Little Token (Part 1)
summary
Workshop shows how to build a collectible smart contract backend using Pact, Kadena’s Haskell‑implemented DSL, with hands‑on REPL/Atom demos and prebuilt binaries for install. It demonstrates concrete data layouts (tables, IDs, keyset owner type, genes as strings), deterministic execution constraints (no recursion, side effects only via table ops), tooling (typecheck, tracing, server HTTP API) and upcoming formal verification support (2.4) plus governance and multi‑party escrow features.
AI-written summary · about
chapters (12)
- 0:00Start
- 1:38Stack Build
- 5:20Blockchain 101
- 6:27What Are Smart Contracts
- 8:16Smart Contracts
- 9:27Where Can You Run Smart Contracts
- 12:15Key Management
- 12:55Formal Verification
- 13:31Unique Execution Context
- 15:33Pact File and a Repple File
- 28:44Crypto Kitties
- 40:39Critter Creation
related talks
42mTotal Smart Contracts in Pact: Model-Verified Interfaces and Governance
38mThe Duality of Smart Contracts and Electronic Rights
21mScaffold-Eth, OpenZeppelin, and EVM Optimization
51mA Deal with the Devil: Breaking Smart Contracts
17mMakerDAO Smart Contract Safety - When Billions are at Stake
42mLive coding session: Program an NFT smart contract in 30min w/ SmartPy
34mSomething good is always possible: testing smart contracts with QuickCheck
25mCommSec D2 - Smart Contract (In)Security