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 సాఫ్ట్‌వేర్ (వర్గం: ఎన్‌క్రిప్షన్). ఈ కేటలాగ్‌లోని “ఎన్‌క్రిప్షన్” వర్గంలో జనాదరణ పరంగా ఇది 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-బిట్ PCల కోసం ఒక ఓపెన్ సోర్స్ Windows టూల్ (వర్గం: ఎన్‌క్రిప్షన్).
Verifpal డౌన్‌లోడ్ చేయడం సురక్షితమేనా?
- ఫైల్ github.com నుంచి వస్తుంది, అది ప్రచురణకర్త సొంత డొమైన్
- డౌన్‌లోడ్ లింక్ HTTPS వాడుతుంది
- SHA256 హ్యాష్ ప్రచురించబడింది, కాబట్టి మీరు ఫైల్‌ను తనిఖీ చేయవచ్చు:
982F761EDCD6C94318BB67397F5AA637B989EC52BF758D74BB79C02919008A34· ఈ హ్యాష్ VirusTotal రిపోర్ట్ తెరవండి - లింక్ ఇంకా తనిఖీ చేయలేదు
- సోర్స్ కోడ్ పబ్లిక్‌గా అందుబాటులో ఉంది
- ExeAtlas ఇన్‌స్టాలర్‌ను హోస్ట్ చేయదు, రాప్ చేయదు, మార్చదు
సంబంధిత గైడ్: Windowsలో ఫైల్ SHA256 హ్యాష్ ఎలా చెక్ చేయాలి
ఇటీవలి వెర్షన్లు
మొత్తం 22 వెర్షన్లు ›| వెర్షన్ | తేదీ | సైజ్ | ఫైల్‌లు |
|---|---|---|---|
| 1.6.6తాజా | 11 అక్టోబర్, 2026 | — | 64-బిట్ ZIP |
| 1.6.4 | 7 అక్టోబర్, 2026 | — | 64-బిట్ ZIP |
| 1.6.3 | 28 సెప్టెంబర్, 2026 | — | 64-బిట్ ZIP |
| 1.6.0 | 23 సెప్టెంబర్, 2026 | — | 64-బిట్ ZIP |
| 1.5.1 | 21 సెప్టెంబర్, 2026 | — | 64-బిట్ ZIP |
| 1.5.0 | 20 సెప్టెంబర్, 2026 | — | 64-బిట్ ZIP |
| 1.4.12 | 17 సెప్టెంబర్, 2026 | — | 64-బిట్ ZIP |
| 1.4.11 | 16 సెప్టెంబర్, 2026 | — | 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
- విడుదల
- 11 అక్టోబర్, 2026
- కేటలాగ్‌లో చేర్చినది
- 26 సెప్టెంబర్, 2026
- నమోదైన వెర్షన్లు
- 22
- GitHub స్టార్‌లు
- 135
- GitHub ఫోర్క్‌లు
- 16
- వెబ్‌సైట్
- verifpal.com
- winget ID
- 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 రిపోర్ట్ తెరవండి.
winget తో Verifpal ఎలా ఇన్‌స్టాల్ చేయాలి?
PowerShell లేదా Windows Terminal తెరిచి, ఈ పేజీలో ఉన్న winget కమాండ్ రన్ చేయండి. winget అధికారిక ఇన్‌స్టాలర్‌ను డౌన్‌లోడ్ చేసి, రన్ చేసే ముందు దాని SHA256 హ్యాష్ తనిఖీ చేస్తుంది.
Verifpal ARM (Windows on Arm)లో పనిచేస్తుందా?
ARM64 బిల్డ్ లేదు; Windows 11 on Armలో 64-బిట్ వెర్షన్ ఎమ్యులేషన్ ద్వారా రన్ కావచ్చు.
Verifpal పాత వెర్షన్ ఎక్కడ డౌన్‌లోడ్ చేయాలి?
వెర్షన్ల పేజీలో 29 ఆగస్టు, 2026 నుంచి ఇప్పటి వరకు మొత్తం 22 వెర్షన్లు, వాటి అధికారిక ఇన్‌స్టాలర్ ఫైల్‌ల లింక్‌లతో ఉన్నాయి.
అడ్మినిస్ట్రేటర్ హక్కులు లేకుండా Verifpal వాడవచ్చా?
అవును, ఇది పోర్టబుల్: ఫైల్‌ను అన్‌ప్యాక్ చేసి రన్ చేయండి.
Verifpalకు ప్రత్యామ్నాయాలు ఏవి?
Cryptomator, GNU Privacy Guard, Keybase, i2pd మరియు KopiaUI. ప్రత్యామ్నాయాల పేజీలో వీటి పోలిక ఉంది.
