nomadic labs research seminars #5 | zkchannels on tezos
Published 3 years ago • 384 plays • Length 53:28Download video MP4
Download video MP3
Similar videos
-
45:21
nomadic labs research seminars #9 | implementing checker, a robocoin mechanism for tezos
-
55:31
nomadic labs research seminars #1 | bringing practical proofs to tezos with juvix
-
58:47
nomadic labs research seminars #11 | helmholtz - a verifier for tezos smart contracts
-
55:45
nomadic labs research seminars #8 | bringing k powered blockchain security to tezos
-
57:36
nomadic labs research seminars #19 | tenderbake: bringing deterministic finality to tezos
-
59:14
nomadic labs research seminars #3 | plebeia: a new storage for tezos blockchain state
-
51:57
tezos town hall | the inaugural town hall with arthur breitman and more
-
17:57
la web3 de demain | valentin reçoit bryan de tezos
-
16:13
introduction to tezos smart contracts
-
1:06:09
nomadic labs research seminars #16 | package tezos as a mirageos unikernel
-
54:04
nomadic labs research seminars #10 | high-level smart contract design & verification with archetype
-
57:03
nomadic labs research seminars #7 | smartpy: the inner workings
-
55:55
nomadic labs research seminars #15 | tla formal specification of bootstrapping
-
57:38
nomadic labs research seminars #12 | information extraction from graphs and the tezquery tool
-
54:43
nomadic labs research seminars #14 | on oracles and contract modules
-
54:39
nl research seminars #26| micse: automated verification and testing of tezos smart contracts
-
55:47
nomadic labs research seminars #6 | towards mechanised verification of the ligo compiler
-
1:02:11
nomadic labs research seminars #18 | specifying a concurrent queue in multicore ocaml
-
34:00
nomadic labs research seminars #20 | self-sovereign identity and storage
-
59:38
nomadic labs research seminars #2 | verifying tezos smart contracts in the mi-cho-coq framework