ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

3,339 results

TLA+ - The Temporal Logic of Actions
Verifying Payment Channels with TLA+ - Matthias Grundmann

Bitcoin introduced a way to perform decentralized payments without a trusted third party. However, Bitcoin does not scale in the ...

41:25
Verifying Payment Channels with TLA+ - Matthias Grundmann

895 views

4 years ago

Clermontech
APIHour #65 - Charles Olivier-Anclin : Paiement par carte et vie privée

La norme EMV est le système de paiement que nous utilisons tous. Les paiements EMV ne sont ni anonymes ni privés.

16:02
APIHour #65 - Charles Olivier-Anclin : Paiement par carte et vie privée

29 views

1 year ago