12:36min Aparna/Vukasin on user experience for native tokens, i.e., DApp Developers, Token Issuers (Enterprise, Startups, AppDevs, Individuals) and Token End Users (Crypto holders)
13:37min Aparna/Vukasin visual chart comparing native tokens to ADA
14:37min Aparna on Devnets (pre-production environments) for native token testing coming out week of Dec 7th. Cardano Public Testnet for final native token testing before Mainnet.
17:31min Aparna/Vukasin on Token Standard Comparison visual chart, lifecycle of ERC-20 converter, interoperability
18:51min Vukasin demonstrates prototype token creation process
19:51min Aparna on user experience for Smart Contracts with visual chart, i.e. EVM vs KEVM, introduction of GLOW open source programming language from Mutual Knowledge Systems (MuKn). “We want Cardano to fit developers and not the other way around”
21:52min visual chart for source code pairing within Goguen
23:01min visual slide big Goguen overview Summary
25:23min Tim/Aparna difference between Devnets to Testnets.
27:04min Tim introduces Grigore Ros/Everett Hildenbrandt from Runtime Verification, formal verification semantics for programming languages in the smart contract space.
31:22min Runtime Verification on trends in the smart contract space, porting traditional financial instruments into the blockchain space
33:00min RTV on how DeFi will be taken seriously, need for formal verification system to build trust in the protocol to attract large monetary providers from traditional systems.
35:38min RTV on K framework overview, Goguen was Grigoro’s actual adviser
38:37min RTV on where the K framework is evolving to in terms of KEVM, quality assurance, IELE code intro, etc.
43:46min RVT on what excites them working with Cardano, top research teams, all derived from fundamental research, very scalable, aims for the long term.
48:26min Aparna introduces Fare and GLOW from Mutual Knowledge Systems (MuKn). Overview on how GLOW understands attack models, abstraction failures, misplaced trust. “Make trust assumptions explicit, KillerDApps: non-custodial DEX, decentralized oracles”
52:16min MuKn on Lower-level attacks, stolen keys, network DoS, Economic DoS (block buying a la FOMO3D), systems programming bug, distributed systems bug
1hr1min: Tim introduces Jeremy Firster from CF on Goguen collaborations, partnership strategy, use cases, transaction metadata.
1hr5min Intro to ScanTrust collaboration. Tamper-proof QR-CODE based solution for product authenticity, QA, supply chain use cases, digital identity, unique product identification technology, etc.
1hr9min: What is special about Cardano from ScanTrust perspective. Transaction metadata features help offset smart contract costs for the same use.
1hr15min: Kevin Hammond on the next hard-fork combinator event happening in December. Roll forward with new protocol, Allegra.
1hr19min: Token locking, what is it and what are the new use cases
1hr21min: enable Cardano governance mechanism, Project Catalyst. How votes are counted relative to ADA holders.
1hr23min: When will Allegra hard fork combinator happen. Full QA> testing internal>devnet> public testnet>mainnet. All over the next 3 weeks.
Next update show on Dec 17th will include what’s happening in Africa, Hydra and BASHO.