Nomadic Labs Research Seminars #7 | SmartPy: The inner workings

Nomadic Labs Research Seminars #17 | Prototype of a Typical Smart Contract AgencyПодробнее

Nomadic Labs - Tezos Dev Day 2020 - Official AftermovieПодробнее

Nomadic Labs Research Seminars #5 | zkChannels on TezosПодробнее

Nomadic Labs Research Seminars #8 | Bringing K Powered Blockchain Security to TezosПодробнее

Nomadic Labs Research Seminars #6 | Towards mechanised verification of the LIGO compilerПодробнее

Nomadic Labs Research Seminars #1 | Bringing Practical Proofs to Tezos with JuvixПодробнее

Nomadic Labs Research Seminars #14 | On Oracles and Contract ModulesПодробнее

Nomadic Labs Research Seminars #9 | Implementing Checker, a Robocoin Mechanism for TezosПодробнее

Nomadic Labs Research Seminars #2 | Verifying Tezos Smart Contracts in the Mi-Cho-Coq FrameworkПодробнее

Nomadic Labs Research Seminars #11 | Helmholtz - A Verifier for Tezos Smart ContractsПодробнее

Nomadic Labs Research Seminars #23 | ConCert, a framework for smart contract verification in CoqПодробнее

Nomadic Labs Research Seminars #12 | Information Extraction from Graphs and the TezQuery ToolПодробнее

Nomadic Labs Research Seminars #22 | Steel: Extending F* with ConcurrencyПодробнее

Nomadic Labs Research Seminars #4 | Multicore OCaml -- what's coming in 2021Подробнее

Nomadic Labs Research Seminars #21 | Formal Verification of JubJub R1CS GadgetsПодробнее

Nomadic Labs Research Seminars #3 | Plebeia: A new storage for Tezos blockchain stateПодробнее

Nomadic Labs Research Seminars #20 | Self-Sovereign Identity and StorageПодробнее