Proof of spaceProof of space (PoS) is a type of consensus algorithm achieved by demonstrating one's legitimate interest in a service (such as sending an email) by allocating a non-trivial amount of memory or disk space to solve a challenge presented by the service provider. The concept was formulated in 2013 by Dziembowski et al. and (with a different formulation) by Ateniese et al.. Proofs of space are very similar to proofs of work (PoW), except that instead of computation, storage is used to earn cryptocurrency.
Droit international humanitaireLe droit international humanitaire (DIH) ou droit humanitaire international (DHI), appellation de ce qui est connu traditionnellement sous le nom droit de la guerre et des gens, est un ensemble de règles qui tend à limiter les effets des opérations de guerre, en particulier à l'égard des populations et des installations civiles et des personnes qui ne participent pas ou plus aux combats (prisonniers de guerre, réfugiés), ainsi qu'en limitant les objectifs, les moyens et les armes de guerre.
Livre-codeEn cryptographie, un livre-code est un document utilisé pour chiffrer un message. Il contient une table de correspondance qui sert à la fois pour coder et décoder. Au , les livres-codes ne sont pratiquement plus utilisés, remplacés avantageusement par les algorithmes cryptographiques implantés sur ordinateurs. La plupart des livres-codes contiennent des listes de symboles, de syllabes, de mots, de paraphrases ou de phrases, chacun associé à un nombre, par exemple.
Relations internationalesLes relations internationales sont aussi appelées études internationales (en anglais International Studies (IS)). Les sujets principaux d'études y sont le droit international, la politique internationale, l'économie internationale, et l'histoire des relations internationales. Sous ces vocables, sont en général désignés l'étude des affaires étrangères et des grandes questions du système international : rôle des États, des organisations internationales, des organisations non gouvernementales (ONG) ainsi que des entreprises multinationales.
Proof calculusIn mathematical logic, a proof calculus or a proof system is built to prove statements. A proof system includes the components: Language: The set L of formulas admitted by the system, for example, propositional logic or first-order logic. Rules of inference: List of rules that can be employed to prove theorems from axioms and theorems. Axioms: Formulas in L assumed to be valid. All theorems are derived from axioms. Usually a given proof calculus encompasses more than a single particular formal system, since many proof calculi are under-determined and can be used for radically different logics.
Preuve de travailUn système de validation par preuve de travail (en anglais : proof of work, PoW) est, en informatique, un protocole permettant de repousser, sur un environnement client-serveur, des attaques par déni de service ou d'autres abus de service tels que les spams. Ce système de preuve de travail est utilisé dans des cadres beaucoup plus complexes, pour la validation des transactions de la blockchain de certaines crypto-monnaies comme le Bitcoin. Cette vérification par les mineurs de bitcoins est récompensée par l'émission de nouveaux bitcoins au bénéfice des vérificateurs.
Démonstration formelleUne démonstration formelle est une séquence finie de propositions (appelées formules bien formées dans le cas d'un langage formel) dont chacun est un axiome, une hypothèse, ou résulte des propositions précédentes dans la séquence par une règle d'inférence. La dernière proposition de la séquence est un théorème d'un système formel. La notion de théorème n'est en général pas effective, donc n'existe pas de méthode par laquelle nous pouvons à chaque fois trouver une démonstration d'une proposition donnée ou de déterminer s'il y en a une.
Règlement général sur la protection des donnéesLe règlement général sur la protection des données (RGPD, ou encore GDPR, de l'anglais « General Data Protection Regulation »), officiellement appelé règlement UE 2016/679 du Parlement européen et du Conseil du relatif à la protection des personnes physiques à l'égard du traitement des données à caractère personnel et à la libre circulation de ces données, et abrogeant la directive 95/46/CE, est un règlement de l'Union européenne qui constitue le texte de référence en matière de protection des données à car
Code (cryptography)In cryptology, a code is a method used to encrypt a message that operates at the level of meaning; that is, words or phrases are converted into something else. A code might transform "change" into "CVGDK" or "cocktail lounge". The U.S. National Security Agency defined a code as "A substitution cryptosystem in which the plaintext elements are primarily words, phrases, or sentences, and the code equivalents (called "code groups") typically consist of letters or digits (or both) in otherwise meaningless combinations of identical length.
Données personnellesUne donnée à caractère personnel ou DCP (couramment « données personnelles ») correspond en droit français à toute information relative à une personne physique identifiée ou qui peut être identifiée, directement ou indirectement, par référence à un numéro d'identification ou à un ou plusieurs éléments qui lui sont propres. En France, les données ayant été l'objet d'un procédé d'anonymisation ne sont pas considérées comme des données à caractère personnel.
