28 พฤษภาคม ทำเครื่องหมายการเปิดตัว ของสัญญาอัจฉริยะ“ KEVM” เครื่องแรกของ Cardano testnet ถูกนำไปใช้ใน Ethereum Virtual Machine (EVM) เวอร์ชันที่ถูกต้องโดยโครงสร้างในเฟรมเวิร์ก K เทคโนโลยีนี้ผลิตโดยความร่วมมือโดย การตรวจสอบรันไทม์ ด้วยการสนับสนุนของ IOHK.

นับเป็นครั้งแรกที่มีการสร้างแผนผังอย่างเป็นทางการของ Ethereum Virtual Network (EVM).

เรื่องนี้ถือเป็นเรื่องใหญ่.

เป็นเวลาหลายทศวรรษที่นักพัฒนาพยายามพัฒนากรอบเช่นนี้ การศึกษาอย่างเป็นทางการครั้งแรกย้อนหลังไปถึง ยุค 60 และ 70. การเปิดตัวเฟรมเวิร์ก K แสดงให้เห็นว่านี่ไม่ใช่แค่ทางทฤษฎีเท่านั้น แต่เป็นไปได้. ศ. กริกอร์โรซูล, ผู้รับผิดชอบการพัฒนาของ KEVM เขาทำงานในกรอบ K มานานกว่า 15 ปีแล้ว.

เมื่อพูดถึงการเปิดตัว testnet ของ KEVM Rosul ระบุ ว่า“ ฟังดูเหมือนความฝัน แต่ไม่ใช่อีกต่อไป”

KEVM คืออะไร?

K กรอบ กำหนดนิยามที่เป็นทางการของกฎซึ่งช่วยให้คุณสามารถกำหนดความหมายเหล่านี้เป็นภาษาโปรแกรมของคุณเอง เมื่อคุณกำหนดภาษาโปรแกรมเป็น K แล้วคุณจะมีเครื่องมือมากมายสำหรับการใช้งานของคุณ สิ่งนี้จะทำให้ภาษาใด ๆ ที่กำหนดไว้ในกรอบ K ทำงานอย่างสม่ำเสมอเพื่อให้แน่ใจว่าภาษาจะทำงานในลักษณะที่ถูกต้องและคาดการณ์ได้เสมอ.

เมื่อคุณกำหนดภาษาหรือ VM เป็น K แล้วคุณจะสามารถเข้าถึงเครื่องมือทั้งหมดที่เฟรมเวิร์กมีให้ได้ มีความพยายามมากมายจากนักพัฒนาและทีมอื่น ๆ ในการทำสิ่งที่คล้ายกันนี้ แต่ K เป็นโมเดลการทำงานที่ประสบความสำเร็จครั้งแรกที่เคยสร้างขึ้น.

ดังนั้น KEVM จึงหมายความว่า EVM ถูกกำหนดอย่างเป็นทางการในกรอบ K.

ผ่าน KEVM นักพัฒนาจะสามารถเปิดแอปพลิเคชันใด ๆ ที่ออกแบบมาสำหรับ EVM ได้ แต่นอกจากนี้พวกเขาจะสามารถเข้าถึงโฮสต์ของฟังก์ชันและความปลอดภัยใหม่ทั้งหมดที่ KEVM มีให้.

KEVM และ IELE Testnets ตามที่เห็นใน Cardano Roadmap

KEVM ประสบความสำเร็จในการกำหนดรูปแบบภาษาอื่น ๆ เช่น C หรือ Java และเครื่องมือที่สร้างจากภาษาเหล่านี้สามารถเทียบเคียงคุณสมบัติและประสิทธิภาพได้กับเครื่องมือที่สร้างขึ้นโดยเฉพาะสำหรับภาษาดังกล่าว.

ผ่าน K เฟรมเวิร์กตอนนี้ Cardano สามารถสร้างเครื่องเสมือนที่ถูกต้องโดยการสร้างจากข้อมูลจำเพาะซึ่งหมายความว่าโปรแกรมที่ทำงานผ่านเฟรมเวิร์ก K ได้รับการรับประกันทางคณิตศาสตร์ว่าตรงตามข้อกำหนดภาษาโปรแกรมดั้งเดิม.

ไม่เพียง แต่ KEVM เท่านั้นที่ทำได้, แต่ VM นั้นเร็วพอที่จะรันโปรแกรมจริง.

