νέο Honest Majority by Common Prefix 27 Μαρ Lefteris Kokoris-Kogias - Coding Techniques in Walrus for Massive Storage 35 λεπτά Timestamps:(00:00) Intro(2:38) Lefteris' Role and Background in Blockchain(4:56) Development of Sui and Mist's Other Products(12:27) Technical Details of Walrus and Seal(27:36) Future of Decentralized Storage Πηγή: https://podcasters.spotify.com/pod/show/common-prefix/episodes/Lefteris-Kokoris-Kogias---Coding-Techniques-in-Walrus-for-Massive-Storage-e3h29k7
18 Μαϊ Zoe Paraskevopoulou - Can You Trust Your Smart Contracts 100%? (00:00) Intro(01:39) Journey into Blockchain(04:09) Why Formal Verification for Smart Contracts(08:39) ACT Framework(12:37) State Transition Systems & Mathematical Models(21:37) Practical Application(28:10) LLMs & The Future of Formal Verification(31:29) Vision 34 λεπτά
28 Απρ Giorgos Tsimos - Is FasterPay faster than FastPay? Timestamps:(0:00) – Intro(3:17) – Science and Engineering Synergy at Pod(9:12) – Pod Network's Latest Research(13:22) – Recovery Mechanisms(21:12) – Future Research Directions & Advice for New Researchers(26:15) – Outro 27 λεπτά
18 Μαρ Jason Milionis - Are Faster Block Times Eating up MEV? (00:00) Intro(02:00) Journey Into Blockchain Research(05:34) Explaining Loss Versus Rebalancing(12:29) Reducing Losses Through Faster Block Times(25:11) Future Research Directions(30:00) Papers and Resources 32 λεπτά