nomadic labs research seminars #20 | self-sovereign identity and storage
Published 3 years ago • 263 plays • Length 34:00Download video MP4
Download video MP3
Similar videos
-
55:31
nomadic labs research seminars #1 | bringing practical proofs to tezos with juvix
-
58:08
nomadic labs research seminars #21 | formal verification of jubjub r1cs gadgets
-
1:00:26
nomadic labs research seminars #13 | verifiable delay functions and groups of unknown order
-
54:04
nomadic labs research seminars #10 | high-level smart contract design & verification with archetype
-
58:47
nomadic labs research seminars #11 | helmholtz - a verifier for tezos smart contracts
-
57:38
nomadic labs research seminars #12 | information extraction from graphs and the tezquery tool
-
23:39
exploring transhumanism: innovations, challenges, and philosophical shifts | dr. max moore
-
51:57
tezos town hall | the inaugural town hall with arthur breitman and more
-
48:49
scaling tezos with rollups (day 01) - tezdev paris 2022
-
57:03
nomadic labs research seminars #7 | smartpy: the inner workings
-
59:14
nomadic labs research seminars #3 | plebeia: a new storage for tezos blockchain state
-
54:43
nomadic labs research seminars #14 | on oracles and contract modules
-
55:55
nomadic labs research seminars #15 | tla formal specification of bootstrapping
-
57:36
nomadic labs research seminars #19 | tenderbake: bringing deterministic finality to tezos
-
53:28
nomadic labs research seminars #5 | zkchannels on tezos
-
2:18
discover nomadic labs in 2 min! (english subs)
-
55:45
nomadic labs research seminars #8 | bringing k powered blockchain security to tezos
-
1:06:09
nomadic labs research seminars #16 | package tezos as a mirageos unikernel
-
54:39
nl research seminars #26| micse: automated verification and testing of tezos smart contracts
-
1:00:03
nomadic labs research seminars #22 | steel: extending f* with concurrency