ทำไมเราต้องดูแล?

ศ. กริกอร์โรซู กล่าวว่า นี่เป็นก้าวที่ยิ่งใหญ่ไม่เพียง แต่สำหรับ Cardano เท่านั้น แต่ยังรวมถึง“ ไปสู่คำมั่นสัญญาของบล็อกเชนรุ่นที่สาม”

สัญญาสมาร์ท เขียนด้วย K framework รวมถึงสัญญาอัจฉริยะที่ใช้ Ethereum ที่มีอยู่จะใช้ประโยชน์จากข้อได้เปรียบด้านความปลอดภัยที่แข็งแกร่งที่นำเสนอโดย KEVM และนอกจากนี้ยังช่วยให้ขั้นตอนการเพิ่มประสิทธิภาพและการวิเคราะห์ที่ง่ายขึ้นซึ่งจะทำให้รหัสมีความปลอดภัยมากขึ้นในที่สุด.

ข้อบกพร่องของสัญญาอัจฉริยะได้รบกวนโลกของ crypto อยู่ตลอดเวลา ที่ผ่านมามีประเด็นสำคัญหลายประเด็นเช่นเรื่องที่น่าอับอาย แฮ็ค DOA, แต่ในปัจจุบันแฮกเกอร์ยังใช้ประโยชน์จากความอ่อนแอจากการเขียนโค้ดที่ไม่ดี.

ยกตัวอย่างเช่นเมื่อสัปดาห์ที่แล้วเมื่อจุดบกพร่องที่อาจเกิดขึ้น สัมผัสกับ EOS mainnet, ซึ่งหากจับไม่ได้อาจทำให้แฮกเกอร์สามารถเข้ายึดโหนดที่เชื่อมต่อกับเครือข่ายได้ หรือดูที่ Verge ซึ่งในเดือนที่ผ่านมาได้ กำหนดเป้าหมายโดยแฮกเกอร์ อย่างน้อยสามครั้ง.

ผ่านกรอบงาน K สัญญาอัจฉริยะจะได้รับการตรวจสอบโดยใช้ความสามารถที่ถูกต้องโดยโครงสร้างของ KEVM ด้วยการใช้คุณลักษณะที่ปลอดภัยที่สุดของ EVM เท่านั้นปัญหาด้านความปลอดภัยที่อาจเกิดขึ้นและข้อบกพร่องหลายประการที่พบเห็นได้ทั่วไปใน Ethereum Smart Contracts จะถูกลบออกก่อนที่จะเกิดขึ้น. 

Cardano: หนึ่งในดาวส่องแสงของ Crypto

นี่เป็นการเปิดตัว testnet หลักสองครั้งแรกที่วางแผนไว้สำหรับ Cardano ครั้งที่สอง – ขนานนาม IELE – มีกำหนดจะเป็น เปิดตัวในเดือนกรกฎาคม. เนื่องจาก KEVM ใช้ภาษาโปรแกรมที่กำหนดไว้แล้วจึงจะนำไปสู่คุณภาพระดับอุตสาหกรรมระดับมืออาชีพได้เร็วขึ้นและยังช่วยให้ทีมสามารถสรุปโครงสร้างเครือข่ายและการสื่อสารที่จะใช้กับ IELE ได้เมื่อเปิดตัว.

testnet นี้ถือเป็นความสำเร็จที่ยิ่งใหญ่ไม่เพียง แต่สำหรับทีม Cardano เท่านั้น แต่ยังรวมถึงชุมชน blockchain โดยรวมด้วย.

การปรับปรุงเทคโนโลยีประเภทนี้เป็นสิ่งที่เราคาดหวังได้จากทีมงานของ Cardano หากเกิดความพ่ายแพ้ทางเทคโนโลยีครั้งใหญ่เครื่องเสมือน KEVM และ IELE ในภายหลังจะถูกนำไปใช้ในเครือข่ายหลักของ Cardano สิ่งนี้จะผลักดันให้ Cardano ก้าวไปข้างหน้าในฐานะผู้เล่นหลักในการแข่งขันแพลตฟอร์มสัญญาอัจฉริยะ.

สำหรับข้อมูลเพิ่มเติมเกี่ยวกับแพลตฟอร์ม Cardano และทีมงานโปรดดู: Cardano Roadmap และอนาคตคืออะไร และ Cardano คืออะไร?