Nomadic Labs
Nomadic Labs
  • 55
  • 30 715
NL Research Seminars #26| MicSE: Automated Verification and Testing of Tezos Smart Contracts
In this talk, Hakjoo Oh gave an overview of the MicSE and explained the techniques behind it.
You will be able to discover the recent work on verifying and testing Tezos smart contracts. Safe smart contracts are indispensable for trustworthy blockchain ecosystems. However, writing safe smart contracts without unintended behavior is extremely difficult as even a single flaw can cause huge financial damage. To address this issue, Hakjoo & his colleagues have developed a tool called MicSE for verification and testing of smart contracts written in Michelson. Given a smart contract, MicSE first aims to verify the absence of safety bugs. When it fails to do so, MicSE attempts to produce actual input values that trigger the bugs.
Hakjoo Oh is an Associate Professor in the Computer Science Department at Korea University. He received his Bachelors degree in Computer Science from KAIST in 2005 and his PhD from Seoul National University in 2012. He was a research associate at the center of software analysis for error-free computing in SNU before joining Korea University in 2015. His research interest includes program analysis, testing, synthesis, and repair. He has published papers in top venues in programming languages, software engineering, and security such as PLDI, OOPSLA, ICSE, FSE, ASE, IEEE S&P, and USENIX Security.
มุมมอง: 173

วีดีโอ

