CryptomonnaieUne cryptomonnaie, dite aussi cryptoactif, cryptodevise, monnaie cryptographique ou encore cybermonnaie, est une monnaie numérique (actif numérique) émise de pair à pair, sans nécessité de banque centrale, utilisable au moyen d'un réseau informatique décentralisé. Elle utilise des technologies de cryptographie et associe l'utilisateur aux processus d'émission et de règlement des transactions. Au , selon CoinMarketCap, il existe , ou cryptomonnaies, pour une valeur de d’euros.
Portefeuille de crypto-monnaievignette| Un exemple de portefeuille bitcoin imprimable sur papier composé d'une adresse bitcoin pour la réception et de la clé privée correspondante pour les dépenses. Un portefeuille de crypto-monnaie est un dispositif, support physique, programme ou service qui stocke les clés publiques et / ou privées et peut être utilisé pour suivre la propriété, recevoir ou dépenser des crypto-monnaies. Cependant, la crypto-monnaie elle-même n'est pas dans le portefeuille.
MacOSmacOS (auparavant Mac OS X – , puis OS X) est un système d’exploitation partiellement propriétaire développé et commercialisé par Apple depuis , dont la version la plus récente est macOS Ventura () pour la version actuelle lancée le 24 octobre 2022 et macOS Monterey (12) lancée le 25 octobre 2021 pour le grand public. Avec iOS, iPadOS, watchOS et tvOS, il fait partie des systèmes d'exploitation d'Apple. macOS est le successeur de Mac OS Classic, la principale série des systèmes d'exploitation d'Apple depuis .
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Mac OS 9Mac OS 9 est la dernière révision majeure du premier système d'exploitation des ordinateurs Macintosh d'Apple. Elle est sortie le . Mac OS 9 est très semblable à son prédécesseur Mac OS 8 et il peut être considéré comme une espèce de transition avant le passage à Mac OS X, dont toutefois l'architecture est très différente. C'est néanmoins la version la plus aboutie et la plus stable du Mac OS original : contrairement aux précédentes versions, est écrit entièrement en code compatible PowerPC, ce qui améliore son fonctionnement sur les Macintosh à base de processeur PowerPC, mais qui en contrepartie écarte les premiers Macintosh à base de Motorola 68000.
Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
CardanoCardano est une blockchain open source, ainsi qu'une plateforme permettant d’exécuter des contrats intelligents . La cryptomonnaie interne de Cardano s'appelle Ada. Ce projet est dirigé par Charles Hoskinson, co-créateur d'Ethereum. Le développement du projet est supervisé par la Fondation Cardano basée à Zoug, en Suisse. Cardano est considéré par certains comme la synthèse de Bitcoin et d'Ethereum, et vise en plus à être neutre en carbone. Elle est la troisième cryptomonnaie au niveau de sa capitalisation, en date du , après Bitcoin, et Ethereum.
Digital walletA digital wallet, also known as an e-wallet, is an electronic device, online service, or software program that allows one party to make electronic transactions with another party bartering digital currency units for goods and services. This can include purchasing items either online or at the point of sale in a brick and mortar store, using either mobile payment (on a smartphone or other mobile device) or (for online buying only) using a laptop or other personal computer.
Contrat en droit suisseUn contrat en droit suisse est défini par l'article 1, alinéa premier du Code des obligations : « Le contrat est parfait lorsque les parties ont, réciproquement et d'une manière concordante, manifesté leur volonté ». Comme dans de nombreux pays de tradition juridique romano-civiliste, le contrat en droit suisse est l'échange d'au moins deux manifestations de volonté, appelées l'offre et l'acceptation, par lesquelles les parties décident de produire un effet juridique. Le contrat est donc un acte juridique bilatéral ou multilatéral.
Type constructorIn the area of mathematical logic and computer science known as type theory, a type constructor is a feature of a typed formal language that builds new types from old ones. Basic types are considered to be built using nullary type constructors. Some type constructors take another type as an argument, e.g., the constructors for product types, function types, power types and list types. New types can be defined by recursively composing type constructors.
Cryptocurrency and crimeCryptocurrency and crime describes notable examples of cybercrime related to theft (or the otherwise illegal acquisition) of cryptocurrencies and some of the methods or security vulnerabilities commonly exploited. Cryptojacking is a form of cybercrime specific to cryptocurrencies that has been used on websites to hijack a victim's resources and use them for hashing and mining cryptocurrencies. According to blockchain analysis company Chainalysis, .
Contrat intelligentLes contrats intelligents (en anglais : smart contracts) sont des protocoles informatiques qui facilitent, vérifient et exécutent la négociation ou l'exécution d'un contrat, ou qui rendent une clause contractuelle inutile (car rattachée au contrat intelligent). Les contrats intelligents ont généralement une interface utilisateur et émulent la logique des clauses contractuelles. Cependant, les contrats intelligents sont du code informatique, et si l'interface utilisateur venait à disparaître, il serait toujours possible d'interagir avec ceux-ci.
Échange de cryptomonnaiesvignette|Logos de crypto-monnaies Un échange de cryptomonnaies (aussi appelé échange de bitcoins ou échange de monnaies numériques ; en anglais, cryptocurrency exchange, bitcoin exchange, ou digital currency exchange) est une entreprise qui permet à ses clients d'échanger des monnaies cryptographiques ou numériques contre d'autres actifs, tels que de la monnaie fiduciaire classique ou d'autres monnaies cryptographiques ou numériques.
Blockchainvignette|redresse|Représentation d’une chaîne de blocs. La chaîne principale (en noir) est composée de la plus longue suite de blocs après le bloc initial (vert). Les blocs orphelins sont représentés en violet. Une blockchain, ou chaîne de blocs, est une technologie de stockage et de transmission d'informations sans autorité centrale. Techniquement, il s'agit d'une base de données distribuée dont les informations envoyées par les utilisateurs et les liens internes à la base sont vérifiés et groupés à intervalles de temps réguliers en blocs, formant ainsi une chaîne.
Adresse IPv6Une adresse IPv6 est une adresse IP de la version 6 du protocole Internet (IPv6). IPv6 a été principalement développé en réponse à la demande d'adresses qu'IPv4 ne permettait plus de contenter. Une adresse IPv6 contient 128 bits, contre 32 bits pour IPv4. On dispose ainsi de 2128 ≈ 3,4 × 1038 = 340 sextillions d'adresses IPv6, contre 232 ≈ d'adresses IPv4. Le développement rapide d'Internet a conduit à la pénurie du nombre d'adresses IPv4 disponibles. Une adresse IPv6 est longue de 128 bits, soit 16 octets, contre 32 bits, soit 4 octets, pour IPv4.
Tron (cryptocurrency)TRON is a decentralized, blockchain-based operating system with smart contract functionality, proof-of-stake principles as its consensus algorithm and a cryptocurrency native to the system, known as Tronix (TRX). It was established in March 2014 by Justin Sun and since 2017 has been overseen and supervised by the TRON Foundation, a non-profit organization in Singapore, established in the same year. It is open-source software. It was originally an Ethereum-based ERC-20 token, which switched its protocol to its own blockchain in 2018.
