Cointime

Download App
iOS & Android

สัญญาอัจฉริยะ

SmartContract

บทความทั้งหมด

บริการตรวจสอบอย่างเป็นทางการของ Certora รองรับภาษาการเขียนโปรแกรม Ethereum Vyper

ตามข่าวเมื่อวันที่ 15 สิงหาคม บริการตรวจสอบอย่างเป็นทางการของโครงการวิเคราะห์ความปลอดภัยของสัญญาอัจฉริยะ Certora รองรับภาษาโปรแกรม Ethereum Vyper ทำให้นักพัฒนาสัญญาอัจฉริยะสามารถตรวจจับข้อผิดพลาดก่อนตรวจสอบหลังจากปรับใช้โค้ด

จำนวน ETH ที่จำนำเกินกว่า 27.12 ล้านชิ้น

ตามข้อมูลจาก Glassnode ปริมาณการจำนำสัญญาอัจฉริยะ ETH 2.0 ทำสถิติสูงสุดเป็นประวัติการณ์รวม 27,123,401 รายการ

Sandbox เปิดตัวบริการ LAND cross-chain อีกครั้ง

Sandbox เปิดตัวบริการ LAND cross-chain อีกครั้ง หลังจากปิดใช้งานฟังก์ชั่น cross-chain เมื่อวันที่ 31 กรกฎาคม แซนด์บ็อกซ์ระบุว่าการบำรุงรักษาและอัปเดตสัญญาอัจฉริยะ LAND และสัญญาข้ามเชนของ LAND เสร็จสิ้นแล้ว สัญญาอัจฉริยะข้ามเชนผ่านการตรวจสอบของ OpenZeppelin แล้ว ปัจจุบัน LAND สร้างบน Ethereum และ Polygon สามารถข้ามเชนแบบสองทิศทางได้ .

Cypher Protocol สูญเสีย 1 ล้านเหรียญจากการโจมตี

Cypher Protocol การแลกเปลี่ยนฟิวเจอร์สแบบกระจายอำนาจบน Solana ได้ระงับสัญญาอัจฉริยะหลังจากการโจมตีที่มีมูลค่าประมาณ 1 ล้านดอลลาร์ ตามที่นักสำรวจบล็อกเชนของ Solana Solscan กล่าวว่ากระเป๋าเงินที่เชื่อว่ามีส่วนเกี่ยวข้องในการโจมตีสามารถขโมยโทเค็น Solana (SOL) ได้ประมาณ 38,530 เหรียญและ 123,184 ดอลลาร์ในสกุลเงิน USD Coin (USDC) รวมเป็น 1,035,203 ดอลลาร์ในเงินที่ได้มาอย่างผิดกฎหมาย ภายในไม่กี่ชั่วโมงหลังการโจมตี กระเป๋าเงินดังกล่าวได้โอนเงินจำนวน 30,000 USDC ไปยังที่อยู่ Solana USDC ของ Binance “kiing.sol” ซึ่งน่าจะเป็นการถอนเงินที่ถูกขโมยออกไป Cypher Protocol กำลังตรวจสอบสาเหตุของการโจมตีและได้ติดต่อแฮ็กเกอร์เพื่อหารือเกี่ยวกับการคืนเงินที่ถูกขโมยไป

Lexon เปิดตัวคอมไพเลอร์เพื่อแปลง Smart Contract เป็น Solidity, Sophia หรือ Javascript

ข่าวคราว: ภาษาคอมพิวเตอร์สัญญาอัจฉริยะ Lexon (LEX) เปิดตัวคอมไพเลอร์เมื่อวันที่ 3 สิงหาคม ช่วยให้นักพัฒนาสามารถเขียนสัญญาโดยใช้ Lexon และแปลงเป็น Solidity, Sophia หรือ Javascript คอมไพเลอร์ทำงานบนเครือข่ายบล็อกเชน Aeternity (AE) และได้รับโทเค็น LEX เป็นการชำระเงินสำหรับแต่ละรอบการรวบรวม Lexon เป็นภาษาคอมพิวเตอร์ที่ออกแบบมาให้ดูเหมือนภาษาเขียนหรือภาษาพูดทั่วไป

