2:49 Nomadic Labs, the French company that boosts Tezos (English Subtitles) Nomadic Labs 325 views - 5 years ago
55:31 Nomadic Labs Research Seminars #1 | Bringing Practical Proofs to Tezos with Juvix Nomadic Labs 763 views - 5 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 347 views - 4 years ago
1:00:03 Nomadic Labs Research Seminars #22 | Steel: Extending F* with Concurrency Nomadic Labs 161 views - 4 years ago
57:03 Nomadic Labs Research Seminars #7 | SmartPy: The inner workings Nomadic Labs 825 views - 5 years ago
58:22 Nomadic Labs Research Seminars #23 | ConCert, a framework for smart contract verification in Coq Nomadic Labs 201 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
57:36 Nomadic Labs Research Seminars #19 | Tenderbake: bringing deterministic finality to Tezos Nomadic Labs 745 views - 4 years ago
57:38 Nomadic Labs Research Seminars #12 | Information Extraction from Graphs and the TezQuery Tool Nomadic Labs 156 views - 4 years ago
54:43 Nomadic Labs Research Seminars #14 | On Oracles and Contract Modules Nomadic Labs 176 views - 4 years ago
59:14 Nomadic Labs Research Seminars #3 | Plebeia: A new storage for Tezos blockchain state Nomadic Labs 358 views - 5 years ago
34:00 Nomadic Labs Research Seminars #20 | Self-Sovereign Identity and Storage Nomadic Labs 267 views - 4 years ago
58:47 Nomadic Labs Research Seminars #11 | Helmholtz - A Verifier for Tezos Smart Contracts Nomadic Labs 213 views - 4 years ago
56:22 Kindness still exists | The valuable help of the engineer's family Nomad Engineer 6.6K views - 15 hours ago