Protocol Labs - Channel

Protocol Labs

Protocol Labs

Protocol Labs is an innovation network driven by more than 600 teams, projects and movements in emergent technologies, working together to accelerate the R&D pipeline. We drive breakthroughs in computing to push humanity forward.

743 videos

Sort by views Sort by oldest Sorted by newest Sort by newest - no shorts

24:13

ResNetLab: Core Course Module - Content Addressing

23:34

ResNetLab: Core Course Module - Content Exchange

13:38

ResNetLab: Core Course Module - Welcome to Web 3.0

30:13

SoK: Tools for game theoretic models of security for cryptocurrencies - Sarah Azouvi

55:27

Automating Reasoning About the Future - Andreas Stuhlmüller

1:04:34

Open Source Game Theory - Andrew Critch

1:00:21

Threat Models and Approaches for AI Alignment - Rohin Shah

1:11:08

Almost an Android - Christopher James

1:01:02

Tournesol: Collaborative Content Recommendation - Lê Nguyên Hoang

43:06

How to Extract Useful Randomness from Unreliable Sources - Luisa Siniscalchi

49:24

Rinocchio: SNARKs for Ring Arithmetic - Eduardo Soria Vázquez

8:51

Content Addressing (but for real this time) - Adin

58:54

Zero Knowledge Succinct Arguments with a Linear Time Prover - Jonathan Bootle

57:09

Beyond Swapping Bits - Alfonso de la Rocha

7:32

Devnets in Kubernetes - Marcus

6:06

Replicator - Irakli

3:25

go ipfs desktop - Daniel Marti

5:25

Content Addressed Package Management - Andrew Nesbitt

2:52

Browser WebRTC - Will Scott & Volker

5:14

Geodesic - Porcu

8:27

Welcome to the Dataverse - ZX, Raúl, Nicola, Alex C, Anton

5:04

Introspecting libp2p - JS DHT edition - Vasco, Jake, guest appearance from Alex

6:03

IPFS Share v2.0 - Teri, Jessica, Lidel & Rafael

3:26

Evaluactor - Alan Shaw

1:46

FIL Message Observer - Alan Shaw

1:42

text2slate - Dietrich

6:13

Run that CID - adlrocha, thattommyhall

56:18

Towards Open and Sustainable Infrastructures for Interdisciplinary Synthesis - Joel Chan

35:43

Winkle: A Decentralized Checkpointing for Proof-of-stake Systems - Sarah Azouvi

56:47

Verifiable computation over encrypted data - Anca Nitulescu

1:01:45

The Underlay: A Distributed Public Knowledge Graph - Joel Gustafson

57:30

The Inter Cranial Abstraction System - Alan Ransil

57:29

Mapping the InterPlanetary File System - Sebastian Henningsen

57:52

Incrementally Aggregatable Vector Commitments and Applications to Verifiable Decentralized Storage

29:57

Routing Attacks in Cryptocurrencies - Maria Apostolaki

1:11:46

Topology management and gossip: the way to scale - João Leitão

49:43

An Introduction to Hybrid Information-Centric Networking - Luca Muscariello

39:26

Non-Malleable Time Lock Puzzles and Applications - Naomi Ephraim

35:28

FastPay: High-Performance Byzantine Fault Tolerant Settlement - Alberto Sonnino

37:04

Protocol Stack for the Federation of DLT Networks - Alfonso de la Rocha

39:31

The Impact of Private Global WANs on Cloud Performance - Vasilis Giotsas

23:08

Filecoin and Randomness - Juan Benet and Irene Giacomelli

17:47

Q&A with Irene Giacomelli, Juan Benet, Vitalik Buterin, & Bryan Ford

22:33

Channeling Chaos - Will Scott, Alan Shaw

17:22

Q&A with Joseph Bonneau, Kelly Olson, & Justin Drake

25:11

ETH3 Randomness - Quantum Secure VDFs - Justin Drake

16:48

Hardware Acceleration of RSA VDFs - Kelly Olson

20:29

Introduction to VDFs - Joseph Bonneau

19:20

Q&A with Luke Valenta, Alejandro Hevia, Wayne Vaughan, Nicolas Gailly, Alan Shaw, Will Scott

16:38

The Internals of Drand - Nicolas Gailly

14:55

Use Cases for Drand - Alejandro Hevia, Wayne Vaughan

17:10

