> Η μετάφραση παρέχεται για διευκόλυνση. Κανονιστικό είναι το αγγλικό πρωτότυπο.

# Πιστοποίηση πολιτικών μηδενικής γνώσης

**Προδιαγραφή του Μετα-Σύμπαντος**

**Αναγνωριστικό εγγράφου:** MU-V2-FED-014  
**Τίτλος:** Πιστοποίηση πολιτικών μηδενικής γνώσης  
**Κατηγορία εγγράφου:** πληροφοριακό  
**Έκδοση:** 2.0 (προσχέδιο)  
**Κατάσταση:** προσχέδιο εργασίας  
**Κανονιστικές αναφορές:** καμία  
**Πληροφοριακές αναφορές:** [Security-Model](../03-federation/Security-Model.md), [Trust-Model](../03-federation/Trust-Model.md), [Decentralized-Registry](../06-ecosystem/Decentralized-Registry.md), [MMAS-Interchange](../02-architecture/MMAS-Interchange.md), [Consent-and-Disclosure](../03-federation/Consent-and-Disclosure.md)  
**Πνευματικά δικαιώματα:** © Orkestron.AI  
**Άδεια:** Apache-2.0

---

# 1. Σκοπός

Όταν πράκτορες τεχνητής νοημοσύνης *διαφορετικών οργανισμών* σχηματίζουν ομοσπονδία, κάθε πλευρά θέλει τη βεβαιότητα ότι η άλλη τηρεί τις συμφωνημένες πολιτικές ασφάλειας και συμμόρφωσης - αλλά καμία δεν θέλει να αποκαλύψει το μοντέλο, τον κώδικα ή τα δεδομένα της για να το αποδείξει. Το έγγραφο αυτό περιγράφει ένα προφίλ για την **απόδειξη συμμόρφωσης με πολιτικές χωρίς αποκάλυψη του γράφου**, με χρήση αποδείξεων μηδενικής γνώσης (ZKP) και επαληθεύσιμων διαπιστευτηρίων.

Είναι το συμπλήρωμα του [μοντέλου ασφάλειας](../03-federation/Security-Model.md) που προστατεύει την ιδιωτικότητα: το μοντέλο ασφάλειας θωρακίζει *ό,τι ανταλλάσσεται*· η πιστοποίηση επιτρέπει να εμπιστεύεσαι μια πλευρά *για ό,τι δεν ανταλλάσσει*.

---

# 2. Το πρόβλημα που λύνει

Η κλασική διασφάλιση απαιτεί επιθεώρηση: "δείξε μου τον κώδικά σου / τα δεδομένα σου / τον γράφο σου". Στην ομοσπονδία μεταξύ επιχειρήσεων αυτό συχνά είναι αδύνατο - ο γράφος είναι η πνευματική ιδιοκτησία και τα δεδομένα είναι εμπιστευτικά. Κι όμως ο καταναλωτής χρειάζεται να γνωρίζει, για παράδειγμα:

- "κάθε προβολή προσωπικών δεδομένων διέπεται από συμβόλαιο"·
- "κανένας κανόνας στο μοντέλο σου δεν επιτρέπει περαιτέρω αποκάλυψη γι' αυτόν τον σκοπό"·
- "η υλοποίησή σου συμμορφώνεται με την πολιτική συμμόρφωσης *P*".

Η πιστοποίηση απαντά σε αυτά με **αποδείξεις για ένα κρυμμένο μοντέλο**, όχι με αποκαλύψεις του.

---

# 3. Πώς λειτουργεί (εννοιολογικά)

1. Ο αποδεικνύων δεσμεύεται στο μοντέλο του μέσω του **σημασιολογικού αποτυπώματός** του
   ([MMAS-Interchange](../02-architecture/MMAS-Interchange.md)) - μιας δημόσιας,
   ανθεκτικής σε παραποίηση λαβής προς μια ιδιωτική δομή.
