Cryptointrend

ไมโครซอฟท์ประกาศพัฒนารูปแบบ Smart Contracts อย่างเป็นทางการสำหรับภาษาโปรแกรม Solidity

ไมโครซอฟท์ประกาศการพัฒนารูปแบบการตรวจสอบสัญญาสมาร์ท Ethereum อย่างเป็นทางการสำหรับภาษาโปรแกรม Solidity

ประกาศในบล็อกของ Microsoft เครื่องมือนี้จะเรียกว่า VeriSol – Verifier for Solidity VeriSol จะช่วยให้นักพัฒนาสามารถเขียนข้อกำหนดสำหรับสัญญาของพวกเขาโดยใช้ภาษาระดับกลางที่สามารถทดสอบได้โดยใช้เครื่องจักรลอจิกเชิงคณิตศาสตร์

“ ทีม VeriSol ใช้ตัวตรวจสอบเพื่อทำให้เป็นระเบียบและตรวจสอบข้อกำหนดของ Smart Contracts ที่ควบคุมสมาชิกกลุ่มใน Ethereum บน Azure และ Azure Blockchain Service”

ปัจจุบัน VeriSol เป็นต้นแบบ แต่ทีมมุ่งหวังที่จะครอบคลุมแอพพลิเคชั่นส่วนใหญ่ของ Smart Contract โครงการนี้เป็นผลิตภัณฑ์ของความร่วมมือระหว่าง Azure Blockchain ของ Microsoft และทีมวิจัย

VeriSol จะเสริม Azure Blockchain Development Kit และ Workbench ของ Microsoft ซึ่งนำเสนอแม่แบบการพัฒนาและการผสานรวมสำหรับบริการ Azure ทั่วไปเช่นการจัดการคีย์และตัวตน เครื่องมือตรวจสอบอย่างเป็นทางการเช่น VeriSol ช่วยให้นักพัฒนาซอฟต์แวร์สามารถตรวจสอบงานและจับข้อบกพร่องได้ง่ายขึ้น

สิ่งนี้ช่วยให้นักพัฒนามีเส้นทางการผลิตที่มีประสิทธิภาพมากขึ้น Solidity เป็นภาษาที่ได้รับความนิยมสูงสุดในการเขียนโปรแกรม Smart Contracts บน Ethereum ดังนั้นเครื่องมือตรวจสอบอย่างเป็นทางการอัตโนมัติควรทำให้นักพัฒนาซอฟต์แวร์สามารถปรับปรุงความปลอดภัยของ dApps ได้ง่ายขึ้น

Admin Intrend

Cryptointrend Administrator

คอมเมนต์

nineteen − six =

บทความล่าสุด