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-பிட் 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 பதிப்புகளும் ›| பதிப்பு | தேதி | அளவு | கோப்புகள் |
|---|---|---|---|
| 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 பழைய பதிப்பை எங்கே பதிவிறக்கம் செய்வது?
பதிப்புகள் பக்கத்தில் அனைத்து 22 பதிப்புகளும் (29 ஆகஸ்ட், 2026 முதல்) அவற்றின் அதிகாரப்பூர்வ நிறுவிக் கோப்புகளுக்கான இணைப்புகளுடன் உள்ளன.
நிர்வாகி உரிமைகள் இல்லாமல் Verifpal பயன்படுத்த முடியுமா?
ஆம், இது போர்ட்டபிள்: பிரித்தெடுத்து (unzip) நேரடியாக இயக்கலாம்.
Verifpal மென்பொருளுக்கு மாற்றுகள் என்ன?
Cryptomator, GNU Privacy Guard, Keybase, i2pd மற்றும் KopiaUI. மாற்றுகள் பக்கத்தில் இவை ஒப்பிடப்பட்டுள்ளன.
