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 — բաց կոդով ծրագիր Windows-ի համար («Գաղտնագրում» կատեգորիա)․ կառուցվածքներ՝ 64-բիթ։
Արդյո՞ք անվտանգ է ներբեռնել Verifpal ծրագիրը
- Ֆայլը ներբեռնվում է մշակողի սեփական տիրույթից (github.com)
- Ներբեռնման հղումն օգտագործում է HTTPS
- Հրապարակված է SHA256 հեշ, ուստի ֆայլը կարելի է ստուգել:
982F761EDCD6C94318BB67397F5AA637B989EC52BF758D74BB79C02919008A34· Բացել այս հեշի VirusTotal հաշվետվությունը - Հղումը դեռ ստուգված չէ
- Ելակետային կոդը բաց է
- ExeAtlas-ը տեղադրիչներ չի պահում, չի փաթեթավորում և չի փոփոխում
Առնչվող ուղեցույց: Ինչպես ստուգել ֆայլի SHA256 հեշը Windows-ում
Վերջին տարբերակները
Բոլոր 22 տարբերակները ›| Տարբերակ | Ամսաթիվ | Չափ | Ֆայլեր |
|---|---|---|---|
| 1.6.6Վերջինը | 11 հոկտեմբերի, 2026 թ. | — | 64-բիթ ZIP |
| 1.6.4 | 07 հոկտեմբերի, 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 հաշվետվությունը։
Ինչպե՞ս տեղադրել Verifpal ծրագիրը winget-ով
Բացեք 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։ Դրանց համեմատությունը՝ այլընտրանքների էջում։
