Verifpal is a symbolic formal verification tool for cryptographic protocols. You
describe a protocol in the Verifpal language, state security queries about it, and
Verifpal searches for an attack that breaks them, printing the trace of any attack
it finds.
Περιγραφή του εκδότη (Αγγλικά)
Τι είναι το Verifpal;
Το Verifpal κυκλοφορεί από τον εκδότη Symbolic Software και είναι λογισμικό ανοιχτού κώδικα για Windows της κατηγορίας «Κρυπτογράφηση». Στην κατηγορία «Κρυπτογράφηση» του καταλόγου βρίσκεται στη θέση 47 σε δημοτικότητα. Γλώσσα προγραμματισμού: Rust.
Εγκατάσταση και απαιτήσεις
Ο εκδότης διαθέτει αρχεία εγκατάστασης Φορητό για Windows 64-bit. Λειτουργεί χωρίς εγκατάσταση (φορητή έκδοση).
Ενημερώσεις και ιστορικό εκδόσεων
Η τρέχουσα έκδοση είναι η 1.6.6 (κυκλοφορία: 11 Οκτωβρίου 2026). Το ιστορικό εκδόσεων ξεκινά από τις 29 Αυγούστου 2026 και περιλαμβάνει 22 κυκλοφορίες, όλες με συνδέσμους προς τα επίσημα αρχεία. Η τελευταία ενημέρωση έγινε πριν από λιγότερο από έναν μήνα.
Δημοτικότητα και τύποι αρχείων
Ο πηγαίος κώδικας στο GitHub (symbolicsoft/verifpal) έχει 135 αστέρια. Παρόμοια προγράμματα: Cryptomator, GNU Privacy Guard και Keybase.
Περιγραφή του έργου στο GitHub: “Cryptographic protocol analysis for real-world protocols.”
Πλεονεκτήματα / Μειονεκτήματα
Πλεονεκτήματα
- Ανοιχτός κώδικας: ο καθένας μπορεί να τον ελέγξει και να τον μεταγλωττίσει
- Φορητό: λειτουργεί χωρίς εγκατάσταση
- Ενημερώθηκε τους τελευταίους δύο μήνες
Μειονεκτήματα
- Δεν υπάρχει εγγενής έκδοση ARM64
Συνοπτικά: Το Verifpal είναι εργαλείο ανοιχτού κώδικα της κατηγορίας «Κρυπτογράφηση» για υπολογιστές 64-bit.
Είναι ασφαλής η λήψη του Verifpal;
- Το αρχείο διατίθεται από το github.com, τον τομέα του ίδιου του εκδότη
- Ο σύνδεσμος λήψης χρησιμοποιεί HTTPS
- Δημοσιεύεται hash SHA256, οπότε μπορείτε να επαληθεύσετε το αρχείο:
982F761EDCD6C94318BB67397F5AA637B989EC52BF758D74BB79C02919008A34· Άνοιγμα της αναφοράς VirusTotal για αυτό το hash - Ο σύνδεσμος δεν έχει ελεγχθεί ακόμη
- Ο πηγαίος κώδικας είναι δημόσιος
- Το ExeAtlas δεν φιλοξενεί, δεν τυλίγει και δεν τροποποιεί αρχεία εγκατάστασης
Σχετικός οδηγός: Έλεγχος SHA256 αρχείου στα Windows
Πρόσφατες εκδόσεις
Και οι 22 εκδόσεις ›| Έκδοση | Ημερομηνία | Μέγεθος | Αρχεία |
|---|---|---|---|
| 1.6.6Τελευταία | 11 Οκτωβρίου 2026 | — | 64-bit ZIP |
| 1.6.4 | 7 Οκτωβρίου 2026 | — | 64-bit ZIP |
| 1.6.3 | 28 Σεπτεμβρίου 2026 | — | 64-bit ZIP |
| 1.6.0 | 23 Σεπτεμβρίου 2026 | — | 64-bit ZIP |
| 1.5.1 | 21 Σεπτεμβρίου 2026 | — | 64-bit ZIP |
| 1.5.0 | 20 Σεπτεμβρίου 2026 | — | 64-bit ZIP |
| 1.4.12 | 17 Σεπτεμβρίου 2026 | — | 64-bit ZIP |
| 1.4.11 | 16 Σεπτεμβρίου 2026 | — | 64-bit ZIP |
Εγκατάσταση από τη γραμμή εντολών
Αθόρυβη εγκατάσταση ›winget install --id SymbolicSoftware.Verifpal -eΣχετικός οδηγός: Οδηγός winget: εγκατάσταση και ενημέρωση προγραμμάτων
Πληροφορίες
- Εκδότης
- Symbolic Software
- Κατηγορία
- Κρυπτογράφηση
- Άδεια
- GPL-3.0-only
- Τιμή
- Δωρεάν
- Πηγαίος κώδικας
- github.com/symbolicsoft/verifpal
- Γλώσσα προγραμματισμού
- Rust
- Απαιτήσεις
- Windows 11 / 10
- Αρχιτεκτονική
- 64-bit
- Αρχείο εγκατάστασης
- Φορητό
- Έκδοση
- 1.6.6
- Κυκλοφορία
- 11 Οκτωβρίου 2026
- Προστέθηκε στον κατάλογο
- 26 Σεπτεμβρίου 2026
- Καταγεγραμμένες εκδόσεις
- 22
- Αστέρια GitHub
- 135
- Forks στο GitHub
- 16
- Ιστότοπος
- verifpal.com
- Αναγνωριστικό winget
- SymbolicSoftware.Verifpal
Βαθμολογίες και κριτικές
Δεν υπάρχουν ακόμη κριτικές. Γίνετε οι πρώτοι που θα βαθμολογήσουν.
Εναλλακτικά του Verifpal
Όλα ›-
Ανοιχτού κώδικα166,2 χιλ. ↓ -
Ανοιχτού κώδικα186,1 χιλ. ↓ -
Ανοιχτού κώδικα36,6 χιλ. ↓ -
Ανοιχτού κώδικα78,8 χιλ. ↓ -
Ανοιχτού κώδικα31,8 χιλ. ↓ -
Ανοιχτού κώδικα19,2 χιλ. ↓ -
Ανοιχτού κώδικα15,6 χιλ. ↓ -
Ανοιχτού κώδικα9,4 χιλ. ↓
Συχνές ερωτήσεις
Είναι δωρεάν το Verifpal;
Ναι. Το Verifpal είναι λογισμικό ανοιχτού κώδικα με άδεια GPL-3.0-only και η λήψη και η χρήση του είναι δωρεάν.
Είναι ασφαλής η λήψη του Verifpal;
Το αρχείο κατεβαίνει από το github.com, που ανήκει στον εκδότη· το ExeAtlas δεν φιλοξενεί ούτε τροποποιεί το αρχείο. Συγκρίνετε το hash SHA256 του αρχείου με αυτό που εμφανίζεται εδώ ή ανοίξτε την αναφορά VirusTotal για αυτό το hash.
Πώς εγκαθίσταται το Verifpal με το winget;
Ανοίξτε το PowerShell ή το Windows Terminal και εκτελέστε την εντολή winget που εμφανίζεται σε αυτή τη σελίδα. Το winget κατεβάζει το επίσημο αρχείο εγκατάστασης και ελέγχει το hash SHA256 πριν το εκτελέσει.
Λειτουργεί το Verifpal σε ARM (Windows on Arm);
Δεν υπάρχει έκδοση ARM64· τα Windows 11 on Arm μπορούν να εκτελέσουν την έκδοση 64-bit μέσω εξομοίωσης.
Πού μπορώ να κατεβάσω παλαιότερη έκδοση του Verifpal;
Η σελίδα εκδόσεων περιλαμβάνει και τις 22 εκδόσεις με συνδέσμους προς τα επίσημα αρχεία εγκατάστασης, από τις 29 Αυγούστου 2026 και μετά.
Μπορώ να χρησιμοποιήσω το Verifpal χωρίς δικαιώματα διαχειριστή;
Ναι, είναι φορητό: αρκεί να το αποσυμπιέσετε και να το εκτελέσετε.
Ποια είναι τα εναλλακτικά του Verifpal;
Cryptomator, GNU Privacy Guard, Keybase, i2pd και KopiaUI. Η σελίδα εναλλακτικών τα συγκρίνει.
