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
การติดตั้งและความต้องการของระบบ
ผู้เผยแพร่มีตัวติดตั้ง พกพา (Portable) สำหรับระบบ 64 บิต ใช้งานได้โดยไม่ต้องติดตั้ง (แบบพกพา)
การอัปเดตและประวัติเวอร์ชัน
เวอร์ชันล่าสุดคือ 1.6.6 เผยแพร่เมื่อ 11 ตุลาคม 2569 ประวัติเวอร์ชันย้อนไปถึง 29 สิงหาคม 2569 รวม 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 ไม่เก็บ ไม่ห่อหุ้ม และไม่แก้ไขตัวติดตั้ง
คู่มือที่เกี่ยวข้อง: วิธีตรวจค่าแฮช SHA256 ของไฟล์บน Windows
เวอร์ชันล่าสุด
ทั้งหมด 22 เวอร์ชัน ›| เวอร์ชัน | วันที่ | ขนาด | ไฟล์ |
|---|---|---|---|
| 1.6.6ล่าสุด | 11 ตุลาคม 2569 | — | 64 บิต ZIP |
| 1.6.4 | 7 ตุลาคม 2569 | — | 64 บิต ZIP |
| 1.6.3 | 28 กันยายน 2569 | — | 64 บิต ZIP |
| 1.6.0 | 23 กันยายน 2569 | — | 64 บิต ZIP |
| 1.5.1 | 21 กันยายน 2569 | — | 64 บิต ZIP |
| 1.5.0 | 20 กันยายน 2569 | — | 64 บิต ZIP |
| 1.4.12 | 17 กันยายน 2569 | — | 64 บิต ZIP |
| 1.4.11 | 16 กันยายน 2569 | — | 64 บิต ZIP |
ติดตั้งผ่านบรรทัดคำสั่ง
ติดตั้งแบบเงียบ ›winget install --id SymbolicSoftware.Verifpal -eคู่มือที่เกี่ยวข้อง: วิธีใช้ winget ติดตั้งและอัปเดตโปรแกรม
ข้อมูล
- ผู้เผยแพร่
- Symbolic Software
- หมวดหมู่
- การเข้ารหัส
- สัญญาอนุญาต
- GPL-3.0-only
- ราคา
- ฟรี
- ซอร์สโค้ด
- github.com/symbolicsoft/verifpal
- เขียนด้วยภาษา
- Rust
- ระบบที่ต้องการ
- Windows 11 / 10
- สถาปัตยกรรม
- 64 บิต
- ตัวติดตั้ง
- พกพา (Portable)
- เวอร์ชัน
- 1.6.6
- วันที่เผยแพร่
- 11 ตุลาคม 2569
- เพิ่มเข้าแค็ตตาล็อก
- 26 กันยายน 2569
- จำนวนเวอร์ชันในรายการ
- 22
- ดาว GitHub
- 135
- GitHub fork
- 16
- เว็บไซต์
- verifpal.com
- winget ID
- SymbolicSoftware.Verifpal
คะแนนและรีวิว
ยังไม่มีรีวิว ร่วมให้คะแนนเป็นคนแรก
โปรแกรมทดแทน Verifpal
ดูทั้งหมด ›-
โอเพนซอร์ส166.2K ↓ -
โอเพนซอร์ส186.1K ↓ -
โอเพนซอร์ส36.6K ↓ -
โอเพนซอร์ส78.8K ↓ -
โอเพนซอร์ส31.8K ↓ -
โอเพนซอร์ส19.2K ↓ -
โอเพนซอร์ส15.6K ↓ -
โอเพนซอร์ส9.4K ↓
คำถามที่พบบ่อย
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 สิงหาคม 2569
ใช้ Verifpal โดยไม่มีสิทธิ์ผู้ดูแลระบบได้ไหม
ได้ เป็นแบบพกพา แตกไฟล์แล้วเปิดใช้งานได้เลย
มีโปรแกรมอะไรที่ใช้แทน Verifpal ได้บ้าง
Cryptomator, GNU Privacy Guard, Keybase, i2pd และ KopiaUI ดูการเปรียบเทียบได้ในหน้าโปรแกรมทดแทน
