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-ბიტიანი. მუშაობს ინსტალაციის გარეშე (პორტატული).
განახლებები და ვერსიების ისტორია
უახლესი ვერსია: 1.6.6, გამოშვების თარიღი: 11 ოქტომბერი, 2026. ვერსიების ისტორიაში 22 გამოშვებაა (პირველი: 29 აგვისტო, 2026); ყველა ოფიციალურ ფაილებზე მიუთითებს. ბოლო განახლება ერთ თვეზე ნაკლები ხნისაა.
პოპულარობა და ფაილის ტიპები
წყაროს კოდს 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 საინსტალაციო ფაილებს არ ინახავს, არ ფუთავს და არ ცვლის
დაკავშირებული ინსტრუქცია: როგორ შევამოწმოთ ფაილის SHA256 ჰეში Windows-ზე
ბოლო ვერსიები
ყველა ვერსია (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-ის ანგარიში ამ ჰეშისთვის.
როგორ დავაინსტალიროთ 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. ალტერნატივების გვერდზე ისინი შედარებულია.
