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