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 काय आहे?
Symbolic Software यांनी प्रकाशित केलेले Verifpal हे ओपन सोर्स Windows सॉफ्टवेअर आहे (श्रेणी: एन्क्रिप्शन). या कॅटलॉगच्या “एन्क्रिप्शन” श्रेणीत लोकप्रियतेनुसार ते ४७व्या स्थानावर आहे. ते Rust मध्ये लिहिलेले आहे.
इन्स्टॉलेशन आणि सिस्टम आवश्यकता
प्रकाशक 64-बिट Windows साठी पोर्टेबल इन्स्टॉलर देतो. ते इन्स्टॉल न करता चालवता येते (पोर्टेबल).
अपडेट आणि आवृत्ती इतिहास
सध्याची आवृत्ती 1.6.6 आहे, जी ११ ऑक्टोबर, २०२६ रोजी रिलीज झाली. आवृत्ती इतिहासात २९ ऑगस्ट, २०२६ पासूनची २२ रिलीज आहेत आणि ती सर्व अधिकृत फाइल्सशी जोडलेली आहेत. शेवटचे अपडेट एका महिन्यापेक्षा कमी जुने आहे.
लोकप्रियता आणि फाइल प्रकार
GitHub वर त्याच्या सोर्स कोडला (symbolicsoft/verifpal) १३५ स्टार मिळाले आहेत. याच प्रकारचे प्रोग्राम: Cryptomator, GNU Privacy Guard आणि Keybase.
GitHub वरील प्रोजेक्टचे वर्णन: “Cryptographic protocol analysis for real-world protocols.”
जमेच्या बाजू / मर्यादा
जमेच्या बाजू
- ओपन सोर्स: कोणीही त्याचा कोड पाहू आणि बिल्ड करू शकतो
- पोर्टेबल: इन्स्टॉल न करता चालते
- गेल्या दोन महिन्यांत अपडेट झाले
मर्यादा
- नेटिव्ह ARM64 बिल्ड नाही
थोडक्यात: Verifpal हे 64-बिट PC साठीचे ओपन सोर्स Windows टूल आहे (श्रेणी: एन्क्रिप्शन).
Verifpal डाउनलोड करणे सुरक्षित आहे का?
- फाइल github.com वरून येते, जे प्रकाशकाचे स्वतःचे डोमेन आहे
- डाउनलोड लिंक HTTPS वापरते
- SHA256 हॅश प्रकाशित आहे, त्यामुळे आपण फाइल तपासू शकता:
982F761EDCD6C94318BB67397F5AA637B989EC52BF758D74BB79C02919008A34· या हॅशचा VirusTotal अहवाल उघडा - लिंक अद्याप तपासलेली नाही
- सोर्स कोड सार्वजनिक आहे
- ExeAtlas इन्स्टॉलर होस्ट करत नाही, रॅप करत नाही आणि बदलत नाही
संबंधित मार्गदर्शक: Windows वर फाइलचा SHA256 हॅश कसा तपासायचा
अलीकडील आवृत्त्या
सर्व २२ आवृत्त्या ›| आवृत्ती | तारीख | आकार | फाइल्स |
|---|---|---|---|
| 1.6.6नवीनतम | ११ ऑक्टोबर, २०२६ | — | 64-बिट ZIP |
| 1.6.4 | ७ ऑक्टोबर, २०२६ | — | 64-बिट ZIP |
| 1.6.3 | २८ सप्टेंबर, २०२६ | — | 64-बिट ZIP |
| 1.6.0 | २३ सप्टेंबर, २०२६ | — | 64-बिट ZIP |
| 1.5.1 | २१ सप्टेंबर, २०२६ | — | 64-बिट ZIP |
| 1.5.0 | २० सप्टेंबर, २०२६ | — | 64-बिट ZIP |
| 1.4.12 | १७ सप्टेंबर, २०२६ | — | 64-बिट ZIP |
| 1.4.11 | १६ सप्टेंबर, २०२६ | — | 64-बिट ZIP |
कमांड लाइनवरून इन्स्टॉल करा
सायलेंट इन्स्टॉल ›winget install --id SymbolicSoftware.Verifpal -eसंबंधित मार्गदर्शक: winget कसे वापरावे: ॲप्स इन्स्टॉल आणि अपडेट करा
माहिती
- प्रकाशक
- Symbolic Software
- श्रेणी
- एन्क्रिप्शन
- लायसन्स
- GPL-3.0-only
- किंमत
- मोफत
- सोर्स कोड
- github.com/symbolicsoft/verifpal
- प्रोग्रामिंग भाषा
- Rust
- आवश्यक सिस्टम
- Windows 11 / 10
- आर्किटेक्चर
- 64-बिट
- इन्स्टॉलर
- पोर्टेबल
- आवृत्ती
- 1.6.6
- रिलीज
- ११ ऑक्टोबर, २०२६
- कॅटलॉगमध्ये जोडले
- २६ सप्टेंबर, २०२६
- नोंदवलेल्या आवृत्त्या
- 22
- GitHub स्टार
- १३५
- GitHub फोर्क
- १६
- वेबसाइट
- verifpal.com
- winget ID
- SymbolicSoftware.Verifpal
रेटिंग आणि रिव्ह्यू
अद्याप कोणताही रिव्ह्यू नाही. सर्वात आधी रेटिंग द्या.
Verifpal चे पर्याय
सर्व पाहा ›-
ओपन सोर्स१.७ लाख ↓ -
ओपन सोर्स१.९ लाख ↓ -
ओपन सोर्स३६.६ ह ↓ -
ओपन सोर्स७८.८ ह ↓ -
ओपन सोर्स३१.८ ह ↓ -
ओपन सोर्स१९.२ ह ↓ -
ओपन सोर्स१५.६ ह ↓ -
ओपन सोर्स९.४ ह ↓
वारंवार विचारले जाणारे प्रश्न
Verifpal मोफत आहे का?
हो. Verifpal हे ओपन सोर्स सॉफ्टवेअर आहे (GPL-3.0-only लायसन्स).
Verifpal डाउनलोड करणे सुरक्षित आहे का?
फाइल github.com वरून डाउनलोड होते, जो प्रकाशकाचा स्वतःचा आहे; ExeAtlas फाइल होस्ट करत नाही आणि बदलतही नाही. डाउनलोड केलेल्या फाइलचा SHA256 हॅश येथे दाखवलेल्या हॅशशी जुळवा, किंवा त्या हॅशचा VirusTotal अहवाल उघडा.
winget ने Verifpal कसे इन्स्टॉल करायचे?
PowerShell किंवा Windows Terminal उघडा आणि या पेजवर दिलेली winget कमांड चालवा. winget अधिकृत इन्स्टॉलर डाउनलोड करतो आणि चालवण्यापूर्वी त्याचा SHA256 हॅश तपासतो.
Verifpal ARM (Windows on Arm) वर चालते का?
ARM64 बिल्ड नाही; Windows 11 on Arm वर 64-बिट आवृत्ती एम्युलेशनद्वारे चालू शकते.
Verifpal ची जुनी आवृत्ती कुठून डाउनलोड करायची?
आवृत्त्यांच्या पेजवर २९ ऑगस्ट, २०२६ पासूनच्या सर्व २२ आवृत्त्या त्यांच्या अधिकृत इन्स्टॉलर फाइल्सच्या लिंकसह दिल्या आहेत.
Verifpal ॲडमिनिस्ट्रेटर अधिकारांशिवाय वापरता येते का?
हो, ते पोर्टेबल आहे: फाइल अनपॅक करा आणि चालवा.
Verifpal चे पर्याय कोणते आहेत?
Cryptomator, GNU Privacy Guard, Keybase, i2pd आणि KopiaUI. पर्यायांच्या पेजवर त्यांची तुलना दिली आहे.
