Zcash Researchers Publish 2,700 Machine-Checked Theorems to Block Counterfeiting in Ironwood

and

tags. Use appropriate Thai terms: "formal verification" = "การตรวจสอบอย่างเป็นทางการ", "shielded transactions" = "ธุรกรรมที่ถูกปกปิด", "supply invariants" = "ค่าคงที่ของอุปทาน", "bug bounties" = "โปรแกรมล่าข้อบกพร่อง", "edge cases" = "กรณีขอบ", "proof assistant" = "ตัวช่วยพิสู