NL Research Seminars #29| Making Byzantine Consensus Live
มุมมอง 1372 ปีที่แล้ว
In this talk, Alexey Gotsman from the IMDEA Software Institute, Madrid, Spain gave a talk about making Byzantine consensus live. Byzantine consensus and its generalization to Byzantine state-machine replication (SMR) lie at the core of blockchains, where they ensure the consistency of replicated state even in the presence of malicious replicas. Byzantine SMR protocols often guarantee safety und...
NL Research Seminars #27| Testing Consensus Protocols with Mitten
มุมมอง 952 ปีที่แล้ว
In this talk, Alain Mebsout gave an overview of the Mitten and explain its connection to Tenderbake. Alain & his colleagues designed and developed Mitten to address a simple problem: that of playing complex scenarios of Tenderbake - the upcoming distributed consensus protocol à la PBFT - on the actual implementation of the protocol in Tezos. These algorithms are notoriously tricky and hard to t...
NL Research Seminars #30| GOSPEL --- The OCaml Specification Language and its Ecosystem
มุมมอง 1602 ปีที่แล้ว
In this talk, Mário Pereira, Assistant Professor at Nova School of Science and Technology (Lisbon, Portugal), gave a talk about GOSPEL The OCaml Specification Language and its Ecosystem. OCaml seems particularly well-fitted for formal analysis of code. On the one hand, it is a multi-paradigm language with well-defined semantics, allowing one to write clean, concise, type-safe, and efficient cod...
NL Research Seminars #28| Analysis & Verification of the Resource Consumption of Tezos Contracts
มุมมอง 572 ปีที่แล้ว
In this talk, Manuel Hermenegildo gave an overview of the Resource Consumption of Tezos Contracts. An important aspect of smart contracts is their resource consumption. Manuel will present his work with colleagues Pedro López, José Morales, and Victor Pérez, on a tool for static analysis, verification, and optimization of the resources consumed by Michelson contracts on the Tezos platform. This...
Nomadic Labs Research Seminars #25|Randomness generation based on publicly verifiable secret sharing
มุมมอง 2392 ปีที่แล้ว
The Nomadic Labs Research Seminars series is dedicated to promoting and discussing the extensive list of Tezos research and development projects. The series includes live presentations from major research projects happening within the Tezos ecosystem. These hour-long sessions consist of an expert-led presentation for 45 minutes plus a 15 minutes live Q&A between developers, academics, and membe...
Nomadic Labs Research Seminars #24 | Succinct Zero-Knowledge Batch Proofs for Set Accumulators
มุมมอง 4282 ปีที่แล้ว
The Nomadic Labs Research Seminars series is dedicated to promoting and discussing the extensive list of Tezos research and development projects. The series includes live presentations from major research projects happening within the Tezos ecosystem. These hour-long sessions consist of an expert-led presentation for 45 minutes plus a 15 minutes live Q&A between developers, academics, and membe...
Nomadic Labs Research Seminars #23 | ConCert, a framework for smart contract verification in Coq
มุมมอง 1933 ปีที่แล้ว
The Nomadic Labs Research Seminars series is dedicated to promoting and discussing the extensive list of Tezos research and development projects. The series includes live presentations from major research projects happening within the Tezos ecosystem. These hour-long sessions consist of an expert-led presentation for 45 minutes plus a 15 minutes live Q&A between developers, academics, and membe...
Nomadic Labs Research Seminars #22 | Steel: Extending F* with Concurrency
มุมมอง 1433 ปีที่แล้ว
The Nomadic Labs Research Seminars series is dedicated to promoting and discussing the extensive list of Tezos research and development projects. The series includes live presentations from major research projects happening within the Tezos ecosystem. These hour-long sessions consist of an expert-led presentation for 45 minutes plus a 15 minutes live Q&A between developers, academics, and membe...
Nomadic Labs Research Seminars #21 | Formal Verification of JubJub R1CS Gadgets
มุมมอง 1643 ปีที่แล้ว
The Nomadic Labs Research Seminars series is dedicated to promoting and discussing the extensive list of Tezos research and development projects. The series includes live presentations from major research projects happening within the Tezos ecosystem. These hour-long sessions consist of an expert-led presentation for 45 minutes plus a 15 minutes live Q&A between developers, academics, and membe...
Nomadic Labs Research Seminars #20 | Self-Sovereign Identity and Storage
มุมมอง 2633 ปีที่แล้ว
The Nomadic Labs Research Seminars series is dedicated to promoting and discussing the extensive list of Tezos research and development projects. The series includes live presentations from major research projects happening within the Tezos ecosystem. These hour-long sessions consist of an expert-led presentation for 45 minutes plus a 15 minutes live Q&A between developers, academics, and membe...
Nomadic Labs Research Seminars #19 | Tenderbake: bringing deterministic finality to Tezos
มุมมอง 7393 ปีที่แล้ว
The Nomadic Labs Research Seminars series is dedicated to promoting and discussing the extensive list of Tezos research and development projects. The series includes live presentations from major research projects happening within the Tezos ecosystem. These hour-long sessions consist of an expert-led presentation for 45 minutes plus a 15 minutes live Q&A between developers, academics, and membe...
Nomadic Labs Research Seminars #18 | Specifying a Concurrent Queue in Multicore OCaml
มุมมอง 2693 ปีที่แล้ว
The Nomadic Labs Research Seminars series is dedicated to promoting and discussing the extensive list of Tezos research and development projects. The series includes live presentations from major research projects happening within the Tezos ecosystem. These hour-long sessions consist of an expert-led presentation for 45 minutes plus a 15 minutes live Q&A between developers, academics, and membe...
Nomadic Labs Research Seminars #17 | Prototype of a Typical Smart Contract Agency
มุมมอง 2733 ปีที่แล้ว
The Nomadic Labs Research Seminars series is dedicated to promoting and discussing the extensive list of Tezos research and development projects. The series includes live presentations from major research projects happening within the Tezos ecosystem. These hour-long sessions consist of an expert-led presentation for 45 minutes plus a 15 minutes live Q&A between developers, academics, and membe...
Nomadic Labs Research Seminars #16 | Package Tezos as a MirageOS Unikernel
มุมมอง 4303 ปีที่แล้ว
The Nomadic Labs Research Seminars series is dedicated to promoting and discussing the extensive list of Tezos research and development projects. The series includes live presentations from major research projects happening within the Tezos ecosystem. These hour-long sessions consist of an expert-led presentation for 45 minutes plus a 15 minutes live Q&A between developers, academics, and membe...
Nomadic Labs Research Seminars #15 | TLA+ Formal Specification of Bootstrapping
มุมมอง 2893 ปีที่แล้ว
Nomadic Labs Research Seminars #15 | TLA Formal Specification of Bootstrapping
Nomadic Labs Research Seminars #14 | On Oracles and Contract Modules
มุมมอง 1713 ปีที่แล้ว
Nomadic Labs Research Seminars #14 | On Oracles and Contract Modules
Nomadic Labs Research Seminars #13 | Verifiable Delay Functions and Groups of Unknown Order
มุมมอง 3323 ปีที่แล้ว
Nomadic Labs Research Seminars #13 | Verifiable Delay Functions and Groups of Unknown Order
Nomadic Labs Research Seminars #11 | Helmholtz - A Verifier for Tezos Smart Contracts
มุมมอง 2093 ปีที่แล้ว
Nomadic Labs Research Seminars #11 | Helmholtz - A Verifier for Tezos Smart Contracts
Nomadic Labs Research Seminars #12 | Information Extraction from Graphs and the TezQuery Tool
มุมมอง 1553 ปีที่แล้ว
Nomadic Labs Research Seminars #12 | Information Extraction from Graphs and the TezQuery Tool
Nomadic Labs Research Seminars #10 | High-level smart contract design & verification with Archetype
มุมมอง 4113 ปีที่แล้ว
Nomadic Labs Research Seminars #10 | High-level smart contract design & verification with Archetype
Nomadic Labs Research Seminars #9 | Implementing Checker, a Robocoin Mechanism for Tezos
มุมมอง 6923 ปีที่แล้ว
Nomadic Labs Research Seminars #9 | Implementing Checker, a Robocoin Mechanism for Tezos
Nomadic Labs Research Seminars #8 | Bringing K Powered Blockchain Security to Tezos
มุมมอง 2053 ปีที่แล้ว
Nomadic Labs Research Seminars #8 | Bringing K Powered Blockchain Security to Tezos
#JMLECO interview with Michel Mauny & Arthur Breitman
มุมมอง 1.2K3 ปีที่แล้ว
#JMLECO interview with Michel Mauny & Arthur Breitman
Nomadic Labs Research Seminars #7 | SmartPy: The inner workings
มุมมอง 8223 ปีที่แล้ว
Nomadic Labs Research Seminars #7 | SmartPy: The inner workings
Nomadic Labs Research Seminars #6 | Towards mechanised verification of the LIGO compiler
มุมมอง 3003 ปีที่แล้ว
Nomadic Labs Research Seminars #6 | Towards mechanised verification of the LIGO compiler
Introduction to Tezos Smart Contracts
มุมมอง 7K3 ปีที่แล้ว
Introduction to Tezos Smart Contracts
Nomadic Labs Research Seminars #5 | zkChannels on Tezos
มุมมอง 3853 ปีที่แล้ว
Nomadic Labs Research Seminars #5 | zkChannels on Tezos
Nomadic Labs Research Seminars #4 | Multicore OCaml -- what's coming in 2021
มุมมอง 1.2K4 ปีที่แล้ว
Nomadic Labs Research Seminars #4 | Multicore OCaml what's coming in 2021
Nomadic Labs Research Seminars #3 | Plebeia: A new storage for Tezos blockchain state
มุมมอง 3504 ปีที่แล้ว
Nomadic Labs Research Seminars #3 | Plebeia: A new storage for Tezos blockchain state

