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 میں لکھا گیا ہے۔
انسٹالیشن اور سسٹم کی ضروریات
پبلشر 64 بٹ Windows کے لیے پورٹیبل انسٹالر فراہم کرتا ہے۔ یہ انسٹال کیے بغیر چلتا ہے (پورٹیبل)۔
اپ ڈیٹس اور ورژن کی تاریخ
موجودہ ورژن 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 بٹ کمپیوٹرز کے لیے دستیاب ہے۔
کیا Verifpal ڈاؤن لوڈ کرنا محفوظ ہے؟
- فائل github.com سے آتی ہے، جو پبلشر کا اپنا ڈومین ہے
- ڈاؤن لوڈ لنک HTTPS استعمال کرتا ہے
- SHA256 ہیش شائع شدہ ہے، اس لیے آپ فائل کی تصدیق کر سکتے ہیں:
982F761EDCD6C94318BB67397F5AA637B989EC52BF758D74BB79C02919008A34· اس ہیش کی VirusTotal رپورٹ کھولیں - لنک ابھی چیک نہیں ہوا
- سورس کوڈ عوامی طور پر دستیاب ہے
- ExeAtlas انسٹالرز کو نہ ہوسٹ کرتا ہے، نہ ریپ کرتا ہے اور نہ ان میں تبدیلی کرتا ہے
متعلقہ گائیڈ: Windows میں فائل کا SHA256 ہیش کیسے چیک کریں
حالیہ ورژن
تمام 22 ورژن ›کمانڈ لائن سے انسٹالیشن
خاموش انسٹالیشن ›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
- تاریخِ اجرا
- 11 اکتوبر، 2026
- فہرست میں شامل
- 26 ستمبر، 2026
- درج ورژن
- 22
- GitHub اسٹارز
- 135
- GitHub فورکس
- 16
- ویب سائٹ
- verifpal.com
- winget ID
- SymbolicSoftware.Verifpal
ریٹنگز اور تبصرے
ابھی کوئی تبصرہ نہیں۔ سب سے پہلے آپ ریٹ کریں۔
Verifpal کے متبادل
سب دیکھیں ›-
اوپن سورس1.7 لاکھ ↓ -
اوپن سورس1.9 لاکھ ↓ -
اوپن سورس36.6 ہزار ↓ -
اوپن سورس78.8 ہزار ↓ -
اوپن سورس31.8 ہزار ↓ -
اوپن سورس19.2 ہزار ↓ -
اوپن سورس15.6 ہزار ↓ -
اوپن سورس9.4 ہزار ↓
اکثر پوچھے جانے والے سوالات
کیا 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 کا پرانا ورژن کہاں سے ڈاؤن لوڈ کریں؟
ورژنز کے صفحے پر تمام 22 ورژن (29 اگست، 2026 سے) ان کی سرکاری انسٹالر فائلوں کے لنکس کے ساتھ موجود ہیں۔
کیا Verifpal ایڈمنسٹریٹر کی اجازت کے بغیر استعمال ہو سکتا ہے؟
جی ہاں، یہ پورٹیبل ہے: ان زِپ کریں اور چلائیں۔
Verifpal کے متبادل کون سے ہیں؟
Cryptomator، GNU Privacy Guard، Keybase، i2pd اور KopiaUI۔ متبادل کے صفحے پر ان کا موازنہ کیا گیا ہے۔