เครื่องมือเขียนโปรแกรมบล็อกเชนแบบโค้ดต่ำ SettleMint ได้รับเงินทุน Series A จำนวน 16 ล้านยูโร

เครื่องมือเขียนโปรแกรมบล็อกเชนแบบโค้ดต่ำ SettleMint เพิ่งเพิ่มผู้ช่วย AI ลงในแพลตฟอร์ม เปิดตัวประมาณเก้าเดือนหลังจาก SettleMint ประกาศรอบการระดมทุน Series A มูลค่า 16 ล้านยูโร ผู้ช่วย AI สัญญาว่าจะช่วยนักพัฒนาสร้างสัญญาอัจฉริยะ รวมข้อมูล และปรับปรุงการทดสอบการรับประกันคุณภาพ (QA) SettleMint ไม่ได้สร้างผู้ช่วย AI เพื่อแทนที่มนุษย์ AI สามารถช่วยร่างสัญญาอัจฉริยะได้ แต่คุณค่าที่แท้จริงของมันอยู่ที่การอธิบายความหมายของโค้ดแต่ละบรรทัด SettleMint ใช้ GPT-4 ของ OpenAI เป็นหลักในการฝึกอบรมผู้ช่วย AI และให้ข้อมูลเกี่ยวกับการพัฒนาบล็อกเชนล่าสุด ด้วยเงินทุนจาก Fujitsu บริษัทอิเล็กทรอนิกส์ยักษ์ใหญ่ของญี่ปุ่น ทำให้ SettleMint รุกเข้าสู่เอเชียอย่างต่อเนื่อง

บริษัทเทคโนโลยีบล็อกเชน ConsenSys เปิดตัวเครื่องมือทดสอบสัญญาอัจฉริยะ "Diligence Fuzzing"

บริษัทเทคโนโลยีบล็อกเชน ConsenSys ได้เปิดตัวเครื่องมือทดสอบสัญญาอัจฉริยะ "Diligence Fuzzing" ต่อสาธารณะ ตามประกาศเมื่อวันที่ 1 สิงหาคม เครื่องมือใหม่นี้สามารถสร้าง "จุดข้อมูลแบบสุ่มและไม่ถูกต้อง" เพื่อตรวจหาช่องโหว่ก่อนที่จะมีการเผยแพร่สัญญา การแฮ็กการเงินแบบกระจายอำนาจในปี 2565 มีมูลค่ากว่า 2.8 พันล้านดอลลาร์ จากข้อมูลของ ConsenSys การสูญเสียเหล่านี้กำลังผลักดันให้นักพัฒนาหันมาใช้เครื่องมือทดสอบที่ซับซ้อนมากขึ้นเพื่อช่วยค้นหาช่องโหว่ก่อนที่ผู้โจมตีจะทำ เครื่องมือใหม่นี้เคยมีให้ใช้งานในช่วงเบต้าแบบปิด และนักพัฒนาซอฟต์แวร์จำเป็นต้องได้รับสิทธิ์ในการเข้าถึง ตั้งแต่วันที่ 1 สิงหาคม กระบวนการออกใบอนุญาตนี้ไม่จำเป็นอีกต่อไป ตอนนี้ Diligence Fuzzing ยังรวมเข้ากับเครื่องมือสัญญาอัจฉริยะ Foundry และเสนอเวอร์ชันฟรีสำหรับนักพัฒนาในการทดสอบ

วิธีที่สัญญาอัจฉริยะทำงานร่วมกับสถาบันการเงินแบบดั้งเดิมและสกุลเงิน Fiat จำเป็นต้องมีการเปลี่ยนแปลงพื้นฐาน

