fix regressions

Author: corwintines

public/content/translations/el/developers/docs/smart-contracts/formal-verification/index.md

@@ -70,7 +70,7 @@ lang: el
 
 ### Ιδιότητες τύπου Hoare {#hoare-style-properties}
 
-Η [λογική Hoare](https://en.wikipedia.org/wiki/Hoare_logic) παρέχει ένα σύνολο τυπικών κανόνων για τον συλλογισμό σχετικά με τη σωστή λειτουργία των προγραμμάτων, συμπεριλαμβανομένων των έξυπνων συμβολαίων. Μια ιδιότητα τύπου Hoare αντιπροσωπεύεται από ένα τριπλό Hoare \{_P_}_c_{_Q_}, όπου το _c_ είναι ένα πρόγραμμα και τα _P_ και _Q_ είναι προτάσεις για την κατάσταση του _c_ (δηλαδή, του προγράμματος), που περιγράφονται επίσημα ως _προϋποθέσεις_ και _μετα-συνθήκες_, αντίστοιχα.
+Η [λογική Hoare](https://en.wikipedia.org/wiki/Hoare_logic) παρέχει ένα σύνολο τυπικών κανόνων για τον συλλογισμό σχετικά με τη σωστή λειτουργία των προγραμμάτων, συμπεριλαμβανομένων των έξυπνων συμβολαίων. Μια ιδιότητα τύπου Hoare αντιπροσωπεύεται από ένα τριπλό Hoare `{P}c{Q}`, όπου το `c` είναι ένα πρόγραμμα και τα `P` και `Q` είναι προτάσεις για την κατάσταση του `c` (δηλαδή, του προγράμματος), που περιγράφονται επίσημα ως _προϋποθέσεις_ και _μετα-συνθήκες_, αντίστοιχα.
 
 Μια προϋπόθεση είναι μια πρόταση που περιγράφει τις συνθήκες που απαιτούνται για τη σωστή εκτέλεση μιας συνάρτησης. Οι χρήστες που καλούν το συμβόλαιο πρέπει να ικανοποιούν αυτήν την απαίτηση. Μια μετα-συνθήκη είναι μια πρόταση που περιγράφει την κατάσταση που καθορίζει μια συνάρτηση εάν εκτελεστεί σωστά. Οι χρήστες μπορούν να αναμένουν ότι αυτή η συνθήκη θα είναι αληθής μετά την κλήση της συνάρτησης. Ένα _αμετάβλητο στοιχείο_ στη λογική Hoare είναι μια πρόταση που διατηρείται με εκτέλεση συνάρτησης (δηλαδή, δεν αλλάζει).
 

public/content/translations/el/enterprise/index.md

@@ -156,6 +156,6 @@ lang: el
 - [Lamborghini](https://venturebeat.com/games/lamborghini-and-animocas-motorverse-tap-base-blockchain-for-in-game-assets/) - _δημιουργεί in-game assets για το Web3 παιχνίδι αγώνων Motorverse της Animoca._
 - [Nike Swoosh](https://www.swoosh.nike/) — _μια πλατφόρμα NFT_
 - [Sothbebys Metaverse](https://metaverse.sothebys.com/) — _μια ψηφιακή αγορά τέχνης NFT από τη Sothebys_
-- [Soneium](https://soneium.org/) - </em x-id="4">ένα Layer 2 από τη Sony για την υποστήριξη παιχνιδιών Web3 και NFT.</em>
+- [Soneium](https://soneium.org/) - _ένα Layer 2 από τη Sony για την υποστήριξη παιχνιδιών Web3 και NFT._
 
 Αν θέλετε να προσθέσετε κάτι σε αυτήν τη λίστα, ανατρέξτε στις [οδηγίες για τη συνεισφορά](/contributing/).

public/content/translations/el/zero-knowledge-proofs/index.md

@@ -8,7 +8,7 @@ lang: el
 
 Μια απόδειξη μηδενικής γνώσης είναι ένας τρόπος απόδειξης της εγκυρότητας μιας δήλωσης χωρίς να αποκαλύπτεται η ίδια η δήλωση. Η μία πλευρά προσπαθεί να αποδείξει τη συναλλαγή, καθώς ο επικυρωτής είναι υπεύθυνος για την επιβεβαίωση αυτής της συναλλαγής.
 
-Η απόδειξη μηδενικής γνώσης παρουσιάστηκε για πρώτη φορά σε μια εργασία το 1985 με τίτλο [«Η πολυπλοκότητα της γνώσης των διαδραστικών συστημάτων απόδειξης<»](http://people.csail.mit.edu/silvio/Selected%20Scientific%20Papers/Proof%20Systems/The_Knowledge_Complexity_Of_Interactive_Proof_Systems.pdf), η οποία δίνει έναν ορισμό των αποδείξεων μηδενικής γνώσης που χρησιμοποιούνται ευρέως σήμερα:
+Η απόδειξη μηδενικής γνώσης παρουσιάστηκε για πρώτη φορά σε μια εργασία το 1985 με τίτλο [«Η πολυπλοκότητα της γνώσης των διαδραστικών συστημάτων απόδειξης»](http://people.csail.mit.edu/silvio/Selected%20Scientific%20Papers/Proof%20Systems/The_Knowledge_Complexity_Of_Interactive_Proof_Systems.pdf), η οποία δίνει έναν ορισμό των αποδείξεων μηδενικής γνώσης που χρησιμοποιούνται ευρέως σήμερα:
 
 > Ένα πρωτόκολλο απόδειξης μηδενικής γνώσης είναι μία μέθοδος μέσω της οποίας το ένα μέρος (αυτός που αποδεικνύει) **μπορεί να αποδείξει** στο άλλο μέρος (αυτόν που επικυρώνει) ότι **κάτι είναι αληθές, χωρίς να αποκαλύπτει κάποια πληροφορία** εκτός από το γεγονός ότι η συγκεκριμένη δήλωση είναι αληθής.