54:39 NL Research Seminars #26| MicSE: Automated Verification and Testing of Tezos Smart Contracts Nomadic Labs 189 views - 3 years ago
1:01:42 NL Research Seminars #27| Testing Consensus Protocols with Mitten Nomadic Labs 106 views - 3 years ago
1:00:09 NL Research Seminars #30| GOSPEL --- The OCaml Specification Language and its Ecosystem Nomadic Labs 191 views - 3 years ago
1:23:40 NL Research Seminars #28| Analysis & Verification of the Resource Consumption of Tezos Contracts Nomadic Labs 67 views - 3 years ago
1:07:36 Nomadic Labs Research Seminars #25|Randomness generation based on publicly verifiable secret sharing Nomadic Labs 257 views - 3 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
58:22 Nomadic Labs Research Seminars #23 | ConCert, a framework for smart contract verification in Coq Nomadic Labs 201 views - 4 years ago
1:00:03 Nomadic Labs Research Seminars #22 | Steel: Extending F* with Concurrency Nomadic Labs 161 views - 4 years ago
58:08 Nomadic Labs Research Seminars #21 | Formal Verification of JubJub R1CS Gadgets Nomadic Labs 179 views - 4 years ago
34:00 Nomadic Labs Research Seminars #20 | Self-Sovereign Identity and Storage Nomadic Labs 267 views - 4 years ago
57:36 Nomadic Labs Research Seminars #19 | Tenderbake: bringing deterministic finality to Tezos Nomadic Labs 745 views - 4 years ago
1:02:11 Nomadic Labs Research Seminars #18 | Specifying a Concurrent Queue in Multicore OCaml Nomadic Labs 307 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
1:06:09 Nomadic Labs Research Seminars #16 | Package Tezos as a MirageOS Unikernel Nomadic Labs 442 views - 4 years ago
55:55 Nomadic Labs Research Seminars #15 | TLA+ Formal Specification of Bootstrapping Nomadic Labs 305 views - 4 years ago
54:43 Nomadic Labs Research Seminars #14 | On Oracles and Contract Modules Nomadic Labs 176 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
58:47 Nomadic Labs Research Seminars #11 | Helmholtz - A Verifier for Tezos Smart Contracts Nomadic Labs 213 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:04 Nomadic Labs Research Seminars #10 | High-level smart contract design & verification with Archetype Nomadic Labs 417 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
55:45 Nomadic Labs Research Seminars #8 | Bringing K Powered Blockchain Security to Tezos Nomadic Labs 209 views - 4 years ago
57:03 Nomadic Labs Research Seminars #7 | SmartPy: The inner workings Nomadic Labs 825 views - 5 years ago
55:47 Nomadic Labs Research Seminars #6 | Towards mechanised verification of the LIGO compiler Nomadic Labs 304 views - 5 years ago
57:55 Nomadic Labs Research Seminars #4 | Multicore OCaml -- what's coming in 2021 Nomadic Labs 1.2K views - 5 years ago
59:14 Nomadic Labs Research Seminars #3 | Plebeia: A new storage for Tezos blockchain state Nomadic Labs 358 views - 5 years ago
2:49 Nomadic Labs, the French company that boosts Tezos (English Subtitles) Nomadic Labs 325 views - 5 years ago
59:38 Nomadic Labs Research Seminars #2 | Verifying Tezos Smart Contracts in the Mi-Cho-Coq Framework Nomadic Labs 361 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
13:59 Tezos Developer Day - Our work with Tezos explained in 180s- NeoFacto Equisafe Sword Octo Skillz Nomadic Labs 552 views - 5 years ago
2:31 Tezos Developer Day - Aymeric Bettencourt from Octo Technology Nomadic Labs 81 views - 5 years ago
36:02 Ethereum vs Tezos - Adrian Brink from Cryptium Labs - Tezos Developer Day Nomadic Labs 729 views - 5 years ago