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