2. Ο αποδεικνύων παράγει μια **απόδειξη μηδενικής γνώσης** ότι ένα δηλωμένο κατηγόρημα
   ισχύει επί του δεσμευμένου μοντέλου (π.χ. "όλες οι προβολές `personal-data`
   διέπονται από συμβόλαιο"), χωρίς να αποκαλύπτει τίποτε άλλο.
3. Η απόδειξη συσκευάζεται ως **επαληθεύσιμο διαπιστευτήριο**, εκδοθέν υπό το
   [αποκεντρωμένο αναγνωριστικό](../06-ecosystem/Decentralized-Registry.md) του αποδεικνύοντος.
4. Ο επαληθευτής ελέγχει την απόδειξη έναντι του δημόσιου κατηγορήματος και του δεσμευμένου
   αποτυπώματος - και μαθαίνει *ότι η ιδιότητα ισχύει*, όχι *πώς*.

Το λεξιλόγιο των κατηγορημάτων ευθυγραμμίζεται με τη σημασιολογία κανόνων του [Policy Consistency](../02-architecture/Policy-Consistency.md), ώστε οι ίδιοι κανόνες που ελέγχονται εσωτερικά να μπορούν να πιστοποιούνται εξωτερικά.

---

# 4. Χρήση στην ομοσπονδία

- Κατά τη θεμελίωση εμπιστοσύνης, ένα Σύμπαν ΜΠΟΡΕΙ να παρουσιάσει πιστοποιήσεις πολιτικών ως
  [τεκμήρια εμπιστοσύνης](../03-federation/Trust-Model.md), ανεβάζοντας τις διαστάσεις `governance` και
  `semantic` του [διανύσματος εμπιστοσύνης](../03-federation/Security-Model.md)
  χωρίς να αποκαλύψει το μοντέλο του.
- Ένα [έγγραφο ανακάλυψης](../03-federation/Discovery.md) ΜΠΟΡΕΙ να διαφημίζει ποιες
  πιστοποιήσεις μπορεί να παράσχει ένα Σύμπαν.
- Οι πιστοποιήσεις είναι ανακλητές και χρονικά περιορισμένες, όπως κάθε διαπιστευτήριο.

---

# 5. Σχέση με την αποκάλυψη

Η πιστοποίηση ποτέ δεν αντικαθιστά τη [συναίνεση και αποκάλυψη](../03-federation/Consent-and-Disclosure.md) για τη γνώση που *όντως* μοιράζεται· διέπει τη διασφάλιση γύρω από τη γνώση που *δεν* μοιράζεται. Τα δύο συντίθενται: μοιράσου το ελάχιστο υπό συμβόλαιο και απόδειξε τα υπόλοιπα με μηδενική γνώση.

---

# 6. Κατάσταση

Πρόκειται για ένα μελλοντοστρεφές **προφίλ**, όχι για επιταγή. Εξαρτάται από μια επιλεγμένη κρυπτογραφική σουίτα και ένα σύστημα αποδείξεων κατηγορημάτων, που θα προδιαγραφούν μαζί με το κρυπτογραφικό προφίλ του μοντέλου ασφάλειας.

---

# Μελλοντικές κατευθύνσεις

- Ένα συγκεκριμένο **κρυπτογραφικό προφίλ** (σύστημα αποδείξεων, σχήμα δέσμευσης, μέθοδοι DID),
  αναπτυγμένο από κοινού με το [μοντέλο ασφάλειας](../03-federation/Security-Model.md).
- Μια **βιβλιοθήκη κατηγορημάτων** για συνήθεις δηλώσεις συμμόρφωσης (χειρισμός προσωπικών
  δεδομένων, διατήρηση, περαιτέρω αποκάλυψη, τόπος αποθήκευσης).
- **Αλυσίδωση** πιστοποιήσεων, ώστε μια ομοσπονδία συμπάντων να μπορεί να παρουσιάσει σύνθετη
  απόδειξη συμμόρφωσης από άκρο σε άκρο.

---

# Τελική δήλωση

> Η ισχυρότερη εμπιστοσύνη ανάμεσα σε αντιπάλους είναι εκείνη που δεν αποκαλύπτει τίποτε: απόδειξε
> ότι τηρείς τους κανόνες χωρίς να δείξεις τον κόσμο που έχτισες για να τους τηρείς.