สัญญาอัจฉริยะได้เปลี่ยนแนวของ blockchain และ cryptocurrencies แต่ก็ไม่ใช่ทางออกเดียว ความคลั่งไคล้มากเกินไปอาจนำไปสู่ความซบเซาและความล้มเหลวทางเทคโนโลยี สัญญาอัจฉริยะจำเป็นต้องทำงานร่วมกับสถาบันการเงินแบบดั้งเดิมและสกุลเงินคำสั่ง แต่จำเป็นต้องลดความเสี่ยงด้านความปลอดภัยและความเป็นส่วนตัว อนาคตของ cryptocurrencies ต้องการการเจรจากับการเงินแบบดั้งเดิมสำหรับการทำงานร่วมกันของสกุลเงิน fiat และความสะดวกในการเข้าถึง

ความคืบหน้าการอัปเดต Evernode ของแพลตฟอร์ม XRP Layer 2 ซึ่งมีแผนจะทำการตรวจสอบ Testnet ของ Hooks V3 ในช่วงกลางเดือนสิงหาคม

Evernode ซึ่งเป็นแพลตฟอร์มเลเยอร์ 2 สำหรับระบบนิเวศบัญชีแยกประเภท XRP ได้เผยแพร่การอัปเดตเกี่ยวกับความคืบหน้า แพลตฟอร์มนี้แนะนำสัญญาอัจฉริยะเข้าสู่ระบบนิเวศผ่าน Hooks และมีกำหนดไม่แน่นอนที่จะเริ่มตรวจสอบการทดสอบเครือข่าย Hooks V3 ในช่วงกลางเดือนสิงหาคม อย่างไรก็ตาม Evernode ยังคงรอการยืนยันเอกสารและเงินทุนจาก Ripple ชุมชน XRP รอคอยการเปิดตัว Evernode อย่างใจจดใจจ่อ ซึ่งมีแผนที่จะออกอากาศโทเค็นดั้งเดิมที่เสนอ Evers ไปยังผู้ถือ XRP หลังจากการเปิดตัวโปรโตคอล

Cosmos เผชิญกับความท้าทายในการเอาชีวิตรอด: Terra Crash และ Ethereum Rise ส่งผลกระทบต่อโครงการ DeFi

Cosmos ซึ่งเป็นระบบนิเวศบล็อกเชนที่ครั้งหนึ่งเคยได้รับการยกย่องว่าเป็นผู้บุกเบิกแนวคิด "แอปเชน" ที่เป็นนวัตกรรมใหม่และกลไกการลงมติเป็นเอกฉันท์ในการพิสูจน์สัดส่วนการถือหุ้น กำลังเผชิญกับความท้าทายที่ยากลำบากเพื่อความอยู่รอด การล่มสลายของ Terra และการเพิ่มขึ้นของ Ethereum ได้นำความท้าทายที่มีอยู่มาสู่ Cosmos การล่มสลายของ Terra ส่งผลกระทบอย่างมากต่อ Cosmos ส่งผลกระทบต่อโครงการ DeFi อื่น ๆ ที่ใช้ Cosmos ส่งผลให้นวัตกรรมและกิจกรรมของนักพัฒนาลดลง ในทางตรงกันข้าม การเพิ่มขึ้นของ Ethereum ซึ่งสัญญาอัจฉริยะได้เปลี่ยนพื้นที่บล็อกเชนนั้นน่าทึ่งมาก ทำให้นักพัฒนาสามารถสร้างแอปพลิเคชั่นกระจายอำนาจที่หลากหลายได้ Cosmos จำเป็นต้องปรับตัวและสร้างสรรค์สิ่งใหม่ภายใต้ความท้าทายภายในและสภาพแวดล้อมของบล็อกเชนที่เปลี่ยนแปลงตลอดเวลา เพื่อผงาดขึ้นมาอีกครั้งในฐานะผู้เล่นที่สำคัญในจักรวาลมัลติเชน