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। বিকল্প পাতায় এগুলোর তুলনা দেওয়া আছে।
