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 ለWindows የተሠራ ክፍት ምንጭ ሶፍትዌር ነው፤ ምድቡ “ምስጠራ” ነው። አሳታሚው Symbolic Software ነው። በዚህ ካታሎግ ውስጥ ከምድቡ ፕሮግራሞች መካከል በተወዳጅነት 47ኛ ደረጃ ላይ ይገኛል። የተጻፈው በRust ነው።
መጫን እና የሚያስፈልጉ ነገሮች
አሳታሚው ለ64-bit Windows ተንቀሳቃሽ (portable) ጫኚዎችን ያቀርባል። ሳይጫን ይሠራል (portable)።
ዝማኔዎች እና የስሪት ታሪክ
የአሁኑ ስሪት 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.”
ጥቅሞች / ጉዳቶች
ጥቅሞች
- ክፍት ምንጭ፦ ማንኛውም ሰው ኮዱን መመርመር እና መገንባት ይችላል
- ተንቀሳቃሽ (portable)፦ ሳይጫን ይሠራል
- ባለፉት ሁለት ወራት ተዘምኗል
ጉዳቶች
- የራሱ የARM64 ስሪት የለም
በአጭሩ: Verifpal ለ64-bit ኮምፒውተሮች የተሠራ ክፍት ምንጭ የWindows መሣሪያ ነው፤ ምድቡ “ምስጠራ” ነው።
Verifpalን ማውረድ ደህንነቱ የተጠበቀ ነው?
- ፋይሉ የሚቀርበው ከgithub.com ነው፤ ይህ የአሳታሚው የራሱ ጎራ ነው
- የማውረጃ አገናኙ HTTPS ይጠቀማል
- የSHA256 ሃሽ ታትሟል፤ ስለዚህ ፋይሉን ማረጋገጥ ይችላሉ:
982F761EDCD6C94318BB67397F5AA637B989EC52BF758D74BB79C02919008A34· ለዚህ ሃሽ የVirusTotal ሪፖርቱን ይክፈቱ - አገናኙ ገና አልተረጋገጠም
- የምንጭ ኮዱ ለሕዝብ ክፍት ነው
- 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
- ጫኚ
- ተንቀሳቃሽ (portable)
- ስሪት
- 1.6.6
- የተለቀቀበት
- 11 ኦክቶበር 2026
- ወደ ካታሎጉ የተጨመረበት
- 26 ሴፕቴምበር 2026
- የተዘረዘሩ ስሪቶች
- 22
- የGitHub ኮከቦች
- 135
- የ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 ፋይሉን አያስተናግድም፣ አይቀይርምም። የSHA256 ሃሹን እዚህ ከሚታየው ጋር ያነጻጽሩ፣ ወይም ለዚያ ሃሽ የVirusTotal ሪፖርቱን ይክፈቱ።
Verifpalን በwinget እንዴት መጫን ይቻላል?
PowerShell ወይም Windows Terminal ይክፈቱ እና በዚህ ገጽ ላይ የሚታየውን የwinget ትዕዛዝ ያስኪዱ። winget ይፋዊውን ጫኚ ያወርዳል፣ ከማስኬዱም በፊት የSHA256 ሃሹን ያረጋግጣል።
Verifpal በARM (Windows on Arm) ላይ ይሠራል?
የARM64 ስሪት የለም፤ Windows 11 on Arm የ64-bit ስሪቱን በኢምዩሌሽን ማስኬድ ይችላል።
የVerifpal የቆየ ስሪት ከየት ማውረድ ይቻላል?
የስሪቶች ገጹ ሁሉንም 22 ስሪቶች ከይፋዊ የመጫኛ ፋይሎቻቸው አገናኞች ጋር ይዘረዝራል፤ እስከ 29 ኦገስት 2026 ድረስ።
Verifpalን ያለ አስተዳዳሪ መብቶች መጠቀም ይቻላል?
አዎ፤ ተንቀሳቃሽ (portable) ነው፦ ይፍቱት እና ያስኪዱት።
የVerifpal አማራጮች ምንድን ናቸው?
Cryptomator፣ GNU Privacy Guard፣ Keybase፣ i2pd እና KopiaUI። የአማራጮች ገጹ ያነጻጽራቸዋል።
