Des règles prouvées, des actes tracés, des preuves vérifiables

Lire un contrat, ligne à ligne

• [args] nomme les arguments, avec leur type et leurs bornes. Un appel hors bornes est refusé avant toute lecture.
• [ledger] désigne le registre où l'appel sera inscrit.
• [state] déclare les emplacements que le contrat lit et écrit. Leur clé se construit à partir des arguments : il ne peut toucher à rien d'autre.
• [require] : ce qui doit être vrai avant. Ici, la personne n'a pas encore consenti.
• [ensure] : ce qui sera vrai après. Ici, le consentement est enregistré.
• Le corps fait le travail avec [state:put] et [state:get]. S'il ne tient pas la promesse de [ensure], la transaction est annulée.

[keyword consentir
    [contract
        [args [sujet    :type String  :required]
              [finalite :type Integer :min 1 :max 9]]
        [ledger rgpd]
        [state [c "consent:{sujet}:{finalite}"]]
        [require "c = 0"]
        [ensure  "c = 1"]]
    [do [state:put c 1]
        "ok"]]

Consentir, retirer, et une règle pour tout le registre

• Une règle de registre. max(consent:*) <= 1 porte sur tous les emplacements dont la clé commence par consent:. Aucun contrat, même écrit plus tard, ne peut la contourner.
• La règle entre dans la preuve. Le verdict la cite dans ledger_invariants : le contrat est démontré compatible avec elle.
• Retirer est aussi simple que consentir. Les mêmes arguments, aucune condition de plus.
• L'historique est la piste d'audit. Chaque bloc garde l'appel, ses arguments et ce qu'il a écrit.

Aucune donnée personnelle dans le registre

Un registre ne s'efface pas. On n'y écrit donc que des pseudonymes, des codes et des nombres. Les données elles-mêmes vivent dans un coffre séparé, qui se rectifie et se détruit. Effacer une personne, c'est détruire son coffre et ce qui reliait son pseudonyme à elle : le registre garde la preuve que l'effacement a eu lieu, sans plus pouvoir dire de qui il s'agit.

[ledger:create rgpd]
[ledger:invariant rgpd borne "max(consent:*) <= 1"]

[keyword retirer-consentement
    [contract
        [args [sujet    :type String  :required]
              [finalite :type Integer :min 1 :max 9]]
        [ledger rgpd]
        [state [c "consent:{sujet}:{finalite}"]]
        [require "c = 1"]
        [ensure  "c = 0"]]
    [do [state:put c 0]
        "ok"]]

[contract:verify consentir]
[consentir "p-4f1c" 3]
[consentir "p-4f1c" 12]
[retirer-consentement "p-4f1c" 3]
[ledger:history rgpd]

Réponse du serveur

{ "keyword": "consentir", "ledger": "rgpd",
  "method": "static-symbolic",
  "ledger_invariants": ["borne"],
  "status": "proved", "exit": { "c": "1" } }
ok
ContractViolation: [consentir] argument finalite (@2) = 12 > max 9
ok
[ ...
  { "height": 2, "kind": "tx",
    "calls": [{ "keyword": "consentir",
                "args": ["p-4f1c", 3], "result": "ok" }],
    "writes": { "consent:p-4f1c:3": 1 },
    "hash": "sha256:4bfb5074…" },
  { "height": 3, "kind": "tx",
    "calls": [{ "keyword": "retirer-consentement",
                "args": ["p-4f1c", 3], "result": "ok" }],
    "writes": { "consent:p-4f1c:3": 0 },
    "hash": "sha256:d2bfdaf6…" } ]

Ce que contient un bloc

• L'appel : le contrat, ses arguments, son résultat, et l'empreinte du code qui a tourné. On sait quelle version de la règle s'est appliquée.
• Les lectures et les écritures : ce que le contrat a vu et ce qu'il a changé.
• La racine d'état : l'empreinte, par un arbre de Merkle, de tous les emplacements du registre après ce bloc.
• L'empreinte du bloc précédent : modifier un bloc ancien casse tous les suivants.
• La signature Ed25519 du bloc.

Rejouer

[ledger:verify] contrôle le chaînage et les signatures, puis exécute de nouveau chaque transaction avec le code enregistré. Chaque bloc doit redonner les mêmes lectures, les mêmes écritures et la même racine d'état.

Prouver hors du serveur

[ledger:proof] rend une preuve autonome : la valeur d'un emplacement, son chemin dans l'arbre de Merkle, le bloc de tête et sa signature. Un auditeur la vérifie sans interroger le registre. L'absence se prouve aussi : « cette personne n'a jamais consenti à cela ». La clé publique voyage avec la preuve : le vérificateur compare son empreinte à celle qu'il a obtenue par un autre canal.

Pour dater le registre indépendamment de celui qui l'exploite, sa tête peut être ancrée auprès d'un service d'horodatage (RFC 3161) ou par OpenTimestamps.

[ledger:block rgpd 2]

Réponse du serveur

{ "height": 2, "kind": "tx",
  "prev_hash": "sha256:689c5901…",
  "calls": [{ "keyword": "consentir",
              "code_hash": "sha256:e30597ab…",
              "args": ["p-4f1c", 3], "result": "ok" }],
  "reads":  { "consent:p-4f1c:3": { "v": null, "value": null } },
  "writes": { "consent:p-4f1c:3": 1 },
  "state_root": "sha256:7522c1a3…",
  "hash": "sha256:4bfb5074…",
  "signatures": [{ "alg": "ed25519", "key": "server",
                   "sig": "OZ7t+OQaN36Hus1F…" }] }

[ledger:verify rgpd]

$preuve = [ledger:proof rgpd "consent:p-9a20:5"]
[ledger:check-proof $preuve]

[ledger:check-proof [ledger:proof rgpd "consent:inconnu:1"]]

Réponse du serveur

{ "ledger": "rgpd", "ok": true, "height": 3,
  "blocks": 4, "signed": 4, "unsigned": 0,
  "replayed_calls": 2, "mode": "replay", "error": null }

{ "ok": true, "slot": "consent:p-9a20:5", "height": 4,
  "reason": "present", "present": true, "value": 1,
  "signed": true }

{ "ok": true, "slot": "consent:inconnu:1", "height": 4,
  "reason": "absent", "present": false,
  "signed": true }