Cardano เป็นแพลตฟอร์มบล็อกเชนที่พิสูจน์ได้: เป็นแพลตฟอร์มแรกที่ก่อตั้งขึ้นจากการวิจัยที่ผ่านการตรวจสอบโดยเพื่อน และพัฒนาโดยใช้วิธีการที่มีหลักฐานเป็นฐาน โดยผสมผสานเทคโนโลยีบุกเบิกเพื่อมอบความปลอดภัยและความยั่งยืนที่เหนือชั้นให้กับแอปพลิเคชัน ระบบ และสังคมที่กระจายอำนาจ
ด้วยทีมวิศวกรชั้นนำ Cardano พร้อมที่จะแจกจ่ายพลังจากโครงสร้างที่ไม่สามารถประเมินได้ไปยังส่วนต่างขอบ - สู่บุคคล - และเป็นพลังที่เอื้อต่อการเปลี่ยนแปลงและความก้าวหน้าในเชิงบวก
Proof-of-Stake และ Ouroboros: โปรโตคอล Blockchain ที่เป็นมิตรกับสิ่งแวดล้อมมากที่สุด
Ouroboros เป็นโปรโตคอลบล็อกเชนที่มีการตรวจสอบโดยเพื่อนรายแรกและมีความปลอดภัยที่ตรวจสอบยืนยันได้ และ Cardano เป็นบล็อกเชนรายแรกที่ใช้โปรโตคอลนี้ Ouroboros ช่วยให้การกระจายอำนาจของเครือข่าย Cardano และช่วยให้สามารถปรับขยายตามความต้องการระดับโลกได้อย่างยั่งยืนโดยไม่ลดทอนความปลอดภัย
โปรโตคอลนี้เป็นจุดสูงสุดของความพยายามอย่างไม่เหน็ดเหนื่อย ต่อยอดจากการวิจัยพื้นฐาน และขับเคลื่อนโดยวิสัยทัศน์สำหรับระบบการชำระเงินทั่วโลกที่ปลอดภัยและโปร่งใสยิ่งขึ้น ตลอดจนวิธีการแจกจ่ายอำนาจและการควบคุมที่เป็นธรรมยิ่งขึ้น
ความปลอดภัยเป็นหนึ่งในหลักการก่อตั้งของ Cardano เนื่องจากมันถูกเขียนด้วยภาษาที่ใช้งานได้ Haskell มันจึงใช้ฟังก์ชั่นล้วนๆ เพื่อสร้างระบบ ซึ่งสามารถทดสอบส่วนประกอบแยกกันได้ คุณสมบัติขั้นสูงเพิ่มเติมของ Haskell เช่น การนำไปใช้ตามข้อกำหนดที่เป็นทางการและปฏิบัติได้ การทดสอบตามคุณสมบัติที่ครอบคลุม และการทดสอบรันในการจำลองให้วิธีการที่มีประสิทธิภาพหลากหลายรูปแบบเพื่อให้มั่นใจว่าโค้ดถูกต้อง
