0.5×
0.75×
1×
1.25×
1.5×
1.75×
2×

50-01, Specification and Verification of a Blockchain Light Client

CS-550 Formal Verification

https://tube.switch.ch/videos/31d41dc3

Start playback at current position

Silence audio initially

Start playback automatically
https://tube.switch.ch/videos/31d41dc3

Start playback at current position

Silence audio initially

Start playback automatically

Don’t show title
Download video

11 September 2020, Viktor Kuncak, 45 views

Viewable by everyone. All rights reserved.

Documents