55:31 Nomadic Labs Research Seminars #1 | Bringing Practical Proofs to Tezos with Juvix Nomadic Labs 763 views - 5 years ago
2:49 Nomadic Labs, the French company that boosts Tezos (English Subtitles) Nomadic Labs 325 views - 5 years ago
57:03 Nomadic Labs Research Seminars #7 | SmartPy: The inner workings Nomadic Labs 825 views - 5 years ago
0:30 Trucker's Dash Camera Records Image Of Massive Upright Beast Strange Wilderness 5.5M views - 1 year ago
58:22 Nomadic Labs Research Seminars #23 | ConCert, a framework for smart contract verification in Coq Nomadic Labs 202 views - 4 years ago
54:04 Nomadic Labs Research Seminars #10 | High-level smart contract design & verification with Archetype Nomadic Labs 417 views - 4 years ago
1:00:26 Nomadic Labs Research Seminars #13 | Verifiable Delay Functions and Groups of Unknown Order Nomadic Labs 348 views - 4 years ago
1:42:55 This is Adam, In Our Parlor, & Secret Lab Cleaner blerp !mediashare !commands Nomadic Bule 17 views - 3 months ago
34:00 Nomadic Labs Research Seminars #20 | Self-Sovereign Identity and Storage Nomadic Labs 267 views - 4 years ago
1:13:29 Nomadic Labs Research Seminars #24 | Succinct Zero-Knowledge Batch Proofs for Set Accumulators Nomadic Labs 471 views - 4 years ago
55:55 Nomadic Labs Research Seminars #15 | TLA+ Formal Specification of Bootstrapping Nomadic Labs 305 views - 4 years ago
57:36 Nomadic Labs Research Seminars #19 | Tenderbake: bringing deterministic finality to Tezos Nomadic Labs 745 views - 4 years ago
54:43 Nomadic Labs Research Seminars #14 | On Oracles and Contract Modules Nomadic Labs 176 views - 4 years ago
49:15 Nomadic Labs Research Seminars #17 | Prototype of a Typical Smart Contract Agency Nomadic Labs 294 views - 4 years ago
45:21 Nomadic Labs Research Seminars #9 | Implementing Checker, a Robocoin Mechanism for Tezos Nomadic Labs 693 views - 4 years ago