ความคิดเห็น

  • @RegistroDomini-u5m
    @RegistroDomini-u5m หลายเดือนก่อน

    The video is very interesting! Something I don't understand: I have USDT in my OKX wallet and I have the recovery phrase. 【pride】-【pole】-【obtain】-【together】-【second】-【when】-【future】-【mask】-【review】-【nature】-【potato】-【bulb】: How should I convert them into Bitcoin?

  • @deercreeksociety
    @deercreeksociety 8 หลายเดือนก่อน

    💯💯💯😎😎😎

  • @ojuswi
    @ojuswi ปีที่แล้ว

    This was super helpful. Thanks!

  • @farting_donkehy
    @farting_donkehy 2 ปีที่แล้ว

    Dude, this is exactly what I was looking for when I searched how to run a smart contact on Tezos. Amazing! Thank you so much!

  • @RichAyotte
    @RichAyotte 2 ปีที่แล้ว

    Tenderbake will be going live in 10 days 🎉

  • @sarvambrahmam6014
    @sarvambrahmam6014 2 ปีที่แล้ว

    Cool

  • @Kryptstar_mack
    @Kryptstar_mack 2 ปีที่แล้ว

    your video's are really helpful for getting the latest defi info. I really ppreciate the time you put in to make quality video's. I decided to start up my own using your channel as an inspiration, but with a focus on Tezo projects.

  • @AndreyTulenev
    @AndreyTulenev 2 ปีที่แล้ว

    Terrible sound

  • @withgaia3953
    @withgaia3953 2 ปีที่แล้ว

    Good stuff!

  • @SebuhHonarchian
    @SebuhHonarchian 3 ปีที่แล้ว

    Bonjour Nomadic Labs!

  • @syednoorulhassan7866
    @syednoorulhassan7866 3 ปีที่แล้ว

    اردو بولو

  • @Rashomon69
    @Rashomon69 3 ปีที่แล้ว

    Stack programming? Ugh! :(

  • @frmcf
    @frmcf 3 ปีที่แล้ว

    Michelson is so mysterious to me that it may as well be magic. I aim to remedy this.

  • @Kryptstar_mack
    @Kryptstar_mack 3 ปีที่แล้ว

    Great video! please raise the volume. Had to put my computer volume on max to hear the speakers. Would you be interested in doing an AMA on my Tezos channel?

    • @NomadicLabs
      @NomadicLabs 3 ปีที่แล้ว

      Hello Mack, we've sent you a DM on Twitter😉

  • @KiloWhiskay
    @KiloWhiskay 3 ปีที่แล้ว

    Thanks team!

  • @GildedHonour
    @GildedHonour 3 ปีที่แล้ว

    Haochen, what's the muzzle on your face for?

  • @isaacdefrain9595
    @isaacdefrain9595 3 ปีที่แล้ว

    Link to the "slides": github.com/Isaac-DeFrain/presentations/tree/main/Nomadic_scientific_seminar_5-25-2021

  • @yankeed9363
    @yankeed9363 3 ปีที่แล้ว

    When does zkChannels go live?

  • @arielgabizon78
    @arielgabizon78 3 ปีที่แล้ว

    sounds starts lagging after video in the middle. Wonder if this can be fixed

  • @ROBXAVIERHACK00ONINSTAGRAM
    @ROBXAVIERHACK00ONINSTAGRAM 3 ปีที่แล้ว

    _.Stay blessed 𝘚𝘏𝘌𝘓𝘓𝘠𝘏𝘈𝘊𝘒80 on 𝘛𝘌𝘓𝘌𝘎𝘙𝘈𝘔’._

  • @grog8164
    @grog8164 3 ปีที่แล้ว

    Many thanks. I guess at 1:10 new emitted storage are inserted into the ctx as the picture show "new storage"

  • @juneday8764
    @juneday8764 3 ปีที่แล้ว

    Thank you

  • @SuperBlobsterMan
    @SuperBlobsterMan 3 ปีที่แล้ว

    but how does this help the price of Tez go up?

    • @jackchid6040
      @jackchid6040 3 ปีที่แล้ว

      More activity on the chain, more gas for bakers/stakers -> Tez ist more lucrative to own/stake -> Tez goes up. But the current market is completely hype and bs driven, so no clue really.

  • @codinggurus6185
    @codinggurus6185 3 ปีที่แล้ว

    k

  • @alx1396
    @alx1396 3 ปีที่แล้ว

    Great video, very educative, the best risk management strategy for trad!ng is one percent rule that limits your loss to minimum amount. Having a risk management strategy is extremely important for trad!ng, and without a proper risk management strategy, losses can't be avoided. Risk management in Cryp to, Forex, Stock Mar:ket, Options and any other financiaI market is extremely important, and to become a successful trad:er, you must have a proper risk management strategy for trad!ng in financiaI mar:kets. After all, the more you’re willing to risk, the greater the potential reward. I’m not a pro tradr but I was lucky enough to make 8.5’B’T’C since late last year following the instriuctions and s!gnals from Brad Mayon. He runs program for investors/newbies who lack understanding on how trad!ng Bitcoin works, to help them utilise the volatility of the crypto mar:ket and also stack up more bitcoin. You can easily get to Brad on on (@Mayoncrypto) for ͲҽӀ-ҽցɾąʍ or ω𝐇𝓐𝓽ѕ-𝓐ρ𝐩: +4.4.7.76.5.1.0.1.9.5.3 for all Crypto related issues.

  • @michaelkernaghan8163
    @michaelkernaghan8163 3 ปีที่แล้ว

    This is excellent

  • @michaelkernaghan8163
    @michaelkernaghan8163 3 ปีที่แล้ว

    This was great! Thanks

  • @anonyfamous42
    @anonyfamous42 3 ปีที่แล้ว

    C'est quoi ce job "early architect" ?

  • @WV.84.D
    @WV.84.D 3 ปีที่แล้ว

    Excellent.

  • @isaacdefrain9595
    @isaacdefrain9595 3 ปีที่แล้ว

    Great talk, Christopher! Thanks for the incredible explanation of Juvix and formal verification.

  • @rolandinnamorato1953
    @rolandinnamorato1953 3 ปีที่แล้ว

    Please get a better mic KC

  • @jovansmith8592
    @jovansmith8592 3 ปีที่แล้ว

    Thank you for providing this video.

  • @junfuruse8479
    @junfuruse8479 4 ปีที่แล้ว

    Slides are here: www2.slideshare.net/camlspotter/plebeia-a-new-storage-for-tezos-blockchain-state

  • @vinceferraiuolo
    @vinceferraiuolo 4 ปีที่แล้ว

    Great video

  • @plawi989
    @plawi989 4 ปีที่แล้ว

    Tenderbake is coming soon 🔥

  • @plawi989
    @plawi989 4 ปีที่แล้ว

    Looking forward to the Quipuswap DEX 😎

  • @ThorkilKowalski
    @ThorkilKowalski 4 ปีที่แล้ว

    - `npm kill-sandbox -- carthage` Someone just made Cato's day.

  • @elnurmiller5170
    @elnurmiller5170 4 ปีที่แล้ว

    Thank you for this video , TEZOS see you around 2025 price around $40

  • @ondrapaulicek
    @ondrapaulicek 4 ปีที่แล้ว

    Thanks for the presentation! Solidity and LIGO comparisons were great!

  • @robertpintaric1033
    @robertpintaric1033 4 ปีที่แล้ว

    👍🏻

  • @intlrec
    @intlrec 4 ปีที่แล้ว

    Morning Session: 3:45 - 43:48 - Adrian Brink of Cryptium Labs 45:15 - 1:21:35 - LIGO language builders 1:23:16 - 1:27:03 - Laurent Kratz - Neofacto 1:27:26 - 1:29:42 - OCTO Technology 1:29:58 - 1:32:48 - Laszlo Szabo of Skillz 1:33:05 - 1:35:45 - Alain Broustail of Sword Group 1:36:05 - 1:38:27 - EquiSafe 2:04:00 - 2:51:20 - SmartPy 2:52:10 - 3:22:12 - MadFish Solutions Afternoon Session: 4:48:57 - 5:27:30 - Matej Sima of StoveLabs (implementing mini token contract with onchain callbacks) 5:28:00 - 5:59:35 - camlCase on DEXter (decentralized exchange) 6:48:05 - 7:16:15 - Nomadic Labs (building simple dApp) 7:17:20 - 7:40:00 - Head of Engineering for Truffle

  • @deanalainv
    @deanalainv 6 ปีที่แล้ว

    1st be not the last ... Tendermint x Tezos is a match made in heaven.

    • @WhatEver-xn5sn
      @WhatEver-xn5sn 5 ปีที่แล้ว

      Why is that? I understood almost nothing of this video.

  • @bookeldor
    @bookeldor 6 ปีที่แล้ว

    First.