Outils logiciels pour les cours Paris II

Cours Paris II

Stages/ Thèses/ Séminaires

Laboratoire

edit SideBar

B D10b

Vérification et Régulation

Tableau cours 13 et suivants

  • Vérifier f(x,y)= z, par exemple 25*13=325 ou Inverse(A)=B. Preuve par 9, A*B=I.
  • Techniques élémentaires: chiffrement et fonction de hâchage
  • Bitcoin: protocole distribué pour maintenir une chaine de blocs cohérente.
  • Autres cryptomonnaies
  • Applications: maintenir une information incontestée
    • Education: valider les diplômes et les cours
    • Cadastre: valider les terrains et leur droits
    • Gestion de conteneurs: chaine de transport
    • Parts d'une société (jetons)
    • NFT (Non Fungible Tokens): marché de l'art
  • Algorithmes probabilistes
    • Correcteur arithmétique
    • Application au marquage des circuits
UP2