The League of Entropy: Past, Present and Future - Luke Valenta & Nathan Hamiel

20:18

Why Randomness is critical for Ethereum - Vitalik Buterin

45:19

Distributed Randomness Fundamentals - Bryan Ford

3:57

Welcome and Opening - Intro to Randomness - Karola Kirsanow

40:18

Challenges in the Decentralised Web - Gareth Tyson

57:30

Perigee: Efficient Peer-to-Peer Network Design for Blockchains - Shaileshh Bojja Venkatakrishnan

None

Randomness Summit - Aug 13

5:13:13

Randomness Summit - Aug 13

1:06:33

A Unified Approach to Permissionless Protocol Security - Sreeram Kannan

57:13

The role of types in refactoring the internet and Structural type theory of higher-order languages

1:10:21

Modular Politics: Toward a Governance Layer for Online Communities - Joshua Tan

31:40

Polynomial Protocols - Ariel Gabizon

1:08:36

Splitting payments locally while routing interdimensionally - Stefanie Roos

44:51

Pulsarcast: Scalable and reliable pub-sub over P2P networks - João Antunes

50:46

ALBATROSS: publicly AttestabLe BATched Randomness based On Secret Sharing - Bernardo David

56:12

TARDIS + CRAFT: Better Randomness Beacons and MPC with Financial Penalties from Time-Lock Puzzles

48:01

Drand: Distributed, bias resistant, unpredictable and publicly verifiable randomness- Nicolas Gailly

1:26:20

SybilLimit: A Secure Decentralized Reputation System - Petar Maymounkov

54:10

The Decentralized Energy Grid: A Protocol Labs Independent Research project - Michael Hammersley

51:05

Chronofold - a data structure for versioned text - Victor Grischenko

38:29

Computable Corporations: A Practical, Enforceable link between Corporate Law & Program Execution

53:02

Agoric + Protocol Labs // Zoe and ERTP: Offer Safety for Smart Contracts - Dean Tribble

38:36

Intro to Web3 and Protocol Labs

1:16

Trust but Verify

1:06:30

LegoSNARK Modular Design and Composition of Succinct Zero Knowledge Proofs - Dario Fiore

1:05:10

Discrete Logarithms in Quasi polynomial Time in Finite Fields of Fixed Characteristic-Ben Wesolowski

33:10

Agoric + Protocol Labs // Smart Contracts - Where They've Been & Where They're Going - Bill Tulloh

32:10

Agoric + Protocol Labs // Can Blockchains Provide Rule of Law? - Kate Sills

32:32

Agoric + Protocol Labs // Part 4 - Writing Composable Smart Contracts - Mark Miller

16:10

Agoric + Protocol Labs // Part 3 - Distributed Secure Cross-chain Messages - Mark Miller

13:36

Agoric + Protocol Labs // Part 1 - Distributed Programming for a Decentralized World - Mark Miller

28:23

Agoric + Protocol Labs // Part 2 - Object-capability Programming in Javascript - Mark Miller

1:03:20

Agoric + Protocol Labs // Economics of Blockchain - Professor Jason Potts & Dr Chris Berg

56:51

Agoric + Protocol Labs // Higher-order Smart Contracts across Chains - Mark Miller

0:31

ConsensusDay 1 // Closing and Thanks - Juan Benet

14:27

ConsensusDay 1 // BAR-Fault Tolerance Consensus in Blockchain - EJ Jung

59:31

ConsensusDay 1 // Stellar Consensus Protocol - David Mazieres

6:41

ConsensusDay 1 // HoneyBadger BFT & VDF in Rust - Moyukh Sen

1:46

Lab Day 2018 // Recap

32:41

ConsensusDay 1 // Expected Consensus and Simulations - Henri Stern

3:37

Filecoin Dev Demo 05 - Playing the Replication Game

4:05

Storage & Retrieval Markets - Filecoin Research

6:18

Implementing and Optimizing Proofs-of-Replication - Filecoin Research

4:20

Filecoin Dev Demo 04 - PoRep Benchmarking Tools

3:13

Replication Game Intro - Filecoin Research

6:39

Proofs-of-Replication - Filecoin Research

8:08

ConsensusDay 1 // Welcome and Opening - Juan Benet

14:19

ConsensusDay 1 // Playground "Consensus" - Dean Tribble

2:29

ConsensusDay 1 // Leader Election Chains - Juan Benet